binius_core::protocols::sumcheck::zerocheck

Function reduce_to_eq_ind_sumchecks

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

A reduction from a set of multilinear zerocheck claims to the set of univariatized eq-ind sumcheck claims.

Zerocheck claims should be in non-descending n_vars order. The resulting claims assume that a univariate round of skip_rounds has taken place before the eq-ind sumchecks.