Universal Zero Knowledge

Unlock the full potential of ZK on every chain. High-performance, cost-effective, and powered by the leading open-source zkVM.

Zero-Knowledge Required

RISC Zero is democratizing zero-knowledge technology, making it accessible and scalable for developers everywhere.

Write Rust, Not Circuits

Build ZK apps in Rust. Our zkVM supports popular crates, enabling rapid prototyping without cryptography expertise.

Unmatched Performance

Experience blazing fast proofs and reduced costs. Our zkVM makes zero-knowledge applications viable at scale, accelerating your development.

Blazing Fast Proof Aggregation

Lower is better — Examples include L1s, Rollups, and AVSs

Efficient Cycle Usage for Aggregation

Lower is better — Examples include L1s, Rollups, and AVSs

Verify Anywhere

RISC Zero's Universal Verifier enables seamless proof verification across major blockchains. Switch chains effortlessly, inheriting their native security while expanding your reach.

The RISC Zero Advantage

EVM Aligned

Seamlessly run Solidity contracts in the zkVM, boosting performance and reducing gas costs.

Future-Proof Design

Evolve without limits. Upgrade your zkVM apps seamlessly, preserving your development agility.

100% Open-Source

Leverage an open-source codebase, continuously improved by the community.

31%+

Compatible Rust Crates

Leverage existing Rust crates to prototype fast.

51%+

Gas Savings

Dramatically reduce gas fees through off-chain execution.

555x

Faster ZK Development

Significantly accelerate the ZK development cycle.

Investors

Product Suite

Comprehensive Solutions for Every Need

Rollups

Future-proof your OP chain with ZK Fraud or Validity Proofs.

EVM Development

Compute over Ethereum's entire state in your smart contract. Fast, trustless, and cost-effective.

Scalable Data Availability

Integrate Celestia's data availability with any chain using Blobstream Zero.

Decentralized Proving

Get proofs delivered with a high degree of liveness at extremely low cost.

Recent News

Making Real-Time Proving Accessible

RISC Zero is closing in on sub-12 second, real-time Ethereum proofs with a fully open-source stack you can run on a ~$120 K GPU cluster.

Introducing Steel 2.0

Steel 2.0 is a ZK-coprocessor that lets EVM developers execute past the 30M gas limit. Smart contracts can now verify historical state, aggregate data from multiple blocks, and use onchain events as verified inputs without oracles. This is the future of EVM apps.

Introducing R0VM 2.0

Introducing R0VM 2.0, our fastest, most secure zkVM yet.