SP1

To use the SP1 Groth16 verifier on Starknet, you can follow code snippets from the SP1 documentation to generate a proof. The version of SP1 expected by Garaga is defined in the file constants.json . A template modeled after Succinct's official one for solidity and EVM is available in this repository Please follow the instructions there to get you started.