比特币衍生系统中 SPV 客户端与家用全节点的形式化安全分析

本文对原始比特币白皮书第 8 节中规定的简化支付验证（SPV）客户端与家庭用户运行的非挖矿全节点进行了数学上严格的形式化分析。它将安全性定义为对偏离全局共识的抵抗力，并对对抗条件下的交易接受、执行能力和偏离概率进行了建模。结果表明，SPV 客户端尽管省略了脚本验证，但在诚实多数假设下具有密码学充分性，并且在拓扑上比结构上被动、不执行的全节点更不易受到攻击。本文引入了关于行为偏离和通信拓扑的新公理，证明了家用全节点增加了系统熵，而对共识完整性没有贡献。通过一系列形式化定义的引理、命题和蒙特卡洛模拟结果，证明了 SPV 客户端代表了非挖矿参与者的理性均衡策略。这挑战了家用验证器能增强网络安全的流行说法，为 SPV 模型的充分性提供了形式化和操作上的依据。