binius_core/protocols/sumcheck/
mod.rs

1// Copyright 2024-2025 Irreducible Inc.
2
3//! The multivariate sumcheck and zerocheck polynomial protocols.
4//!
5//! Sumcheck supports an efficient prover algorithm when the virtual polynomial is a multilinear
6//! composite, so this module only handles that case, rather than the case of general multivariate
7//! polynomials.
8
9mod common;
10pub mod eq_ind;
11mod error;
12pub mod front_loaded;
13mod oracles;
14pub mod prove;
15#[cfg(test)]
16mod tests;
17pub mod univariate;
18pub mod univariate_zerocheck;
19pub mod verify;
20pub mod zerocheck;
21
22pub use common::*;
23pub use eq_ind::EqIndSumcheckClaim;
24pub use error::*;
25pub use oracles::*;
26pub use prove::batch_prove;
27pub use univariate_zerocheck::batch_verify_zerocheck_univariate_round;
28pub use verify::{batch_verify, batch_verify_with_start};
29pub use zerocheck::ZerocheckClaim;