Vitalik探讨Rollup「完全去中心化」进程:系统足够安全是关键
Loopring 协议创办人 Daniel Wang 于 5 月 4 日在 X 平台上针对以太坊 L2 Rollup 的去中心化安全性问题发表了看法,引来了以太坊创办人 Vitalik Buterin 的回应。两人讨论的焦点集中在 Rollup 何时应从中心化或部分去中心化(Stage 0 或 Stage 1)转向完全去中心化(Stage 2),以及如何确保这一过程的安全性。
Daniel Wang:代码成熟度是 Rollup 安全的关键
Daniel Wang 强调,代码的实战成熟度对确保系统稳定性至关重要。他认为,即使 Rollup 达到完全去中心化的第二阶段(Stage 2),若其代码未经真实环境的压力测试,仍可能存在漏洞,无法抵御以利润为动机的黑客攻击,例如国家支持的 Lazarus 集团。
因此 Daniel Wang 指出,Rollup 管理着大量资产,必须在高经济压力下证明代码的可靠性。对此他提出了「#BattleTested」标签作为独立评估标准,专注于代码成熟度,与 L2Beat 的阶段模型(Stage 0-2)分开评估。具体标准包括:
· 代码在以太坊主网上运行超过 6 个月;
· 持续保护至少 1 亿美元的总锁定价值(TVL),其中至少 5,000 万美元为 ETH 和主要稳定币;
· 每次代码升级后,需重新通过考验以保留标签。
Daniel Wang 在推文中这样写道:
1/ 并非所有代码都生而平等。一个 Rollup 可能达到第二阶段,但执行的却是从未在真实压力下测试的新代码。
2/ 我提议一个独立的标签:#BattleTested。一个 Rollup 若其当前代码和配置已在以太坊主网上运行超过 6 个月,且持续保护超过 1 亿美元的总锁定价值(TVL),其中至少 5,000 万美元为 ETH 和主要稳定币,则可称为 #BattleTested。
3/ #BattleTested 并非永久的。任何升级都会重置计时。Rollup 必须再次通过在实际价值下的生产环境证明其运作来重新获得此标签。
4/ 此标签独立于 @l2beat 的阶段模型。一个 Rollup 可能达到第二阶段但未获 #BattleTested,或者已获 #BattleTested 但未达第二阶段。一个关于去中心化,另一个关于代码成熟度。
5/ @taikoxyz 的目标是达到第二阶段,并使用 #BattleTested 的代码进行升级(我们可能需要另一个以太坊测试 Rollup……)。
Vitalik Buterin:去中心化需证明系统足够可靠
对于 Daniel Wang 的观点,Vitalik 则强调,Rollup 去中心化的时机应基于证明系统(Proof System)的可靠性,只有当其故障概率低于中心化风险时才适合进入 Stage 2。他提出了一个简化数学模型,假设安全委员会成员有 10% 的独立故障概率(包括活性失败或安全性失败),比较 Stage 0(4-of-7 多重签名)、Stage 1(6-of-8 多重签名)与 Stage 2 的个别安全性。
Vitalik 续指出,现实中安全委员会可能因共谋或同时被攻击而出现「共同模式失败」,使得 Stage 0 和 Stage 1 的安全性低于模型预测,因此实际上应更早进入 Stage 2。他主张将证明系统设计为多重签名结构,以降低故障概率,并建议 L2Beat 纳入证明系统的审计与成熟度指标,以提升跨项目评估效率:
以下是显示何时进入第二阶段的简化数学模型。
> 假设:每个安全委员会成员有独立的 10%「故障」概率。
> 我们将活性失败(拒绝签署或密钥无法访问)与安全性失败(签署错误内容或密钥被黑)视为同等概率。
> 目标:在上述假设下最小化协议故障的概率。
> 第零阶段安全委员会为 7 人中需 4 人同意,第一阶段为 8 人中需 6 人同意。
请注意,这些假设非常不完美。现实中,安全委员会成员存在「共同模式失败」:他们可能共谋,或全被胁迫,或以相同方式被黑等。这使得第零阶段和第一阶段的安全性低于模型显示,因此进入第二阶段的最佳时机比模型暗示的更早。
此外,证明系统的故障概率可通过将证明系统本身设为多个独立系统的多重签名来大幅降低。我猜测最初几年的所有第二阶段部署都将采用这种方式。考虑到这些,以下是图表。X 轴为证明系统故障的概率,Y 轴为协议故障的概率。
随着证明系统质量提高,最佳阶段从第零阶段转向第一阶段,再从第一阶段转向第二阶段。使用第零阶段质量的证明系统进行第二阶段是最糟糕的。简而言之:@l2beat 理想上应展示证明系统的审计和成熟度指标(最好针对证明系统实现,而不是整个 Rollup,以便重复使用),并与阶段一同显示。
原文链接
(责任编辑:商业)
-
步骤二:HTML静态页面切图,所用技术HTML+DIV+CSS这些,这项工作的目的就是讲设计好的效果图进行切片、代码编写,尽可能100%还原成效果图的HTML网页,这项工作的重要性也不言而喻,他的...[详细]
-
SEC 指控 Unicoin 及其三名高管涉嫌 1 亿美元证券欺诈
张强(蜻蜓FM):作为一个互联网的音频平台,其实早期的时候一直在做转型。...[详细]
-
投資 FTX 賠上億美元,私募基金 Thoma Bravo 創辦人誓言「永不再碰」加密貨幣
彼时,正在火热发展的民宿,尤其是乡村民宿再度引发了社会各界的高度关注。...[详细]
-
二、软文内容需要简短、实用、美观 有了个好的标题骗取了点击阅读后,软文的内容也很重要,写软文时,观点一定要分明,让读者很快就能了解整篇文章的内容讲的是什么?可以将整篇内容进行合理的划分,用小标题...[详细]
-
Paypal、Venmo 支援以太坊域名服務(ENS),簡化加密貨幣支付
而自2016年以来,“互联网进入下半场”成为了业界高频词汇,透过词汇的表象去看背后的实质,则是以往互联网所盛行的“消费人口红利、得屌丝者得天下”的理...[详细]
-
但是,新能源车的政策正在慢慢收紧,牌照只会越来越珍贵。...[详细]
-
速读 BTC 生态撕逼大戏:Ordinals 创始人联合社区手撕“石本聪”,欺诈及运作节点猴获利数百万?
目前大多知识付费产品解决焦虑感的方式是在前期做心理营销,让人觉得买了课自己就会变得更好、并且比别人强,所以焦虑感的解决是在产生购买行为这个瞬间释放的。...[详细]
-
早在中世纪,宗教绘画上的神明是不允许有表情的,直到文艺复兴的前夜,一个叫乔托的画家,在一幅画着圣母玛利亚捧着死去的耶稣的画里,让她流露出悲伤的情感,宛如在漫长的黑夜里撕开透光的幕布,随后便是摧枯拉...[详细]
-
——网易云音乐用户@绿城小夜曲 在费翔《故乡的云》歌曲下方的评论 每个人的裂痕,最后都会变成故事的花纹。...[详细]
-
知乎已经成为高品质内容的第一品牌。...[详细]