binius_core::protocols::sumcheck

Function verify

source 
pub fn verify<F, CH>(
    claim: &SumcheckClaim<F>,
    proof: SumcheckProof<F>,
    challenger: CH,
) -> Result<EvalcheckClaim<F>, Error>
where
    F: Field,
    CH: CanSample<F> + CanObserve<F>,
Expand description

Verify a sumcheck to evalcheck reduction.