binius_core::protocols::gkr_gpa::gpa_sumcheck::verify

Function verify_sumcheck_outputs

Source 
pub fn verify_sumcheck_outputs<F: Field>(
    claims: &[GPASumcheckClaim<F>],
    gpa_challenges: &[F],
    sumcheck_output: BatchSumcheckOutput<F>,
) -> Result<BatchSumcheckOutput<F>, Error>
Expand description

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

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