pub fn make_zerocheck_eval_claims<F: Field>(
metas: impl IntoIterator<Item = OracleClaimMeta>,
batch_zerocheck_output: BatchZerocheckOutput<F>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>Expand description
Construct eval claims from the batched zerocheck output.