Merkle Proof
ZK Compression · Deep
A sequence of sibling hashes along a path from a leaf to a Merkle tree's root that proves a specific data element is included in the tree without revealing the entire dataset. In Solana's state compression, every compressed account operation requires a Merkle proof verified against the on-chain root to confirm inclusion before execution. Proof size scales linearly with tree depth; canopy optimization stores upper nodes on-chain to reduce proof sizes transmitted per transaction.