Module zerocheck

Structs

• ExtraProduct
• ZerocheckClaim

Functions

• reduce_to_sumchecks
  Requirement: zerocheck challenges have been sampled before this is called
• verify_sumcheck_outputs
  Verify the validity of the sumcheck outputs for a reduced zerocheck.