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;
10mod error;
11pub mod front_loaded;
12mod oracles;
13pub mod prove;
14#[cfg(test)]
15mod tests;
16pub mod univariate;
17pub mod univariate_zerocheck;
18pub mod verify;
19pub mod zerocheck;
20
21pub use common::*;
22pub use error::*;
23pub use oracles::*;
24pub use prove::batch_prove;
25pub use univariate_zerocheck::batch_verify_zerocheck_univariate_round;
26pub use verify::{batch_verify, batch_verify_with_start};
27pub use zerocheck::ZerocheckClaim;