本文针对FlyClient轻量级区块链验证协议在实际部署中面临的技术挑战展开研究。FlyClient原本旨在让资源受限环境（如移动钱包、物联网设备或基于智能合约的跨链桥）仅需极少量数据即可完成工作量证明验证，但其仍处于实验阶段，缺乏真实世界部署和多样化性能评估。作者从理论和实践之间的鸿沟出发，提出了三项主要贡献：（1）引入了一种替代原FlyClient的对手模型，该模型允许验证器在具体经济解释下进行参数化，同时节省证明空间；（2）首次为生产级区块链（Zcash）实现了实用的FlyClient证明器，并在不同配置下评估了其性能；（3）提出并评估了两种优化方案以最小化FlyClient证明的大小，其中一种优化无需更改共识协议。实验结果表明，这些优化能显著减小证明尺寸，提升协议在资源受限设备上的可行性。本文适合区块链开发者、轻量级验证研究者以及关注跨链桥安全性的工程师阅读。