{"slug":"chain-tools-use-x402atlas-com-merkle-verify-9b3bb9","title":"Keccak Merkle proof verifier — validate inclusion plus exact leaf index and coun","host":"chain-tools.use.x402atlas.com","method":"POST","resource":"https://chain-tools.use.x402atlas.com/merkle/verify","category":"other","description":"Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.","price_listed":0.005,"price_asked":0.005,"state":"answering","state_label":"Answering","checks_7d":1,"answered_7d":1,"latency_ms_median":656,"reported_calls_30d":3,"reported_payers_30d":2,"networks":["eip155:137","eip155:42161","eip155:8453"],"badge":"unverified","paid_checks_7d":0,"paid_ok_7d":0,"example_input":{"body":{"index":2,"leaf":"0x67616d6d61","leaf_count":3,"proof":[{"hash":"0xbfa0350c48ccd55fb3a8315a6d6bfc41877772eaebfcba73cb195984df5b3d32"}],"root":"0x40a0fa2d0ce898ef138c3403645be77705df9d485ecc137b02b35eb9fdeaaf94"},"bodyType":"json","method":"POST","type":"http"},"output_schema":{"$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":{"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"}},"required":["input"],"type":"object"},"history":[{"day":"2026-09-24","reachable":true,"status":402,"valid_402":true,"asked_usdc":0.005,"price_match":true,"latency_ms":656,"error":null}],"description_full":"Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.","last_updated":"2026-09-15T06:32:32.159Z","schemes":["exact"]}