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 logging;
31mod prove;
32mod tower_tensor_algebra;
33mod verify;
34
35pub use common::*;
36pub use error::*;
37pub use prove::*;
38pub use verify::*;