p3-sumcheck 0.8.0

Sumcheck protocol engine (product polynomials, SVO, HVZK masks)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Polynomial evaluation constraint systems for the WHIR protocol.
//!
//! Three constraint representations, each targeting a different protocol phase:
//!
//! - **Equality**: explicit multilinear points `p(z_i) = s_i`, batched via eq polynomials.
//! - **Select**: univariate evaluation claims, batched via the power-map select function.
//! - **Next**: repeat-last next-row evaluation constraints.

/// Equality-based evaluation constraints with batched eq-polynomial combination.
pub mod eq;

/// Repeat-last Next evaluation constraints.
pub mod next;

/// Selection-based evaluation constraints using the power-map expansion.
pub mod select;

pub use eq::EqStatement;
pub use next::NextStatement;
pub use select::SelectStatement;