该论文针对权益证明（PoS）区块链中「罚没（slashing）」机制的经济安全性假设提出质疑，并给出形式化的博弈论反驳。传统观点认为：在没有罚没的情况下，验证者可以无成本地发起模棱两可（equivocation，即对同一高度签署相互冲突的区块）攻击——如果足够多的其他验证者跟随，攻击成功并获利；如果跟随者不足，则尝试本身不造成损失。因此，罚没的作用就是让这种尝试变得昂贵，从而为经济价值与质押总额相当的应用提供安全保障。作者指出，这一论证长期依赖启发式推理，而非严格的博弈论保证。论文的核心贡献在于：在存在算法化罚没（由协议自动执行的惩罚）的前提下，作者为理性验证者构造了一个「无风险」的协调协议，并证明「理性验证者相互招募、共同参与模棱两可」这一策略组合构成事后纳什均衡（ex post Nash equilibrium）。该结论不要求参与者在事前知道自己有多少同伴，也不依赖于参与人数的先验分布；同时，只要成功模棱两可带来的收益 ε 严格大于零，无论 ε 相对于质押额多么微小，均衡依然成立。由此得到一个重要推论：仅靠罚没并不能保证与质押总额成比例的经济安全水平。作者进一步指出，这一结果暴露了算法化罚没的根本性局限——现实世界中的传统抵押安排在违约时往往可以依赖外部强制执行机构（如法院）来兑现惩罚，而区块链中的算法化罚没只能依赖共识过程本身，可攻击者恰恰能够影响甚至控制这一过程，惩罚的执行因此无法被视为独立于攻击者的外部约束。论文最后呼吁，应当对罚没机制的安全性开展形式化分析，而不是从具有独立执法能力的金融体系中直接照搬过于简化的类比论证。适合区块链协议研究者、共识安全与经济安全模型研究者、PoS 网络治理与风险管理人员阅读，也可作为协议设计评审中「经济安全假设」一节的参考材料。