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

RUST_LOG=info cargo run --package zeth-script --bin prove --release

Export Solidity Verifier

RUST_LOG=info cargo run -p zeth-script --bin artifacts --release

Solidity Proof Verification

cd contracts/
forge test -v