ZK Proofs & Cryptography MCP
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| BASE_RPC_URL | Yes | The Base L2 RPC URL. | |
| PAYMENT_WALLET | Yes | The recipient payout wallet address for x402 payments. |
Instructions
Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.
This server publishes no instructions, or was last inspected before Glama recorded them.
Capabilities
Features and capabilities supported by this server
Protocol revision2025-11-25
| Capability | Details |
|---|---|
| tools | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| zero_knowledge_merkle_membership_proofB | Generates and verifies Poseidon hash-based Merkle tree membership proofs for private zero-knowledge credential verification without revealing identity. (0.050 USDC on Base L2) |
| zk_snark_groth16_proof_verifierA | Verifies off-chain zk-SNARK Groth16 cryptographic proofs over the BN254/alt_bn128 pairing curve, guaranteeing proof validity before gas-expensive on-chain calls. (0.050 USDC on Base L2) |
| merkle_mountain_range_mmr_proverC | Constructs and verifies append-only Merkle Mountain Range (MMR) proofs for lightweight blockchain cross-chain block headers and rolling state proofs. (0.045 USDC on Base L2) |
| generate_merkle_proofA | Constructs binary SHA-256 Merkle trees and generates lightweight cryptographic inclusion proofs for whitelist and state verification. (0.02 USDC on Base L2) |
| eip712_typed_data_hasherB | RFC-compliant EIP-712 typed structured data hasher that eliminates domain separator discrepancies, type string misordering, and nested array padding bugs. (0.030 USDC on Base L2) |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
TDQS
Scored across 5 tools
Three tools revolve around Merkle-style proofs (zero_knowledge_merkle_membership_proof, merkle_mountain_range_mmr_prover, generate_merkle_proof), which could be confused without careful reading. The descriptions do differentiate them by hash function (Poseidon vs SHA-256), structure (binary tree vs MMR), and use case, but the boundaries remain soft for an agent. The Groth16 verifier and EIP-712 hasher are clearly distinct.
Naming mixes conventions: some are long noun phrases (zero_knowledge_merkle_membership_proof, zk_snark_groth16_proof_verifier) while others begin with a verb (generate_merkle_proof) or are pure noun phrases (eip712_typed_data_hasher). There is no predictable verb_noun pattern, and 'proof'/'prover'/'verifier' suffixes are used inconsistently across similar tools.
Five tools is a reasonable, well-scoped set for a cryptography primitives server, with each primitive earning its place. It sits comfortably in the 3-15 range without feeling bloated.
The surface covers Merkle/MMR proof generation and a Groth16 verifier plus EIP-712 hashing, but there are notable gaps such as no Groth16/SNARK proof generation counterpart (only verification), no signature or key utilities, and no generic hashing helper. Agents needing to create SNARK proofs or sign typed data would hit dead ends.