binius_iop/lib.rs
1// Copyright 2026 The Binius Developers
2
3//! Interactive Oracle Protocol (IOP) components for Binius64 verification.
4//!
5//! This crate provides the verifier-side implementations of IOPs used in the Binius64
6//! proof system, including polynomial commitment schemes (BaseFold), FRI protocols,
7//! and Merkle tree verification.
8//!
9//! # When to use this crate
10//!
11//! This crate is primarily used internally by `binius_verifier`. Direct use is needed
12//! when implementing custom verification logic or when working with the IOP layer directly.
13//!
14//! # Key types
15//!
16//! - [`basefold`] - BaseFold polynomial commitment scheme verification
17//! - [`fri`] - FRI (Fast Reed-Solomon Interactive Oracle Proof) verification
18//! - [`merkle_tree`] - Merkle tree commitment verification
19//! - [`channel`] - IOP verifier channel traits for abstracting oracle interactions
20//!
21//! # Related crates
22//!
23//! - `binius_iop_prover` - Prover-side IOP implementations
24//! - `binius_verifier` - High-level verification 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;