Function binius_core::protocols::sumcheck::verify
source · pub fn verify<F, CH>(
claim: &SumcheckClaim<F>,
proof: SumcheckProof<F>,
challenger: CH
) -> Result<EvalcheckClaim<F>, Error>
Expand description
Verify a sumcheck to evalcheck reduction.