pub fn reduce_to_eq_ind_sumchecks<F: Field, Composition: CompositionPoly<F>>(
claims: &[ZerocheckClaim<F, Composition>],
) -> Result<Vec<EqIndSumcheckClaim<F, &Composition>>, Error>
pub fn reduce_to_eq_ind_sumchecks<F: Field, Composition: CompositionPoly<F>>(
claims: &[ZerocheckClaim<F, Composition>],
) -> Result<Vec<EqIndSumcheckClaim<F, &Composition>>, Error>