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