Crate risc0_zkvmsource ·
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.
This is the reference documentation for the RISC Zero zkVM. We have additional (non-reference) resources for using our zkVM that you may also find helpful, especially if you’re new to the RISC Zero zkVM. These include:
- Our Hello Multiply! tutorial, which walks you through writing your first zkVM project.
- A zkVM Rust starter template, a template for starting zkVM projects. It includes code for building and launching a zkVM guest and guidance on where projects most commonly modify host and guest code.
- The zkVM Rust examples repository, which contains various examples using our zkVM.
- This clip from our presentation at ZK Hack III gives an overview of the RISC Zero zkVM. Our YouTube channel has many more videos as well.
- And more on the RISC Zero website!
pub use crate::prove::Prover;
pub use crate::prove::ProverOpts;
pub use crate::receipt::Receipt;
The RISC Zero ZKVM’s guest-side RISC-V API.
Run the zkVM guest and prove its results
Manages the output and cryptographic data for a proven computation
Serialization and deserialization tools for the RISC Zero zkVM
SHA-256 hashing services
Used for defining a main entrypoint.
A RISC Zero program