Module verify

Structs

• BatchVerifyStart
  A struct describing the starting state of batched sumcheck verify invocation.

Functions

• batch_verify
  Verify a batched sumcheck protocol execution.
• batch_verify_with_start
  Verify a batched sumcheck protocol execution, but after some rounds have been processed.
• compute_expected_batch_composite_evaluation_single_claim
• interpolate_round_proof