Struct BatchVerifier 

pub struct BatchVerifier<S: PedersenSuite> { /* private fields */ }

Batch verifier for Pedersen VRF proofs.

Collects multiple proofs and verifies them together via a single multi-scalar multiplication.

The same subgroup membership assumptions as Verifier apply to all points fed into the batch (I/O pairs and proof points).

Implementations

impl<S: PedersenSuite> BatchVerifier<S>

pub fn new() -> Self

Create a new empty batch verifier.

pub fn push_prepared(&mut self, entry: BatchItem<S>)

Push a previously prepared entry into the batch.

pub fn push( &mut self, ios: impl AsRef<[VrfIo<S>]>, ad: impl AsRef<[u8]>, proof: &Proof<S>, )

Prepare and push a proof in one step.

pub fn verify(&self) -> Result<(), Error>

Batch-verify multiple Pedersen proofs using a single multi-scalar multiplication.

For each proof i, two equations are checked with independent random scalars t_i (eq1) and u_i (eq2): Eq1: O_ic_i + Ok_i == I_is_i Eq2: Yb_ic_i + R_i == Gs_i + B*sb_i

The random linear combination yields a (5N + 2)-point MSM.

Returns Ok(()) if all proofs verify, Err(VerificationFailure) otherwise.

Trait Implementations

impl<S: PedersenSuite> Default for BatchVerifier<S>

fn default() -> Self

Returns the “default value” for a type.