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
Last updated