资金费率
资金费率热力图
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
账号安全
资讯收藏
自选币种
以太坊联合创始人Vitalik Buterin深度解析Rollup安全协议演进模型
以太坊联合创始人Vitalik Buterin近日在Twitter上公开分享了一个技术模型，该模型有助于以太坊Rollup在其安全协议的各阶段之间安全过渡。此次讨论深入探讨了安全委员会的角色，并说明了理解何时升级到更高阶段对于维护基于以太坊的Rollup的完整性的重要性。
安全协议演进模型的核心思路
Vitalik Buterin提出的简化模型旨在通过评估协议失败的概率，确定从阶段0过渡到阶段1，最终到阶段2的最佳时机。该模型基于以下假设：每个安全委员会成员有10%的失败概率，无论是由于密钥无法访问（活性失败）还是被泄露（安全性失败）。模型的目标很明确：降低在这些条件下协议崩溃的可能性。
Buterin提出了一个简化的数学模型来说明何时应该进入阶段2：
假设：
- 每个安全委员会成员有独立的10%的"崩溃"概率
- 我们将活性失败（拒绝签署或密钥无法访问）和安全性失败（签署错误内容等）视为相同类型
各阶段安全委员会构成
在阶段0，安全委员会采用7人中4人同意制；在阶段1，扩展到8人中6人同意制。该模型有助于判断Rollup是否应该以及何时过渡到更安全的阶段。然而，Buterin强调，该模型并非完美。在现实世界中，总存在额外的风险，如"共模故障"，即安全委员会成员可能遭遇相同类型的攻击，如串通或黑客攻击。
Buterin指出，这种故障意味着阶段0和阶段1可能并不像最初看起来那么安全。这使得向阶段2的过渡比模型所显示的更为紧迫。
多重证明系统的重要性
在讨论中，Buterin进一步解释，另一个关键考虑因素是底层证明系统的质量。他建议采用更智能的方法来保护以太坊Rollup：不是坚持使用单一证明系统，而是建议使用多重签名设置，结合多个独立的证明系统。这将降低完全失败的可能性，特别是在阶段2的早期。
Buterin还指出了像L2Beat这样的平台在监控Rollup方面存在的一个关键差距。它们不应该仅仅跟踪Rollup的进展，还应该关注背后证明系统的审计和成熟度。他建议这些平台应该持续监控证明系统的审计情况和系统成熟度，以提供更清晰、更可靠的安全评估。
