{"id":"verify-proof-is-pure-static","text":"`verify_proof` is a `@staticmethod` with no side effects; it requires no tree instance, only the data and a `MerkleProof`, so it can run on a different machine than the one that built the tree.","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-verify_proof.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"@staticmethod\ndef verify_proof(leaf_hash, proof, root_hash):\n    current = leaf_hash\n    for sibling_hash, direction in proof:\n        if direction == \"left\":\n            current = sha256(sibling_hash + current)\n        else:\n            current = sha256(current + sibling_hash)\n    return current == root_hash"},"explanation":{"steps":[{"node":"verify-proof-is-pure-static","truth_value":"IN","reason":"premise"}]}}