binius_core::protocols::sumcheck_v2::univariate

Function verify_sumcheck_outputs

source 
pub fn verify_sumcheck_outputs<F, FDomain>(
    claims: &[SumcheckClaim<F, IndexComposition<BivariateProduct, 2>>],
    univariate_challenge: F,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    sumcheck_output: BatchSumcheckOutput<F>,
) -> Result<BatchSumcheckOutput<F>, Error>
where
    F: Field + ExtensionField<FDomain>,
    FDomain: Field,
Expand description

Verify the validity of sumcheck outputs for the reduction zerocheck.

This takes in the output of the batched univariatizing reduction sumcheck and returns the output that can be used to create multilinear evaluation claims. This simply strips off the evaluation of the multilinear extension of Lagrange polynomials evaluations at univariate_challenge (denoted by $\hat{u}_1$) and verifies that this value is correct.