Module ark_linear_sumcheck::ml_sumcheck

Sumcheck Protocol for multilinear extension

Modules

• data_structures
  Defines the data structures used by the MLSumcheck protocol.
• protocol
  Interactive Proof Protocol used for Multilinear Sumcheck

Structs

• MLSumcheck
  Sumcheck for products of multilinear polynomial

Type Aliases

• Proof
  proof generated by prover