Vitalik Buterin提醒:Rollup完全去中心化进程中,第二阶段并非总是更安全
在追求Rollup完全去中心化的热潮中,Vitalik Buterin提出了一个容易被忽视的重要提醒:除非底层证明系统坚不可摧,否则第二阶段并不总是更安全。他在一篇文章中通过简化的数学模型阐明,在未显著增强证明系统稳健性的情况下,过快地推进到第二阶段实际上可能增加失败率。
数学模型分析
该模型基于以下假设:安全性和活性故障发生的可能性相同,且安全委员会每个成员有10%的独立故障概率。在阶段0使用4/7多重签名,在阶段1使用6/8多重签名。证明系统的故障概率会发生变化。研究结果表明,随着证明系统故障概率的增加,阶段0或阶段1实际上比阶段2提供更高的安全性。
只有当证明系统极其可靠时(例如故障率低于10⁻⁵),阶段2才是最佳选择。Buterin指出,在证明系统未成熟或中心化的情况下推进到阶段2是最糟糕的配置,因为它同时兼具两者的风险。
现实世界的复杂性
Buterin还指出,这个模型并不总是适用于现实世界。在现实中,委员会成员经常面临共模故障、共享基础设施中的共谋漏洞或法律胁迫等问题,这使得多重签名设置的实际效果往往不如模型所显示的那么有效。
实现真正安全的路径
即便如此,要使阶段2更安全,强大的证明系统仍是必要的。Buterin建议采用证明系统多重签名作为临时措施,通过结合多个独立的证明系统来降低这些风险。他强调,阶段2并不是唯一重要的因素。除了Rollup之外,去中心化阶段的生态系统工具(如l2beat)也应监控证明系统审计的成熟度。实现真正的安全需要治理和密码学完整性的逐步协调,这不是一个简单的复选框。