ZK Circuit Templates — Prover Market

Contract Details

Categorycircuits

Files20

Price$14.99

Tech Stack

Circom 2.1+ Noir 0.30+ TypeScript snarkjs bb.js

Chains

Ethereum Arbitrum zkSync Scroll

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.

Features

✓ 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
}