Function binius_core::protocols::zerocheck::batch_verify

source ·

pub fn batch_verify<F, CH>(
    claims: impl IntoIterator<Item = ZerocheckClaim<F>>,
    proof: ZerocheckBatchProof<F>,
    challenger: CH
) -> Result<Vec<EvalcheckClaim<F>>, Error>where
    F: Field,
    CH: CanSample<F> + CanObserve<F>,

Expand description

Verify a batched zerocheck instance.

See module documentation for details.