Function univariatizing_reduction_claim

pub fn univariatizing_reduction_claim<F: Field>(
    skip_rounds: usize,
    univariatized_multilinear_evals: &[F],
) -> Result<SumcheckClaim<F, IndexComposition<BivariateProduct, 2>>, Error>

Creates sumcheck claims for the reduction from evaluations of univariatized virtual multilinear oracles to “regular” multilinear evaluations.

Univariatized virtual multilinear oracles are given by: $$\hat{M}(\hat{u}_1,x_1,\ldots,x_n) = \sum M(u_1,\ldots, u_k, x_1, \ldots, x_n) \cdot L_u(\hat{u}_1)$$ It is assumed that univariatized_multilinear_evals came directly from a previous sumcheck with a univariate round batching skip_rounds variables.