binius_core::protocols::sumcheck_v2::zerocheck

Function verify_sumcheck_outputs

source
pub fn verify_sumcheck_outputs<F: TowerField, Composition>(
    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.