Crate binius_examples 

Example circuits and the harness that runs them.

Each module under circuits builds one circuit and knows how to fill its witness; cli turns that into a runnable binary and snapshot records the circuit’s statistics so a change in size shows up as a diff.

Re-exports

pub use cli::Cli;

Modules

circuits

cli

snapshot

Enums

HashSuiteType

Selects which Merkle hash suite the prover and verifier use.

Traits

ExampleCircuit

Trait for standardizing circuit examples in the Binius framework.

Functions

check_proof

Verify a proof given its raw transcript bytes.

check_proof_zk

Verify a ZK proof given its raw transcript bytes.

create_proof

Run the prover and return the raw proof transcript bytes.

create_proof_zk

Run the ZK prover and return the raw proof transcript bytes.

init_tracing

Initialize tracing with tracing-forest’s tree-formatted profiling output.

prove_verify

prove_verify_zk

setup

Set up a non-ZK prover and verifier for the given constraint system using H as the Merkle hash suite.

setup_verifier

Set up only the verifier (no prover) for the given constraint system using H as the Merkle hash suite. Cheaper than setup when proving is not needed.

setup_zk

Set up a ZK prover and verifier for the given constraint system using H as the Merkle hash suite.

setup_zk_verifier

Set up only the ZK verifier (no prover) for the given constraint system using H as the Merkle hash suite. Cheaper than setup_zk when proving is not needed.

Type Aliases

StdProver

Standard prover using SHA256 compression

StdVerifier

Standard verifier using SHA256 compression

StdZKProver

Standard ZK prover using SHA256 compression

StdZKVerifier

Standard ZK verifier using SHA256 compression