Struct BatchVerifier 

pub struct BatchVerifier<E: Pairing, T>
where
    T: PlonkTranscript<E::ScalarField, KZG<E>>,
{ /* private fields */ }

Accumulating batch verifier for ring proofs across one or more rings.

Accumulates proofs from one or more rings (keysets) into a single batched pairing check. All rings must share the same KZG SRS.

Holds its own transcript instance, cloned on each push_prepared call so the per-proof entropy can be folded in without touching the originating RingVerifier. Per-proof independence is ensured by the entropy derived during preparation (which absorbs the full proof via the per-ring transcript), so the base transcript only needs to be deterministic, not proof-specific.

Implementations

impl<E: Pairing, T> BatchVerifier<E, T>

where T: PlonkTranscript<E::ScalarField, KZG<E>>,

pub fn new(kzg_vk: KzgVerifierKey<E>, transcript: T) -> Self

Creates a new multi-ring batch verifier.

pub fn push<J>( &mut self, verifier: &RingVerifier<E::ScalarField, KZG<E>, J, T>, proof: RingProof<E::ScalarField, KZG<E>>, result: Affine<J>, )

where J: TECurveConfig<BaseField = E::ScalarField>,

Adds a ring proof to the batch.

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

where J: TECurveConfig<BaseField = E::ScalarField>,

Accumulates a prepared BatchItem into the batch.

Equivalent to push, but splits the work: the caller builds the BatchItem (transcript replay, challenge derivation, PIOP setup) separately from accumulation. Useful when preparation should be parallelized. BatchItem::new is independent of the accumulator state, so multiple items can be built in parallel and then pushed sequentially here.

pub fn verify(&self) -> bool

Verifies all accumulated proofs in a single batched pairing check.