binius_core::protocols::abstract_sumcheck

Function finalize_evalcheck_claim

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