GitHub repository: succinctlabs/sp1-project-template
Primary language: Rust
Description: Template for creating an SP1 project that can generate a proof of any RISC-V program and verify the proof on-chain.