Function binius_core::protocols::sumcheck_v2::zerocheck::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.