Module binius_core::protocols::sumcheck

The multivariate sumcheck polynomial protocol.

Sumcheck supports an efficient prover algorithm when the virtual polynomial is a multilinear composite, so this module only handles that case, rather than the case of general multivariate polynomials.

Structs

• SumcheckBatchProveOutput
• SumcheckClaim
• SumcheckProveOutput
• SumcheckProver
  A sumcheck protocol prover.
• SumcheckProversState

Enums

• Error
• VerificationError

Functions

• batch_prove
  Prove a batched sumcheck instance.
• batch_verify
  Verify a batched sumcheck instance.
• prove
  Prove a sumcheck to evalcheck reduction.
• validate_witness
• verify
  Verify a sumcheck to evalcheck reduction.

Type Aliases

• SumcheckBatchProof
• SumcheckProof
• SumcheckRound
• SumcheckRoundClaim
• SumcheckWitness