ZK Circuit Templates — Prover Market

Description

Library of production-ready ZK circuit templates for common use cases. Includes Merkle proof verification, range proofs, identity attestation, vote tallying, and token ownership proofs. Each template includes Circom and Noir implementations with TypeScript proof generation helpers.

Details

Category: circuits
Files: 20
Chains: Ethereum, Arbitrum, zkSync, Scroll

Circom 2.1+ Noir 0.30+ TypeScript snarkjs bb.js Ethereum Arbitrum zkSync Scroll

Merkle proof verification circuit (configurable depth)
Range proof circuit with efficient decomposition
Identity attestation circuit (age, nationality, KYC)
Private vote tallying circuit
Token balance ownership proof (ERC-20, ERC-721)
Circom and Noir dual implementations
TypeScript proof generation and verification helpers
Solidity verifier generators per circuit
Comprehensive constraint count analysis
Example inputs and expected outputs for each template

zk-circuit-templates.sol

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

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

/// @title ZK Circuit Templates
/// @notice Common circuit templates (Merkle proofs, range proofs, identity).
contract ZkCircuitTemplates {
    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
}