{"uid":"cap_wzuSKSuM9QwKIMXPYrXrC","slug":"atlas-keccak-merkle-proof-verifier-8218ecc6","name":"Atlas Keccak Merkle Proof Verifier","description":"Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count proof shape for the Atlas sorted-pair tree profile.","url":"https://chain-tools.use.x402atlas.com/merkle/verify","method":"POST","headers":{},"bodySchema":null,"responseSchema":null,"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.005","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"registry","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.005/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.005","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.005","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_kQfs2HfIhHiGPoFaKRyT-","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.005","costPer":"request","priority":0,"asset":null,"unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Validates Keccak Merkle inclusion proofs against the Atlas sorted-pair tree profile, verifying leaf index, leaf count, and proof shape.","exampleAgentPrompt":"Verify this Merkle inclusion proof for me — the leaf value is 0xabc123, it's at index 3 out of 8 total leaves, and here's the proof path with the root 0xdeadbeef. Use the Atlas sorted-pair Keccak tree profile to confirm the proof shape and inclusion are valid.","exampleUseCases":[{"title":"Airdrop eligibility proof check","prompt":"I have a Merkle proof claiming that address 0x1234abcd is at leaf index 47 out of 512 total leaves in the airdrop eligibility tree — root is 0xfeed5678. Can you verify the proof is valid and the inclusion is correct using the Atlas Keccak sorted-pair tree?"},{"title":"On-chain whitelist verification","prompt":"We're running a whitelist check before minting — the user claims to be at index 12 in a 256-leaf tree with root 0xc0ffee99. Here's their proof path. Validate that the Merkle proof shape and leaf inclusion are correct against the Atlas profile."},{"title":"Cross-chain data integrity audit","prompt":"I need to audit whether this batch submission is genuinely included in the data commitment tree — leaf index 0, total leaves 64, root 0xbabe1234. Run the Atlas Keccak Merkle proof verification and tell me if the proof holds and the shape is correct."}],"resultDescription":"Returns a boolean indicating whether the inclusion proof is valid, along with confirmation of the verified leaf index, total leaf count, and whether the proof shape matches the Atlas sorted-pair Keccak tree profile. May include details on which part of the proof failed if invalid.","failureModes":["Invalid proof path length not matching claimed leaf count","Root mismatch — computed root differs from provided root","Leaf index out of range for given leaf count","Malformed proof elements (non-hex or wrong byte length)","Proof shape inconsistency with Atlas sorted-pair profile","Missing required fields in request body"],"whenToPreferThis":"Use this endpoint when you need to verify Keccak Merkle inclusion proofs specifically generated against the Atlas sorted-pair tree profile, particularly when you also need to validate the exact leaf index and total leaf count as part of the proof. Prefer this over generic Merkle verifiers when working with proofs built by the sibling Atlas Merkle tree builder endpoint, or when your application requires domain-separated sorted-pair tree semantics.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-09-15T00:35:44.193Z","isFirstParty":false}