Crate binius_prover 

High-level proof generation for Binius64 constraint systems.

This crate provides the main Prover struct for generating zero-knowledge proofs that a witness satisfies a constraint system. It is the prover-side counterpart to binius_verifier.

When to use this crate

Use this crate when you have a compiled constraint system and witness and need to generate a proof. For building circuits and compiling them to constraint systems, see binius_frontend.

Key types

• Prover - Main proving interface; call Prover::setup with a verifier, then Prover::prove with witness data
• IOPProver - Core IOP proving logic, independent of the compilation strategy
• KeyCollection - Precomputed keys for shift reduction (can be serialized for reuse)

Related crates

• binius_verifier - Verification counterpart
• binius_frontend - Circuit construction and compilation
• binius_spartan_prover - Spartan-based proving (alternative backend)

Re-exports

pub use protocols::shift::KeyCollection;

pub use binius_hash as hash;

Modules

bit_matrix

Folding a matrix of single-bit rows against one weight per row.

fold_word

Contracting a word list against weights, along either of its two axes.

fri

merkle_tree

protocols

ring_switch

zk_config

Zero-knowledge proving configuration for Binius64 constraint systems.

Structs

IOPProver

IOP prover for a particular constraint system.

Prover

Struct for proving instances of a particular constraint system.

Enums

Error

Functions

pack_witness

Packs committed witness words into the field buffer committed as the trace oracle.

Type Aliases

OptimalPackedB128