README.md

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 and verify the proof onchain.

Requirements

• Go
• Rust
• SP1
• Foundry

Generate Proof

Generate the proof that will be used as a fixture in the contracts directory.

cd script
RUST_LOG=info cargo run --bin prove --release

Solidity Proof Verification

Verify the proof with the SP1 EVM verifier.

cd ../contracts
forge test -v