Module verify

Structs

• GPASumcheckClaim

Functions

• reduce_to_sumcheck
• verify_sumcheck_outputs
  Verify the validity of the sumcheck outputs for a reduced GPA sumcheck.