binius_core::protocols::sumcheck::eq_ind

Function reduce_to_regular_sumchecks

Source 
pub fn reduce_to_regular_sumchecks<F: Field, Composition: CompositionPoly<F>>(
    claims: &[EqIndSumcheckClaim<F, Composition>],
) -> Result<Vec<SumcheckClaim<F, ExtraProduct<&Composition>>>, Error>
Expand description

A reduction from a set of eq-ind sumcheck claims to the set of regular sumcheck claims.

Requirement: eq-ind sumcheck challenges have been sampled before this is called. This routine adds an extra multiplication by the equality indicator (which is the last multilinear, by agreement).