proof_cat_core/sumcheck/mod.rs
1//! The sumcheck interactive proof protocol.
2//!
3//! Proves claims of the form `sum_{x in {0,1}^n} g(x) = v`
4//! where `g` is a multilinear polynomial. The protocol runs
5//! in `n` rounds, reducing verification to a single evaluation
6//! of `g` at a random point.
7//!
8//! - [`prover::sumcheck_prove`] produces a [`SumcheckProof`].
9//! - [`verifier::sumcheck_verify`] checks the proof and returns
10//! the final evaluation claim and challenge vector.
11
12pub mod protocol;
13pub mod prover;
14pub mod verifier;
15
16pub use protocol::{RoundPoly, SumcheckClaim, SumcheckProof};
17pub use prover::sumcheck_prove;
18pub use verifier::sumcheck_verify;