Succinct SP1

SP1 is a high-performance, open-source zero-knowledge virtual machine (zkVM) that verifies the execution of arbitrary Rust programs or any LLVM-compiled language.

To get started with SP1, please visit the Succinct documentation.

Verifying SP1 Proofs On-Chain

To verify SP1 proofs on-chain, we recommend using the deployed canonical verifier gateway (SP1VerifierGateway). This gateway, deployed at address 0x3B6041173B80E77f038f3F2C0f9744f04837185e, automatically routes your SP1 proof to the appropriate verifier.

Currently supported verifier routes include:

• Groth16 v3.0.0 - 0x95F70a7DE0AeDdb1166343524934D2aaE5609a53

• Plonk v3.0.0 - 0xd2832Cf1fC8bA210FfABF62Db9A8781153131d16