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 v3;
18pub mod verify_sumcheck;
19pub mod verify_zerocheck;
20pub mod zerocheck;
21
22pub use common::{
23	BatchSumcheckOutput, CompositeSumClaim, RoundCoeffs, RoundProof, SumcheckClaim,
24	equal_n_vars_check, immediate_switchover_heuristic, standard_switchover_heuristic,
25};
26pub use eq_ind::EqIndSumcheckClaim;
27pub use error::*;
28pub use oracles::*;
29pub use prove::{batch_prove, batch_prove_zerocheck};
30pub use verify_sumcheck::batch_verify;
31pub use verify_zerocheck::batch_verify as batch_verify_zerocheck;
32pub use zerocheck::{BatchZerocheckOutput, ZerocheckClaim};