Struct BatchVerifier 

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

Batch verifier for ring VRF proofs.

Collects multiple ring proofs and verifies them together, amortizing the cost of pairing checks and multi-scalar multiplications.

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

Implementations

impl<S: RingSuite> BatchVerifier<S>

pub fn new(ring_verifier: RingVerifier<S>) -> Self

Create a new batch verifier from a ring verifier instance.

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

Prepare a proof for deferred batch verification.

Performs the cheap per-proof work (hashing, transcript setup) without the expensive pairing and MSM checks.

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

Push a previously prepared item 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>

Verify all collected proofs in a single batch.

Checks both the Pedersen proofs (via MSM) and the ring proofs (via pairing). Returns Ok(()) if all proofs verify, Err(VerificationFailure) otherwise.