Proof Generator CLI Demo — Prover Market

Quick Commands

Terminal

proof-generator — zsh

$ proof-gen --version

proof-generator 2.1.0 (Rust 1.82, backends: groth16 plonk stark)

$ proof-gen --help

Usage: proof-gen <COMMAND> [OPTIONS]

Commands: prove, verify, calldata, bench

Run 'proof-gen <command> --help' for more info.

$ (click a command above)

The full CLI supports Circom R1CS and Noir ACIR circuits, Python bindings via PyO3, parallel proving, and trusted setup helpers.