Struct Groth16Setup 

pub struct Groth16Setup<E: Pairing> {
    pub proving_key: ProvingKey<E>,
    pub verifying_key: VerifyingKey<E>,
    pub prepared_verifying_key: PreparedVerifyingKey<E>,
}

Contains all necessary parameters for the Groth16 proving system.

This structure holds the proving key, verifying key, and prepared verifying key needed for generating and verifying zero-knowledge proofs.

Fields

proving_key: ProvingKey<E>

The proving key used to generate proofs. This contains the secret parameters and should be kept private in some applications.

verifying_key: VerifyingKey<E>

The verification key used to verify proofs. This can be made public and distributed to verifiers.

prepared_verifying_key: PreparedVerifyingKey<E>

A preprocessed version of the verification key that allows for more efficient proof verification.

Implementations

impl Groth16Setup<Bn254>

pub fn new( num_constraints: usize, num_variables: usize, ) -> Result<Self, Groth16Error>

Creates a new Groth16 setup for a circuit with the specified parameters.

This function generates the proving and verification keys necessary for creating and verifying zero-knowledge proofs.

Arguments

• num_constraints - Number of constraints in the arithmetic circuit
• num_variables - Number of variables used in the circuit

Returns

• Result<Self, Groth16Error> - The setup parameters or an error

Example

let setup = Groth16Setup::new(3, 2)?;

pub fn prove( &self, inputs: &[Fr], witness: &[Fr], ) -> Result<ArkProof<Bn254>, Groth16Error>

Generates a zero-knowledge proof using the provided inputs and witness.

Arguments

• inputs - Public inputs to the circuit
• witness - Private witness values

Returns

• Result<ArkProof<Bn254>, Groth16Error> - The generated proof or an error

Example

let proof = setup.prove(&inputs, &witness)?;

pub fn verify( &self, proof: &ArkProof<Bn254>, public_inputs: &[Fr], ) -> Result<bool, Groth16Error>

Verifies a zero-knowledge proof against the provided public inputs.

Arguments

• proof - The proof to verify
• public_inputs - Public inputs used in the proof

Returns

• Result<bool, Groth16Error> - Whether the proof is valid

Example

let is_valid = setup.verify(&proof, &public_inputs)?;
assert!(is_valid);

pub fn proof_to_evm_format( proof: &ArkProof<Bn254>, ) -> Result<Vec<u8>, Groth16Error>

Converts a proof to EVM-compatible format for on-chain verification.

Arguments

• proof - The proof to convert

Returns

• Result<Vec<u8>, Groth16Error> - The serialized proof bytes

pub fn estimate_verification_gas(proof_size: usize, num_inputs: usize) -> u64

Estimates the gas cost for verifying a proof on Ethereum.

Arguments

• proof_size - Size of the proof in bytes
• num_inputs - Number of public inputs

Returns

• u64 - Estimated gas cost in units

Trait Implementations

impl<E: Debug + Pairing> Debug for Groth16Setup<E>

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

Formats the value using the given formatter.