risc0_zk_test

Simple risc0 demo program which simulates processing a file (by base64 encoding it for example) and then generates a proof for the process's input and output SHA-256 hashes. This allows anyone to verify that the an output file with a given hash was generated from an input file with a given hash.

# Regular build
cargo build --release

# MacOS build with Metal
cargo build --release -F risc0-zkvm/metal

# Build with CUDA acceleration
cargo build --release -F risc0-zkvm/cuda

$ ./target/release/host prove input_file receipt.dat
Created proof in 19.527785042s
Input hash:  3e28f94ab30f1164f3b117e59dc10c9e079743234dad420bc7c26f4d79740f49
Output hash: 68641ba0c84c52fff788a3c00a5b82acd194405546722444b43cd726d2a1dd8f
Receipt written to receipt.dat

$ ./target/release/host verify receipt.dat
Verified receipt.
Input hash:  3e28f94ab30f1164f3b117e59dc10c9e079743234dad420bc7c26f4d79740f49
Output hash: 68641ba0c84c52fff788a3c00a5b82acd194405546722444b43cd726d2a1dd8f

Welcome to the RISC Zero Rust Starter Template! This template is intended to give you a starting point for building a project using the RISC Zero zkVM. Throughout the template (including in this README), you'll find comments labelled TODO in places where you'll need to make changes. To better understand the concepts behind this template, check out the zkVM Overview.

Quick Start

First, make sure rustup is installed. The rust-toolchain.toml file will be used by cargo to automatically install the correct version.

To build all methods and execute the method within the zkVM, run the following command:

cargo run

This is an empty template, and so there is no expected output (until you modify the code).

Executing the project locally in development mode

During development, faster iteration upon code changes can be achieved by leveraging dev-mode, we strongly suggest activating it during your early development phase. Furthermore, you might want to get insights into the execution statistics of your project, and this can be achieved by specifying the environment variable RUST_LOG="[executor]=info" before running your project.

Put together, the command to run your project in development mode while getting execution statistics is:

RUST_LOG="[executor]=info" RISC0_DEV_MODE=1 cargo run

Running proofs remotely on Bonsai

Note: The Bonsai proving service is still in early Alpha; an API key is required for access. Click here to request access.

If you have access to the URL and API key to Bonsai you can run your proofs remotely. To prove in Bonsai mode, invoke cargo run with two additional environment variables:

BONSAI_API_KEY="YOUR_API_KEY" BONSAI_API_URL="BONSAI_URL" cargo run

How to create a project based on this template

Search this template for the string TODO, and make the necessary changes to implement the required feature described by the TODO comment. Some of these changes will be complex, and so we have a number of instructional resources to assist you in learning how to write your own code for the RISC Zero zkVM:

The RISC Zero Developer Docs is a great place to get started.
Example projects are available in the examples folder of risc0 repository.
Reference documentation is available at https://docs.rs, including risc0-zkvm, cargo-risczero, risc0-build, and others.

Directory Structure

It is possible to organize the files for these components in various ways. However, in this starter template we use a standard directory structure for zkVM applications, which we think is a good starting point for your applications.

project_name
├── Cargo.toml
├── host
│   ├── Cargo.toml
│   └── src
│       └── main.rs                        <-- [Host code goes here]
└── methods
    ├── Cargo.toml
    ├── build.rs
    ├── guest
    │   ├── Cargo.toml
    │   └── src
    │       └── bin
    │           └── method_name.rs         <-- [Guest code goes here]
    └── src
        └── lib.rs

Video Tutorial

For a walk-through of how to build with this template, check out this excerpt from our workshop at ZK HACK III.

Questions, Feedback, and Collaborations

We'd love to hear from you on Discord or Twitter.

Macil/risc0_zk_test