Function univariatizing_reduction_claim

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

Creates a “combined” sumcheck claim 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. Multilinear evals of the reduction sumcheck are concatenated together in order to create the Lagrange coefficient MLE (in the last position) only once.