zkVM Quick Start
Welcome to the zkVM Quick Start page! Here are the steps to create your first proof:
- Install the RISC Zero toolchain with
rzup
. - Create a new project using the
cargo-risczero
tool. - Familiarize yourself with the project's structure.
- Run your project in dev-mode.
- Run your project locally to generate a zk-proof.
Concept break
The zkVM provides a zero-knowledge proof of the correct execution of Rust-based program. The host is responsible for launching the zkVM (or a prover), and then the guest is the program that runs inside the zkVM. A proof of execution is a receipt; it contains a public part ― a journal and an encryption part ― a seal.
1. Install the RISC Zero Toolchain
Install rzup
by running the following command:
curl -L https://risczero.com/install | bash
Run rzup
to install the RISC Zero toolchain and cargo-risczero
.
rzup install