binius_core::protocols::sumcheck::eq_ind

Function verify_sumcheck_outputs

Source 
pub fn verify_sumcheck_outputs<F: Field, Composition: CompositionPoly<F>>(
    sorting_order: ClaimsSortingOrder,
    claims: &[EqIndSumcheckClaim<F, Composition>],
    eq_ind_challenges: &[F],
    sumcheck_output: BatchSumcheckOutput<F>,
) -> Result<BatchSumcheckOutput<F>, Error>
Expand description

Verify the validity of the sumcheck outputs for a reduced eq-ind sumcheck.

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

Sumcheck claims are given either in non-ascending or non-descending order, as specified by the sorting_order parameter.