Vitalik Buterin 新作:以数学模型解析 L2 网络阶段划分的合理性
原文来源: Vitalik
编译: Odaily星球日报(@OdailyChina)
译者:Wenser(@wenser 2010 )
编者按:关于以太坊 rollup 安全性三个阶段的讨论一直是社区关注的重点。这不仅关系到以太坊主网及 L2 网络的运行稳定性,也直接影响 L2 生态的真实发展状况。近日,以太坊社区成员 Daniel Wang 在 X 平台提出了一项 L2 网络 Stage 2 阶段的新命名标签 #BattleTested。他认为,只有当代码和配置在以太坊主网上线超过 6 个月,并且总锁仓价值(TVL)持续超过 1 亿美元(其中至少包含 5000 万美元的 ETH 和主要稳定币)时,L2 网络才能获得这一称号。该称号还将动态评估,避免潜在的“链上鬼蜮”问题。随后,以太坊联合创始人 Vitalik Buterin 对此进行了详细解答与分析,Odaily星球日报编译如下。
L2网络的三大阶段:从治理投票结构看安全性演变
以太坊 rollup 安全性的三个阶段可以根据安全委员会对无信任组件(即纯加密或博弈论机制)的覆盖能力来划分:
-
阶段 0:安全委员会拥有完全控制权。可能有一个运行中的证明系统(Optimism 或 ZK 模式),但安全委员会可以通过简单多数票机制推翻其结果。因此,证明系统仅起“咨询性质”的作用。
-
阶段 1:安全委员会需要 75%(至少 6/8)的批准才能覆盖运行中的系统。必须存在一个法定人数阻止子集(如 ≥ 3 名成员)在主要组织之外操作。因此,操控证明系统的难度较高,但并非完全不可逾越。
-
阶段 2:安全委员会仅能在可证明错误的情况下采取行动。例如,当两个冗余证明系统(如 OP 和 ZK)出现矛盾时,安全委员会只能选择其中一个答案,而不能随意生成其他响应。
以下图表展示了安全委员会在不同阶段的“投票份额”:
三个阶段的治理投票结构
一个关键问题是:L2 网络从阶段 0 转向阶段 1,以及从阶段 1 发展到阶段 2 的最佳时机分别是什么?
不立即进入阶段 2 的唯一有效理由是对证明系统的信任不足——这是一种合理的担忧,因为证明系统由大量代码构成,一旦代码存在漏洞,攻击者可能窃取所有用户资产。对证明系统的信心越强(或者对安全委员会的信心越弱),就越有动力推动网络生态向后一个阶段迈进。
实际上,我们可以用简化的数学模型量化这一点。首先列出假设:
-
每个安全委员会成员有 10% 的“单独故障”可能性;
-
将活跃性故障(拒绝签署或密钥不可用)与安全性故障(签署错误事项或密钥被黑)视为同等可能事件。假设“失败”的安全委员会成员既签署了错误事项,又未能推进正确事项;
-
在阶段 0,安全委员会判定标准为 4/7,在阶段 1 为 6/8;
-
我们假设存在一个单一的整体证明系统(与 2/3 设计机制相对,安全委员会可以在两者意见矛盾时打破僵局)。因此,在阶段 2,安全委员会的存在无关紧要。
基于这些假设,考虑到证明系统崩溃的特定概率,我们希望最小化 L2 网络崩溃的可能性。
以下是通过二项分布计算得出的结果:
-
如果每个安全委员会成员有 10% 的独立故障概率,则在阶段 0 中,至少 4 个成员在 7 个中故障的概率为 ∑
(责任编辑:宏观研究)
以太坊价格或迎新一轮飙升:交易员押注年底达6000美元
10月31日富国致航量化选股股票A净值增长0.79%,近3个月累计上涨16.61%
bts2.0钱包
什么天什么冷
光大银行信用卡已还款为什么还显示本期还款多少,怎么查还款信息?
- 10月31日华安逆向策略混合C净值下跌0.57%,近1个月累计下跌4.23%
- CME 期货推出后 XRP 价格可能出现哪些变化
- Arthur Hayes has sold another million PENDLEs! I personally revealed the reason for my post
- 10月31日融通消费升级混合C净值下跌0.96%,近1个月累计下跌5.03%
- 穆迪下调评级导致股市、国债收益率和黄金价格暴跌
- 怎么弄比特币
- 盘点巨鲸们的近期仓位:Vitalik财富高位缩水3.4亿美元,TRX拉升助孙宇晨跑赢BTC
- meme币交易中心手机端下载平台 meme币交易中心官方版
-
冰锐采取大经销商制,由大经销商招募二三级经销商;RIO则采取一级经销原则,一个城市只设一个经销商。...[详细]
-
10月31日博时医疗保健行业混合A净值下跌0.38%,今年来累计下跌10.44%
那次投资大会几个人失望而归,回去之后团队就因资金问题解散了。...[详细]
-
摘要:如果雷军是一本书,这些年的起起落落就是最好看的地方。...[详细]
-
10月31日民生加银持续成长混合C净值增长1.89%,近6个月累计上涨24.86%
转眼到了2009年的国庆黄金周,杨国强也进入收获季节。...[详细]
-
连商业计划书也没要,联创策源与雷军就投了毕胜200万美元,2008年5月,乐淘网上线了,主攻玩具市场。...[详细]
-
10月31日华富消费成长股票C净值下跌0.97%,近1个月累计下跌5.68%
对于竞争更加激烈的2017年,卢山称魔力TV的计划是进一步丰富现有的内容品牌矩阵,以覆盖更多的行业类型,同时,以魔力时尚为例,团队将深入到更垂直的领域。...[详细]
-
2017年,专注于医学,财经,母婴,两性,衣食住行等专业知识类垂直内容更易获得资本青睐,垂直类短视频依旧是个因竞争而“动荡”的市场,诸多垂直领域尚未出现牢不可破的头部内容,...[详细]
-
(各领域关闭名单详见报告第四部分) 如果把时间播回到三年前,电子商务、O2O、社交、企业服务都正是资本的新宠,经历了36个月的“补贴——烧钱—&mda...[详细]
-
美国游客称在伦敦乘坐假 Uber 后被盗,价值 12.3 万美元的比特币和 XRP
根据读懂新三板研究中心的数据,截止2016年3月16日,新三板共有1700只“僵尸股”,其中1018家企业没有流通股,682家企业有流通股。...[详细]
-
贝莱德的BUIDL基金助力BounceBit推出全新RWA收益策略平台
摘要:今年格外的与众不同,自从大点的活动改为人工审核,就变成了内定,这点大家都心知肚明,这几年一路跟着马云走过天猫,天猫的大环境变了,小二权力太大,想让谁上活动就让谁,要是没有路子,抢购是绝对过不...[详细]