Crate binius_ip_prover 

Interactive Polynomial (IP) protocol proving for Binius64.

This crate provides the prover-side implementations of interactive polynomial protocols used in Binius64, including sumcheck, prodcheck, and fractional addition check provers.

When to use this crate

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

Key types

• sumcheck - Sumcheck protocol proving
• prodcheck - Product check protocol proving
• fracaddcheck - Fractional addition check proving
• channel - IP prover channel traits

Related crates

• binius_ip - Verifier-side IP implementations and shared data structures
• binius_iop_prover - Higher-level IOP provers built on IP

Modules

channel

Channel abstraction for public-coin interactive protocol provers.

claim_fold

Proving a fold of evaluation claims on one sparse tensor.

fracaddcheck

Fractional-addition check: proving a claim about a sum of fractions.

logup_star

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

prodcheck

sumcheck