Function binius_core::protocols::gkr_gpa::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