安全低带宽SPV：简化支付验证协议与安全界限的形式化处理

本文对比特币白皮书中所定义的简化支付验证（SPV）提供完整的形式化规范、协议描述与数学证明结构。与流行实现中所散布的误解形成鲜明对比，我们指出SPV在有限对手假设下不仅安全，更是要求可扩展且可验证交易包含的数字现金系统的严格最优方案。我们从原理出发重构SPV协议，将其验证模型建立在符号自动机、Merkle 成员关系与链式证明支配谓词之上。通过严谨的概率论与博弈论分析，我们推导该协议安全运行的经济界限，验证其在部分连通性、敌对中继网络及对手延迟传播条件下的数据活性与安全性。我们的规范进一步引入低带宽优化方案，如自适应轮询与压缩标题同步，同时保持正确性。本文件既为安全SPV实现提供蓝图，也为关于非验证型客户端的常见误解提供反驳。