binius_ip_prover/lib.rs
1// Copyright 2026 The Binius Developers
2
3//! Interactive Polynomial (IP) protocol proving for Binius64.
4//!
5//! This crate provides the prover-side implementations of interactive polynomial
6//! protocols used in Binius64, including sumcheck, prodcheck, and fractional
7//! addition check provers.
8//!
9//! # When to use this crate
10//!
11//! This crate is primarily used internally by `binius_prover` and `binius_iop_prover`.
12//! Direct use is needed when implementing custom proving logic or working with
13//! the IP protocol layer directly.
14//!
15//! # Key types
16//!
17//! - [`sumcheck`] - Sumcheck protocol proving
18//! - [`prodcheck`] - Product check protocol proving
19//! - [`fracaddcheck`] - Fractional addition check proving
20//! - [`channel`] - IP prover channel traits
21//!
22//! # Related crates
23//!
24//! - [`binius_ip`] - Verifier-side IP implementations and shared data structures
25//! - `binius_iop_prover` - Higher-level IOP provers built on IP
26
27#![warn(rustdoc::missing_crate_level_docs)]
28
29pub mod channel;
30pub mod claim_fold;
31pub mod fracaddcheck;
32pub mod logup_star;
33pub mod prodcheck;
34pub mod sumcheck;