binius_core::protocols

Module sumcheck

source
Expand description

The multivariate sumcheck and zerocheck polynomial protocols.

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.

Re-exports§

Modules§

Structs§

Enums§

Functions§