binius_core::protocols::gkr_gpa

Function batch_verify

source 
pub fn batch_verify<F, Challenger>(
    claims: impl IntoIterator<Item = GrandProductClaim<F>>,
    proof: GrandProductBatchProof<F>,
    challenger: Challenger,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>
where
    F: TowerField,
    Challenger: CanSample<F> + CanObserve<F>,
Expand description

Verifies batch reduction turning each GrandProductClaim into an EvalcheckMultilinearClaim