binius_core/ring_switch/mod.rs
1// Copyright 2024-2025 Irreducible Inc.
2
3//! Interactive reduction from evaluation claims on committed small-field multilinear polynomials
4//! to sumcheck claims on products of committed packed multilinears and transparent polynomials.
5//!
6//! This is a batched version of the ring-switching reduction from section 4 of [DP24]. The
7//! plain, non-batched ring-switching interactive reduction reduces an evaluation claim on a
8//! multilinear to a sumcheck on a composition of its corresponding packed polynomial.
9//!
10//! The input claim for a multilinear $f(X_0, ..., X_{\ell-1})$ is
11//!
12//! $$
13//! f(z_0, ..., z_{\ell-1}) = s.
14//! $$
15//!
16//! The multilinear $t$ has a corresponding "packed" multilinear $t'$, with $\kappa$ fewer
17//! variables. Ring-switching reduces the input claim to a sumcheck claim that
18//!
19//! $$
20//! \sum_{v \in B_{\ell'}} f'(v) t_z(v) = s'.
21//! $$
22//!
23//! TODO: Improve documentation and link to binius.xyz docs.
24//!
25//! [DP24]: <https://eprint.iacr.org/2024/504>
26
27mod common;
28mod eq_ind;
29mod error;
30mod prove;
31#[cfg(test)]
32mod tests;
33mod tower_tensor_algebra;
34mod verify;
35
36pub use common::*;
37pub use error::*;
38pub use prove::*;
39pub use verify::*;