A performant, 100% open-source, contributor-friendly zkVM.

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

SP1 Tendermint Example E2E

Contracts for SP1

Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.

Implementation of zero-knowledge proof circuits for Vector, Avail's Data Attestation Bridge.