Struct PlonkVerifier 

pub struct PlonkVerifier;

A verifier for Plonk zero-knowledge proofs.

Implementations

impl PlonkVerifier

pub fn verify( proof: &[u8], sp1_public_inputs: &[u8], sp1_vkey_hash: &str, plonk_vk: &[u8], ) -> Result<(), PlonkError>

Verifies an SP1 PLONK proof, as generated by the SP1 SDK.

Arguments

• proof - The proof bytes.
• public_inputs - The SP1 public inputs.
• sp1_vkey_hash - The SP1 vkey hash. This is generated in the following manner:

use sp1_sdk::ProverClient;
let client = ProverClient::from_env();
let (pk, vk) = client.setup(ELF);
let sp1_vkey_hash = vk.bytes32();

• plonk_vk - The Plonk verifying key bytes. Usually this will be the [static@crate::PLONK_VK_BYTES] constant.

Returns

A success Result if verification succeeds, or a PlonkError if verification fails.

pub fn verify_with_exit_code( proof: &[u8], sp1_public_inputs: &[u8], sp1_vkey_hash: &str, plonk_vk: &[u8], expected_exit_code: [u8; 32], ) -> Result<(), PlonkError>

Verifies an SP1 PLONK proof with an expected exit code. Only use this if you’re trying to verify a program that panics. Otherwise use [verify].

Arguments

• proof - The proof bytes.
• public_inputs - The SP1 public inputs.
• sp1_vkey_hash - The SP1 vkey hash. This is generated in the following manner:

use sp1_sdk::ProverClient;
let client = ProverClient::from_env();
let (pk, vk) = client.setup(ELF);
let sp1_vkey_hash = vk.bytes32();

• plonk_vk - The Plonk verifying key bytes. Usually this will be the [static@crate::PLONK_VK_BYTES] constant.
• expected_exit_code - The expected exit code to verify against.

Returns

A success Result if verification succeeds, or a PlonkError if verification fails.

pub fn verify_gnark_proof( proof: &[u8], public_inputs: &[[u8; 32]], plonk_vk: &[u8], ) -> Result<(), PlonkError>

Verifies a Gnark PLONK proof using raw byte inputs.

WARNING: if you’re verifying an SP1 proof, you should use [verify] instead. This is a lower-level verification method that works directly with raw bytes rather than the SP1 SDK’s data structures.

Arguments

• proof - The raw PLONK proof bytes (without the 4-byte vkey hash prefix)
• public_inputs - The public inputs to the circuit
• plonk_vk - The PLONK verifying key bytes

Returns

A Result containing unit () if the proof is valid, or a PlonkError if verification fails.

Trait Implementations

impl Debug for PlonkVerifier

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.