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.