Crate sp1_verifier

This crate provides verifiers for SP1 Groth16 and Plonk BN254 proofs in a no-std environment. It is patched for efficient verification within the SP1 zkVM context.

Structs

• GROTH16_VK_BYTES
  The Groth16 verifying key for this SP1 version.
• Groth16Verifier
  A verifier for Groth16 zero-knowledge proofs.
• PLONK_VK_BYTES
  The PLONK verifying key for this SP1 version.
• PlonkVerifier
  A verifier for Plonk zero-knowledge proofs.

Enums

• Groth16Error
• PlonkError

Functions

• bn254_public_values
  Formats the sp1 vkey hash and public inputs for use in either the Plonk or Groth16 verifier.
• decode_sp1_vkey_hash
  Decodes the sp1 vkey hash from the string from a call to vk.bytes32.
• hash_public_inputs
  Hashes the public inputs in the same format as the Plonk and Groth16 verifiers.