pub fn make_eval_claims<F: TowerField>(
oracles: &MultilinearOracleSet<F>,
metas: impl IntoIterator<Item = OracleId>,
final_layer_claims: impl IntoIterator<IntoIter: ExactSizeIterator<Item = LayerClaim<F>>>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>