Merkle Proofs for offline data integrity
ethereum.org