Module sumcheck

Sum-check protocol that proves and verifies claims about sum_x g(x) for all x in {0, 1}^n.

MultivariatePolyOracle provides methods for evaluating sums and making transformations on g in the context of the protocol. It is intended to be used in conjunction with prove_batch to generate proofs.

Structs

• SumcheckArtifacts
• SumcheckProof

Enums

• SumcheckError
  Sum-check protocol verification error.

Constants

• MAX_DEGREE
  Max degree of polynomials the verifier accepts in each round of the protocol.

Functions

• partially_verify
  Partially verifies a sum-check proof.
• prove_batch
  Performs sum-check on a random linear combinations of multiple multivariate polynomials.

Type Aliases

• RoundIndex
  Sum-check round index where 0 corresponds to the first round.