Struct BatchVerifier 

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

Batch verifier for Thin 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 (public keys, I/O pairs, and proof points).

Implementations

impl<S: ThinVrfSuite> BatchVerifier<S>

pub fn new() -> Self

Create a new empty batch verifier.

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

Prepare a proof for batch verification.

Computes delinearization scalars and challenge via hashing only (no EC ops). Stores the raw points and z scalars for the expanded verification equation in Self::verify.

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

Push a previously prepared entry into the batch.

pub fn push( &mut self, public: &Public<S>, 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 all collected proofs using a single multi-scalar multiplication.

For each proof j, the expanded verification equation is: R_j + c_jz0_jpk_j + sum_i(c_jz_ijO_ij) - s_jz0_jG - sum_i(s_jz_ijI_ij) == 0

With random weights w_j, G is accumulated as a shared base, yielding a (sum_j(2 + 2*M_j) + 1)-point MSM (where M_j is the number of VRF pairs in proof j).

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

Trait Implementations

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

fn default() -> Self

Returns the “default value” for a type.