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