/sp1-project-template

Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.

Primary LanguageRustMIT LicenseMIT

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

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