Top hash of a Merkle tree summarizing all leaves; enables compact proofs of inclusion for transactions or state.