{"id":"merkle-proof-length-equals-height","text":"A proof for a tree with `_padded_size = 2^h` contains exactly `h` sibling entries, one per tree level excluding the root","truth_value":"IN","source":"entries/2026/05/29/merkle-tree-merkle_tree-get_proof.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"merkle-proof-length-equals-height","truth_value":"IN","reason":"premise"}]}}