The General Purpose Zero-Knowledge VM.

Prove any Computation. Verify Instantly.

Run arbitrarily large programs in any language. Experience the power of off chain compute combined with on-chain security.
Get the Docs
Open Source
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.

The Products

Recent News

Get Started


Get Started