This is an end-to-end SP1 project that can generate a proof for a simple addition program.

• Rust
• SP1

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

The program is automatically built through script/build.rs when the script is built.

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 an SP1 core proof for your program:

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

We highly recommend using the Succinct Prover Network for any non-trivial programs or benchmarking purposes. For more information, see the key setup guide to get started.

To get started, copy the example environment file:

cp .env.example .env

Then, set the SP1_PROVER environment variable to network and set the NETWORK_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 NETWORK_PRIVATE_KEY=... cargo run --release --bin evm