Proof Generator CLI — Prover Market

Contract Details

Categorycli

Files14

Price$14.99

Tech Stack

Rust Python 3.10+ PyO3 ark-groth16 bellman circom-compat

Chains

Ethereum Arbitrum zkSync Polygon zkEVM Scroll

Description

Command-line tool for generating ZK proofs across multiple proof systems. Wraps Groth16, PLONK, and STARK backends with a unified interface. Supports Circom R1CS, Noir ACIR, and custom circuits. Output proofs in JSON, binary, or Solidity calldata format ready for on-chain verification.

Features

✓ Unified CLI for Groth16, PLONK, and STARK proof generation
✓ Circom R1CS and Noir ACIR circuit loading
✓ Witness generation from JSON/TOML inputs
✓ Proof output in JSON, binary, and Solidity calldata
✓ Trusted setup ceremony helpers (powers of tau)
✓ Parallel witness computation with Rayon
✓ Proof verification in CLI before submission
✓ Benchmark mode for hardware profiling
✓ Python bindings via PyO3 for scripting
✓ Comprehensive test suite with example circuits

proof-generator-cli.sol

// SPDX-License-Identifier: MIT
pragma solidity ^0.8.24;

import "@openzeppelin/contracts/token/ERC20/IERC20.sol";

/// @title Proof Generator CLI
/// @notice CLI for generating ZK proofs (Groth16, PLONK, STARK wrappers).
contract ProofGeneratorCli {
    address public immutable owner;
    uint256 public constant VERSION = 1;

    event Initialized(address indexed deployer);

    constructor() {
        owner = msg.sender;
        emit Initialized(msg.sender);
    }

    // ... full implementation in purchased package
}