Crate binius_iop 

Interactive Oracle Protocol (IOP) components for Binius64 verification.

This crate provides the verifier-side implementations of IOPs used in the Binius64 proof system, including polynomial commitment schemes (BaseFold), FRI protocols, and Merkle tree verification.

When to use this crate

This crate is primarily used internally by binius_verifier. Direct use is needed when implementing custom verification logic or when working with the IOP layer directly.

Key types

• basefold - BaseFold polynomial commitment scheme verification
• fri - FRI (Fast Reed-Solomon Interactive Oracle Proof) verification
• merkle_tree - Merkle tree commitment verification
• channel - IOP verifier channel traits for abstracting oracle interactions

Related crates

• binius_iop_prover - Prover-side IOP implementations
• binius_verifier - High-level verification that uses this crate

Modules

basefold

Verifier for the BaseFold sumcheck-PIOP to IP compiler.

channel

Channel abstraction for interactive oracle protocol (IOP) verifiers.

fri

Implementation of the Fast Reed–Solomon IOPP (FRI) over binary fields.

logup_star

logUp* verification with the pushforwards committed as oracles.

merkle_channel

Channel abstraction for verifiers of protocols using Merkle commitments.

merkle_tree