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