Merkle Tree

Prove a piece of data belongs to a huge dataset by checking a handful of hashes. Hash the leaves, fold them pairwise into a single root, generate an inclusion proof for any leaf, and verify it — the tamper-evident structure behind Git, Bitcoin, and database anti-entropy.