Contents

Chapter 1

Proof Generator CLI

CryptoForge Prover Market — Product #1

Unified CLI for generating ZK proofs across Groth16, PLONK, and STARK backends. Supports Circom R1CS, Noir ACIR, and custom circuits with output in JSON, binary, or Solidity calldata format.

Chapter 2

Features

  • Multi-backend: Groth16 (BN254), PLONK, STARK proof generation
  • Circuit loading: Circom R1CS and Noir ACIR formats
  • Witness generation: JSON/TOML input parsing
  • Output formats: JSON, binary, Solidity calldata
  • Trusted setup: Powers of tau ceremony helpers
  • Parallel proving: Rayon-based multi-threaded witness computation
  • Python bindings: PyO3 wrapper for scripting
  • Benchmarking: Built-in hardware profiling mode
Chapter 3
🔒 Available in full product

Quick Start

Chapter 4
🔒 Available in full product

Python Usage

You’ve reached the end of the free preview

Get the full Proof Generator Cli and unlock everything.

All Chapters

Get the complete guide with every chapter unlocked, including code samples, diagrams, and best practices.

Full Tool Suite

Access all interactive tools with complete data, all workload profiles, and the full scenario library.

Source Files

Downloadable source code, configuration files, and working examples from every chapter.

Lifetime Updates

Free updates for life. Every new chapter, tool, and improvement included.

Buy Now — $15 →
📦 Free sample included — download another copy for the full product.
Proof Generator Cli v1.0.0 — Free Preview