Our codebase is licensed under the Apache2 license and includes a full proving and verification system.
Rust First
RISC Zero supports Rust for writing ZK proofs. Any language that compiles to RISC-V can be supported.
Micro Architecture
The RISC Zero zkVM is a verifiable computer that works like a real embedded RISC-V micro-processor, enabling programmers to write ZK proofs like they write any other code.