以太坊联合创始人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的进展,还应该关注背后证明系统的审计和成熟度。他建议这些平台应该持续监控证明系统的审计情况和系统成熟度,以提供更清晰、更可靠的安全评估。

交易所
交易所排行榜
24小时成交排行榜
人气排行榜
交易所比特币余额
交易所资产透明度证明
资金费率
资金费率热力图
爆仓数据
清算最大痛点
多空比
大户多空比
币安/欧易/火币大户多空比
Bitfinex杠杆多空比
新闻
文章
大V快讯
财经日历
专题
ETF追踪
比特币持币公司
加密资产反转
以太坊储备
HyperLiquid钱包分析
Hyperliquid鲸鱼监控
索拉纳ETF
大额转账
链上异动
比特币回报率
稳定币市值
合约计算器
期权分析
账号安全
资讯收藏
自选币种
我的关注