Module binius_core::protocols::abstract_sumcheck
source · Structs§
- A common provers state for a generalized batched sumcheck protocol.
Enums§
Traits§
- A sumcheck protocol claim.
- Represents an object that can evaluate the composition function of a generalized sumcheck.
- A trait that oversees the batched sumcheck execution
- Polynomial must be representable as a composition of multilinear polynomials
Functions§
- Prove a batched abstract sumcheck instance.
- Verify a batched abstract sumcheck instance.
- Validate that evaluation domain starts with 0 & 1 and the size is exactly one greater than the maximum individual degree of the polynomial.
- Constructs a switchover function thaw returns the round number where folded multilinear is at least 2^k times smaller (in bytes) than the original, or 1 when not applicable.
- Ensures that previous round challenge is present if and only if not in the first round.