mirror of
https://github.com/succinctlabs/sp1-project-template.git
synced 2026-01-10 08:07:57 -05:00
SP1 Project Template
This is a template for creating an end-to-end SP1 project that can generate a proof of any RISC-V program.
Requirements
Standard Proof Generation
Warning
You will need at least 16GB RAM to generate the default proof.
Generate the proof for your program using the standard prover.
cd script
RUST_LOG=info cargo run --bin prove --release
EVM-Compatible Proof Generation & Verification
Warning
You will need at least 128GB RAM to generate the PLONK proof.
Generate the proof that is small enough to be verified on-chain and verifiable by the EVM. This command also generates a fixture that can be used to test the verification of SP1 zkVM proofs inside Solidity.
cd script
RUST_LOG=info cargo run --bin prove --release -- --evm
Using the Prover Network
Make a copy of 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 more information, see the setup guide.