binius_core/protocols/gkr_gpa/gpa_sumcheck/
mod.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3//! The multivariate sumcheck polynomial protocol, special cased when the sumcheck is part of the GPA Protocol.
4//!
5//! The parent GPA Module must have certain properties in order to qualify to use this sumcheck protocol.
6//!     1) The GKR grand product circuit must be data-parallel
7//!     2) The GKR grand product circuit must admit layer reduction sumcheck claims on multilinear composite polynomials $f(x)$
8//! that have the form $f(x) = g(x) \cdot h(x)$, where $g(x)$ is a partially evaluated equality indicator
9//! multilinear polynomial.
10//!     3) $h(x)$ must agree with the current layer multilinear everywhere on the boolean hypercube.
11//!
12//! If the above conditions are met, then this GPA sumcheck module exploits this structure to yield a
13//! more efficient prover algorithm than the sumcheck module.
14//!
15
16pub mod error;
17pub mod prove;
18pub mod verify;
19
20#[cfg(test)]
21mod tests;