Lib.rs

A virtual machine to produces ZK proofs of computation

The RISC Zero zkVM is a RISC-V virtual machine that produces zero-knowledge proofs of code it executes. By using the zkVM, a cryptographic Receipt is produced which anyone can verify was produced by the zkVM's guest code. No additional information about the code execution (such as, for example, the inputs provided) is revealed by publishing the Receipt. A high-level overview of how the zkVM is structured to accomplish this is available in our Overview of the zkVM explainer.

Developers new to RISC Zero are encouraged to get started with our RISC Zero Rust Starter repository, which provides an example of producing a zero-knowledge proof that a number is composite, along with an introduction to key components of the RISC Zero zkVM.