risc0_zkvm – Rust

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: