The first general purpose zkVM

Easily build and deploy your ZK application using Rust

What is the

A virtual machine that lets you generate zero knowledge proofs of computational correctness for Rust programs, while maintaining full privacy of the input data.

What you use it for

The zkVM is the first step in building with RISC Zero. It’s a fully open-source product to write ZK applications in a low friction way by using existing Rust crates.

Build apps, not circuits

Instead of writing circuits, use over 70,000 Rust packages to go to market fast with your ZK application. Take a typical software development approach to also easily iterate and upgrade your ZK application.

Boundless compute

Leverage continuations, which splits a large program into several segments and enables parallelization of proving. So you can access fast and virtually unlimited computations for your ZK application.

Own your data

The RISC0 zkVM is fully open-source, so when you run the zkVM on your laptop, you can generate proofs about your private data without that data needing to leave your machine.

Efficiency gains

The zkVM’s proof composition means you can aggregate many proofs into one batch and also create a single receipt for a workflow with multiple steps, unlocking efficient verification.

The RISC Zero zkVM has gone through security audits by a third-party. Read the zkVM audit.

Ready to start building with zkVM?

Get Started
“Eclipse Labs chose RISC Zero for its production-ready general purpose zkVM, so that we can iterate in different directions with confidence, backed by a strong team that is continually improving its performance."

Eclipse Labs

Built with zkVM in weeks, not years

On average, teams experience 1000X faster development time for their ZK applications when using RISC Zero’s zkVM.

Taiko had been working through complex cryptography and writing circuits in order to build a decentralized Ethereum-equivalent zkEVM from scratch. When RISC Zero introduced Zeth, a ZK block prover for Ethereum leveraging the zkVM, Taiko was able to leverage Zeth and zkVM as a core building block, effectively accelerating their development and iteration process.