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