binius_core/protocols/evalcheck/mod.rs
1// Copyright 2023-2025 Irreducible Inc.
2
3//! The multivariate evalcheck polynomial protocol.
4//!
5//! Being largely intended for claims coming from sumcheck/zerocheck invocations, this module only supports
6//! multilinear composites and not general multivariate polynomials.
7
8mod error;
9#[allow(clippy::module_inception)]
10mod evalcheck;
11mod prove;
12pub mod subclaims;
13#[cfg(test)]
14mod tests;
15mod verify;
16
17pub use error::*;
18pub use evalcheck::*;
19pub use prove::*;
20pub use verify::*;