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>Expand description
Constructs evalcheck claims from metadata returned by constraint set claim constructors.