Catching the Fly: Practical Challenges in Making Blockchain FlyClient Real. - Pericle Perazzo; Dario Capecchi (CoRR, 2026)