Function binius_core::protocols::sumcheck_v2::zerocheck::reduce_to_sumchecks

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

Requirement: zerocheck challenges have been sampled before this is called