Expand description
Sumcheck protocol types.
Defines the claim, round messages, and proof structure for the sumcheck interactive proof.
Structsยง
- Round
Poly - A degree-1 univariate polynomial sent by the prover each round.
- Sumcheck
Claim - A sumcheck claim: the polynomial and its purported sum.
- Sumcheck
Proof - A complete sumcheck proof: one round polynomial per variable.