Function binius_core::protocols::abstract_sumcheck::finalize_evalcheck_claim
source · pub fn finalize_evalcheck_claim<F: Field>(
poly_oracle: &CompositePolyOracle<F>,
reduced_claim: ReducedClaim<F>
) -> Result<EvalcheckClaim<F>, Error>