binius_iop_prover/
lib.rs

1// Copyright 2026 The Binius Developers
2
3//! Interactive Oracle Protocol (IOP) components for Binius64 proof generation.
4//!
5//! This crate provides the prover-side implementations of IOPs used in the Binius64
6//! proof system, including polynomial commitment schemes (BaseFold), FRI protocols,
7//! and Merkle tree construction.
8//!
9//! # When to use this crate
10//!
11//! This crate is primarily used internally by `binius_prover`. Direct use is needed
12//! when implementing custom proving logic or when working with the IOP layer directly.
13//!
14//! # Key types
15//!
16//! - [`basefold`] - BaseFold polynomial commitment scheme proving
17//! - [`fri`] - FRI (Fast Reed-Solomon Interactive Oracle Proof) proving
18//! - [`merkle_tree`] - Merkle tree commitment construction
19//! - [`channel`] - IOP prover channel traits for abstracting oracle interactions
20//!
21//! # Related crates
22//!
23//! - `binius_iop` - Verifier-side IOP implementations
24//! - `binius_prover` - High-level proving that uses this crate
25
26#![warn(rustdoc::missing_crate_level_docs)]
27
28pub mod basefold;
29pub mod channel;
30pub mod fri;
31pub mod logup_star;
32pub mod merkle_channel;
33pub mod merkle_tree;
binius_iop_prover/lib.rs

binius_iop_prover/
lib.rs
