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 prepare( ios: impl AsRef<[VrfIo<S>]>, ad: impl AsRef<[u8]>, proof: &Proof<S>, ) -> BatchItem<S>

Prepare a proof for batch verification.

Computes the challenge and packages all data needed for deferred verification. This is cheap (one hash, no scalar multiplications) and can be done in parallel.

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.