Another smoking gun.

Nash references Merkel at 14:44. Merkle Trees in Bitcoin enables Efficient Transaction Verification. Instead of downloading an entire block, nodes can verify a specific transaction by checking only a small portion of the Merkle tree.