GitHub repository: succinctlabs/sp1-contracts
Primary language: Solidity
Description: Smart contracts for onchain verification of SP1.