Cryptography, Hashing, Learning, Data Structures, Merkle Tree.
solution. Imagine that Andrew has instead produced a Merkle root R of all his inputs (A, B, C…): He claims that A is in the tree. How can he prove this? And here’s where the magic happens: he can just send a few nodes of the tree as proof, and we can check that R is indeed produced with A. Take a