Struct BatchVerifier 

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

Batch verifier for ring VRF proofs.

Collects ring proofs from one or more rings (sharing the same KZG SRS) 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 seeded with the KZG SRS taken from ring_verifier.

Any ring verifier sharing the same SRS can later be passed to Self::push or BatchItem::new; the verifier supplied here is only used to extract the KZG verifier key.

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

Push a previously prepared item into the batch.

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

Prepare and push a proof in one step.

Returns Error::InvalidData if the proof’s key commitment cannot be converted (e.g. identity point on SW-form suites).

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.