Crate binius_ip 

Interactive Polynomial (IP) protocol data structures and verification for Binius64.

This crate provides the core data structures and verifier-side implementations for interactive polynomial protocols used in Binius64, including sumcheck, prodcheck, and multilinear evaluation claims.

When to use this crate

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

Key types

• MultilinearEvalClaim - A claim that a multilinear polynomial evaluates to a value
• sumcheck - Sumcheck protocol verification
• prodcheck - Product check protocol verification
• channel - IP verifier channel traits

Related crates

• binius_ip_prover - Prover-side IP implementations
• binius_iop - Higher-level IOP protocols built on IP

Modules

batch_eval

Reducing many evaluation claims on one multilinear to a single claim.

channel

Channel abstraction for public-coin interactive protocol verifiers.

fracaddcheck

Reduction from fractional-addition layers to a multilinear evaluation claim.

logup_star

Verifier for the logUp* indexed-lookup reduction of knowledge.

mlecheck

prodcheck

Reduction from the products over the sumcubes of a multilinear to a multilinear evaluation.

sumcheck

Structs

MultilinearEvalClaim

A claim that a multilinear polynomial evaluates to a specific value at a point.