Universal Zero Knowledge

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 R0VM 2.0

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

RISC Zero’s Path to The First Formally Verified RISC-V zkVM

RISC Zero is on a mission to build the first formally verified RISC-V zkVM, a system that’s both incredibly fast and provably secure. In collaboration with Veridise and powered by Picus, we’re eliminating the most common class of ZK vulnerabilities through continuous, automated verification.