binius_core::protocols::sumcheck::zerocheck

Function verify_sumcheck_outputs

source 
pub fn verify_sumcheck_outputs<F: Field, Composition: CompositionPolyOS<F>>(
    claims: &[ZerocheckClaim<F, Composition>],
    zerocheck_challenges: &[F],
    sumcheck_output: BatchSumcheckOutput<F>,
) -> Result<BatchSumcheckOutput<F>, Error>
Expand description

Verify the validity of the sumcheck outputs for a reduced zerocheck.

This takes in the output of the reduced sumcheck protocol and returns the output for the zerocheck instance. This simply strips off the multilinear evaluation of the eq indicator polynomial and verifies that the value is correct.

Note that due to univariatization of some rounds the number of challenges may be less than the maximum number of variables among claims.