p3-sumcheck 0.6.1

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

//! 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.
//! - **Initial**: mutable builder that accumulates constraints during commitment.

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

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

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