binius_core::protocols::sumcheck::zerocheck

Function verify_reduction_sumcheck_output

Source 
pub fn verify_reduction_sumcheck_output<F>(
    claim: &SumcheckClaim<F, IndexComposition<BivariateProduct, 2>>,
    skip_rounds: usize,
    univariate_challenge: F,
    reduction_sumcheck_output: BatchSumcheckOutput<F>,
) -> Result<BatchSumcheckOutput<F>, Error>
where
    F: TowerField,
Expand description

Verify the validity of sumcheck outputs for the reduction zerocheck.

This takes in the output of the univariatizing reduction sumcheck and returns the output that can be used to create multilinear evaluation claims. This simply strips off the evaluation of the Lagrange basis MLE at univariate_challenge (denoted by \hat{u}_1$) and verifies its correctness.