Crate risc0_zkvm
source ·Expand description
A virtual machine to produce 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.
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!
Re-exports
Modules
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
Macros
Used for defining a main entrypoint.
Structs
Constants
Type Definitions
Result<T, Error>