SP1 Verifier
This crate provides verifiers for SP1 Groth16 and Plonk zero-knowledge proofs. These proofs are expected to be generated using the SP1 SDK.
Features
Groth16 and Plonk proof verification are supported in no-std environments. Verification in the
SP1 ZKVM context is patched, in order to make use of the
bn254 precompiles.
Pre-generated verification keys
Verification keys for Groth16 and Plonk are stored in the bn254-vk directory. These
vkeys are used to verify all SP1 proofs.
These vkeys are the same as those found locally in
~/.sp1/circuits/<circuit_name>/<version>/<circuit_name>_vk.bin, and should be automatically
updated after every release.
Tests
Run tests with the following command:
These tests verify the proofs in the test_binaries directory. These test binaries
were generated from the fibonacci groth16 and
plonk examples. You can reproduce these proofs
from the examples by running cargo run --bin groth16_bn254 and cargo run --bin plonk_bn254 from the
examples/fibonacci directory.
Acknowledgements
Adapted from @Bisht13's gnark-bn254-verifier crate.