Binary Merkle Trees vs Merkle-Patricia Trees: How Blockchains Verify Data Differently