Diffing Large Arrays Efficiently: How Merkle Trees Unlock Scalable Sync🧠The Problem: Efficiently Diffing Large Arrays