Merkle Trees Explained: How We Verify Large Files