Modules§
- multi_
degree - Multi-degree sumcheck: runs multiple degree groups in lockstep with shared verifier randomness, producing a common evaluation point.
- prover
- Prover
- verifier
- Verifier
Structs§
- MLSumcheck
- Sumcheck for products of multilinear polynomial.
- Sumcheck
Proof - Proof generated by the sumcheck prover.