Merkle Proof
Verify Merkle inclusion proofs0x00000000000000000000000000000000000000DD~1000+50/hash gas
Sample Merkle tree with 4 allowlisted addresses. Click to verify each proof.
Root:
0x8ea0e3a5b1bcc3d21d094be4a529068bb97ef23671d5a18bc24c5ae11cffdbf7Click an address above to verify its Merkle proof
Why It Matters
Whitelists, airdrops, and state proofs all use Merkle trees. This precompile is faster and cheaper than the Solidity implementation.
Interface
Input: root(32) | leaf(32) | proof[0](32) | proof[1](32) | ... Output: bool (1 = valid proof)