Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof…
Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.
by chain-tools.use.x402atlas.com · discovered, not yet claimed by its owner · updated 2026-10-08
Mirrored from Coinbase's public x402 Bazaar. The description is the provider's own text and has not been reviewed here; the payment requirements are copied as published.
What it does
Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.
Tags: merkle-proof · merkle-verify · keccak256 · proof-verification · blockchain-development · bazaar
Call contract
- Method
- POST
- Input
- json
- Output
- json
- Last paid call
- 2026-10-08
{
"index": 2,
"leaf": "0x67616d6d61",
"leaf_count": 3,
"proof": [
{
"hash": "0xbfa0350c48ccd55fb3a8315a6d6bfc41877772eaebfcba73cb195984df5b3d32"
}
],
"root": "0x40a0fa2d0ce898ef138c3403645be77705df9d485ecc137b02b35eb9fdeaaf94"
}{
"algorithm_version": "keccak256-sorted-pairs-v1",
"index": 2,
"leaf": "0x67616d6d61",
"leaf_count": 3,
"leaf_hash": "0xe51a809d0bd7c39f11aa7f9ff0ba85099028c7d56f42313f3bb5495a7b967146",
"operation": "merkle-verify",
"root": "0x40a0fa2d0ce898ef138c3403645be77705df9d485ecc137b02b35eb9fdeaaf94",
"valid": true,
"warnings": []
}Use with an agent
- Discover. Agents find this listing with
GET https://bazaar.saylorinnovations.com/discovery/search?query=…, the MCP toolsearch_resources, or/discovery/resources. - Inspect. Fetch
/resources/28634.jsonfor the price and payment options. - Pay. Call
GET https://chain-tools.use.x402atlas.com/merkle/verify. The provider answers402with its payment requirements. An x402 client signs one of the options below and retries withPAYMENT-SIGNATURE. - Execute. The provider returns
200with the data. Agent Bazaar is not in the request path and never sees your payment.
For humans
You don't need an account or an API key; you need a wallet holding a small amount of USDC on Base, Polygon, Arbitrum One, Solana, and an x402-capable client (see the examples below). Call the endpoint unpaid first to see exactly what it asks for.
Pricing & payment
- Price
- $0.005 / request
- Protocol
- x402 v2
- Auth
- No account or API key. Pay per request.
- Networks
- Base, Polygon, Arbitrum One, Solana
- Demand
- 4 calls · 3 unique payers in 30d (public x402 Bazaar data)
x402 payment requirements
| Scheme | Network | Asset | Amount | Pay to | Timeout |
|---|---|---|---|---|---|
| exact | Base eip155:8453 | USDC | $0.005 | 0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2 | 300s |
| exact | Polygon eip155:137 | USDC | $0.005 | 0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2 | 300s |
| exact | Arbitrum One eip155:42161 | USDC | $0.005 | 0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2 | 300s |
| exact | Solana solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp | USDC | $0.005 | ASt6xvRyQ7ntERsmcYVMdLqZvz1GEN8Fzexzq62tXrNQ | 300s |
accepts[] (raw JSON)
[
{
"scheme": "exact",
"network": "eip155:8453",
"payTo": "0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2",
"asset": "0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913",
"amount": "5000",
"amountUsd": 0.005,
"maxTimeoutSeconds": 300
},
{
"scheme": "exact",
"network": "eip155:137",
"payTo": "0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2",
"asset": "0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359",
"amount": "5000",
"amountUsd": 0.005,
"maxTimeoutSeconds": 300
},
{
"scheme": "exact",
"network": "eip155:42161",
"payTo": "0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2",
"asset": "0xaf88d065e77c8cC2239327C5EDb3A432268e5831",
"amount": "5000",
"amountUsd": 0.005,
"maxTimeoutSeconds": 300
},
{
"scheme": "exact",
"network": "solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp",
"payTo": "ASt6xvRyQ7ntERsmcYVMdLqZvz1GEN8Fzexzq62tXrNQ",
"asset": "EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v",
"amount": "5000",
"amountUsd": 0.005,
"maxTimeoutSeconds": 300
}
]Schemas
Output schema (JSON Schema)
{
"properties": {
"example": {
"additionalProperties": false,
"properties": {
"_atlas": {
"additionalProperties": false,
"description": "Atlas documentation and related-route metadata added after deployment",
"properties": {
"docs": {
"description": "Documentation URL for this bridge",
"format": "uri",
"maxLength": 512,
"type": "string"
},
"related": {
"description": "Bounded related Atlas routes",
"items": {
"additionalProperties": false,
"description": "One related Atlas route",
"properties": {
"bridge": {
"description": "Related bridge name",
"maxLength": 64,
"type": "string"
},
"docs": {
"description": "Related bridge documentation URL",
"format": "uri",
"maxLength": 512,
"type": "string"
},
"summary": {
"description": "Short capability summary",
"maxLength": 256,
"type": "string"
},
"url": {
"description": "Related route URL",
"format": "uri",
"maxLength": 512,
"type": "string"
}
},
"required": [
"bridge",
"url",
"docs",
"summary"
],
"type": "object"
},
"maxItems": 3,
"type": "array"
}
},
"required": [
"docs"
],
"type": "object"
},
"algorithm_version": {
"const": "keccak256-sorted-pairs-v1",
"description": "Atlas tree profile",
"type": "string"
},
"index": {
"description": "Caller-supplied index whose count-derived proof shape was checked; sorted pairs do not prove left/right position",
"type": "integer"
},
"leaf": {
"description": "Normalized raw leaf",
"type": "string"
},
"leaf_count": {
"description": "Caller-supplied original leaf count used to validate proof shape",
"type": "integer"
},
"leaf_hash": {
"description": "Domain-separated leaf hash",
"type": "string"
},
"operation": {
"const": "merkle-verify",
"description": "Stable route operation",
"type": "string"
},
"root": {
"description": "Expected root",
"type": "string"
},
"valid": {
"description": "Whether the exact shaped proof computes to root",
"type": "boolean"
},
"warnings": {
"description": "Always empty",
"items": {
"description": "Warning",
"type": "string"
},
"maxItems": 0,
"type": "array"
}
},
"required": [
"operation",
"algorithm_version",
"leaf",
"leaf_hash",
"index",
"leaf_count",
"root",
"valid",
"warnings"
],
"type": "object"
},
"type": {
"type": "string"
}
},
"required": [
"type"
],
"type": "object"
}Example shape — generated from the schema, not a captured live response
{
"example": {
"_atlas": {
"docs": "https://example.com",
"related": [
{
"bridge": "string",
"docs": "https://example.com",
"summary": "string",
"url": "https://example.com"
}
]
},
"algorithm_version": "string",
"index": 0,
"leaf": "string",
"leaf_count": 0,
"leaf_hash": "string",
"operation": "string",
"root": "string",
"valid": true,
"warnings": [
"string"
]
},
"type": "string"
}Examples
curl "https://chain-tools.use.x402atlas.com/merkle/verify"
# -> 402 Payment Required, accepts[] lists how to pay
# retry with a PAYMENT-SIGNATURE (or PAYMENT header) once paidconst res = await fetch("https://chain-tools.use.x402atlas.com/merkle/verify");
if (res.status === 402) {
const { accepts } = await res.json();
// pay one of accepts[] via an x402 client, then retry with the payment header
}import httpx
res = httpx.get("https://chain-tools.use.x402atlas.com/merkle/verify")
if res.status_code == 402:
accepts = res.json()["accepts"]
# pay one of accepts[] via an x402 client, then retry with the payment headerDetails
- Provider
- chain-tools.use.x402atlas.com
- Endpoint
- https://chain-tools.use.x402atlas.com/merkle/verify
- Machine-readable
/resources/28634.json