ZK Proofs & Cryptography MCP

Poseidon Merkle membership proofs, Groth16 zk-SNARK verification, Merkle Mountain Ranges, and EIP-712 structured data hashing.

Part of the WHAM ENGINE fleet of deterministic AI agent micro-services with automated Base L2 HTTP 402 (x402) USDC micropayments.

Tools Included in this Suite (5 Tools)

• zero_knowledge_merkle_membership_proof: Generates and verifies Poseidon hash-based Merkle tree membership proofs for private zero-knowledge credential verification without revealing identity.
• zk_snark_groth16_proof_verifier: Verifies off-chain zk-SNARK Groth16 cryptographic proofs over the BN254/alt_bn128 pairing curve, guaranteeing proof validity before gas-expensive on-chain calls.
• merkle_mountain_range_mmr_prover: Constructs and verifies append-only Merkle Mountain Range (MMR) proofs for lightweight blockchain cross-chain block headers and rolling state proofs.
• generate_merkle_proof: Constructs binary SHA-256 Merkle trees and generates lightweight cryptographic inclusion proofs for whitelist and state verification.
• eip712_typed_data_hasher: RFC-compliant EIP-712 typed structured data hasher that eliminates domain separator discrepancies, type string misordering, and nested array padding bugs.

Recommended Workflow

A privacy agent generates a private credential -> builds a Poseidon Merkle proof -> creates and verifies a zk-SNARK Groth16 proof -> signs the authorization payload using EIP-712 without revealing the underlying identity.

Quickstart Configuration

Add this server to your claude_desktop_config.json:

{
  "mcpServers": {
    "zk-proof-identity-mcp": {
      "command": "npx",
      "args": ["-y", "@whambammy/zk-proof-identity-mcp"],
      "env": {
        "PAYMENT_WALLET": "0x9793E7269b3301893318dEa8338576Ba612F39B3",
        "BASE_RPC_URL": "https://mainnet.base.org"
      }
    }
  }
}

Or connect the skill directly via Smithery:

smithery skill add whambammy/zk-proof-identity-mcp