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.