Keccak Merkle proof verifier — validate inclusion plus exact leaf index and coun
Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.
Answeringour last check, 2026-09-24
1 of 1checks answered this week
656 msmedian answer time
$0.005listed price per call
$0.005price it asked us
Paid test badge: not yet. The checks above are free: we call the tool without paying and read the payment request it sends back. The Verified badge needs paid calls whose answers match the promised output, and nobody can buy a badge.
Endpoint
POST https://chain-tools.use.x402atlas.com/merkle/verify
| Category | Everything else |
|---|---|
| Provider host | chain-tools.use.x402atlas.com |
| Networks | eip155:137, eip155:42161, eip155:8453 |
| Payment schemes | exact |
| Self-reported calls, 30 days | 3 from 2 payers (the provider's figure, not ours) |
Our checks, last 30 days
| Day | Result | HTTP | Asked | Time |
|---|---|---|---|---|
| 2026-09-24 | valid payment request | 402 | $0.005 | 656 ms |
Example input (from the provider)
{
"body": {
"index": 2,
"leaf": "0x67616d6d61",
"leaf_count": 3,
"proof": [
{
"hash": "0xbfa0350c48ccd55fb3a8315a6d6bfc41877772eaebfcba73cb195984df5b3d32"
}
],
"root": "0x40a0fa2d0ce898ef138c3403645be77705df9d485ecc137b02b35eb9fdeaaf94"
},
"bodyType": "json",
"method": "POST",
"type": "http"
}
Promised output schema (from the provider)
{
"$schema": "https://json-schema.org/draft/2020-12/schema",
"properties": {
"input": {
"additionalProperties": false,
"properties": {
"body": {
"additionalProperties": false,
"properties": {
"index": {
"description": "Zero-based caller-supplied index used to validate proof shape; sorted-pair hashing does not prove left/right position",
"maximum": 1023,
"minimum": 0,
"type": "integer"
},
"leaf": {
"description": "Raw leaf bytes",
"maxLength": 8194,
"pattern": "^0x(?:[0-9a-fA-F]{2})*$",
"type": "string"
},
"leaf_count": {
"description": "Original tree leaf count controlling proof shape",
"maximum": 1024,
"minimum": 1,
"type": "integer"
},
"proof": {
"description": "Sibling hashes in leaf-to-root order; odd promotions omit a step",
"items": {
"additionalProperties": false,
"properties": {
"hash": {
"description": "Sibling node hash",
"pattern": "^0x[0-9a-fA-F]{64}$",
"type": "string"
}
},
"required": [
"hash"
],
"type": "object"
},
"maxItems": 10,
"type": "array"
},
"root": {
"description": "Expected tree root",
"pattern": "^0x[0-9a-fA-F]{64}$",
"type": "string"
}
},
"required": [
"leaf",
"index",
"leaf_count",
"root",
"proof"
],
"type": "object"
},
"bodyType": {
"enum": [
"json",
"form-data",
"text"
],
"type": "string"
},
"method": {
"enum": [
"POST"
],
"type": "string"
},
"type": {
"const": "http",
"type": "string"
}
},
"required": [
"type",
"method",
"bodyType",
"body"
],
"type": "object"
},
"output": {
"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": {
"descripti