This is a template for creating an end-to-end SP1 project that can generate a proof of any RISC-V program.

• Rust
• SP1

There are three main ways to run this project: execute a program, generate a core proof, and generate an EVM-compatible proof.

To run the program without generating a proof:

cd script
cargo run --release -- --execute

This will execute the program and display the output.

To generate a core proof for your program:

cd script
cargo run --release -- --prove

To generate a PLONK proof that is small enough to be verified on-chain and verifiable by the EVM:

cd script
cargo run --release --bin evm

This command also generates a fixture that can be used to test the verification of SP1 zkVM proofs inside Solidity.

To retrieve your programVKey for your on-chain contract, run the following command:

cargo run --release --bin vkey

We highly recommend using the Succinct prover network for any non-trivial programs or benchmarking purposes. For more information, see the setup guide.

To get started, copy the example environment file:

cp .env.example .env

Then, set the SP1_PROVER environment variable to network and set the SP1_PRIVATE_KEY environment variable to your whitelisted private key.

For example, to generate an EVM-compatible proof using the prover network, run the following command:

SP1_PROVER=network SP1_PRIVATE_KEY=... cargo run --release --bin evm