A hash-based data structure that enables efficient verification of large data sets with compact proofs.