Function binius_core::protocols::sumcheck_v2::make_eval_claims

pub fn make_eval_claims<F: TowerField>(
    oracles: &MultilinearOracleSet<F>,
    metas: impl IntoIterator<Item = OracleClaimMeta>,
    batch_sumcheck_output: BatchSumcheckOutput<F>
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>

Constructs evalcheck claims from metadata returned by constraint set claim constructors.