Skip to main content
Risc0 LogoRisc0 Logo

The General Purpose Zero-Knowledge VM.
Prove any Computation.
Verify Instantly.

Open Source

Our codebase is licensed under the Apache2 license and includes a full proving and verification system.

Your Favorite Languages

RISC Zero supports Rust and C++ for writing ZK proofs. Any language that compiles to RISC-V can be supported.

Real Microarchitecture

The RISC Zero ZKVM is a verifiable computer that works like a real embedded RISC-V microprocessor, enabling programmers to write ZK proofs like they write any other code.