0

0

Vitalik分析:以太坊Rollup L2何时进入阶段1和阶段2最佳

霞舞

霞舞

发布时间:2025-05-13 14:00:12

|

409人浏览过

|

来源于php中文网

原创

以太坊rollup安全性的三个“阶段”可以根据安全委员会何时被允许覆盖无需信任(即纯加密或博弈论)组件来描述:

  • 阶段 0:安全委员会拥有完全控制权。可能存在一个证明系统(乐观证明或零知识证明),但安全委员会可以通过简单多数票推翻该系统。因此,该证明系统“仅供参考”。

  • 阶段1:安全委员会获得 75%(至少 8 人中的 6 人)批准即可推翻。达到法定人数阻止的子集(即 >= 3 人)必须位于主要组织之外。因此,推翻证明系统的门槛很高,但并非不可逾越。

  • 阶段2:只有在存在可证明的漏洞的情况下,安全理事会才能采取行动。可证明的漏洞可能是两个冗余证明系统(例如OP和ZK)彼此不一致的情况。如果存在可证明的漏洞,它只能在提议的答案中选择一个:它不能随意回答。

我们可以用一张图表来模拟这一情况,显示安全理事会在每个阶段的“投票份额”:

Vitalik分析:以太坊Rollup L2何时进入阶段1和阶段2最佳

一个重要的问题是:L2从阶段0进入阶段 1,以及从阶段1进入阶段2何时是最佳的?

不立即进入阶段2的唯一正当理由是,你并不完全信任证明系统——这种担忧是可以理解的:它包含大量代码,如果代码被破解,攻击者就有可能窃取所有用户的资产。

你对证明系统越有信心(或者,反过来说,你对安全委员会越没有信心),你就越想向右走。

事实证明,我们可以用一个简化的数学模型来量化这一点。

让我们列出假设:

  • 每个安理会成员都有 10% 的独立机会“崩溃”

  • 我们将活跃性故障(拒绝签名或密钥无法访问)和安全故障(签名错误或密钥被黑客入侵)视为同等可能发生的情况。实际上,我们只假设一种“故障”情况,即“故障”的安理会成员既签署了错误的内容,又未能签署正确的内容。

  • 在阶段0,安全理事会是 7 个中的 4 个,在阶段1,安全理事会是 8 个中的 6 个。

  • 我们假设一个单一的整体证明系统(而不是像 2/3 的设计那样,如果双方意见不一致,安全理事会可以中断关系)。因此,在阶段2,安全理事会根本不重要。

给定这些假设,并且给定证明系统崩溃的特定概率,我们希望最小化 L2 崩溃的概率。

我们可以用二项分布来做到这一点:

  • 如果每个安全理事会成员都有 10% 的独立崩溃概率,那么 7 个成员中至少有 4 个崩溃的概率是,阶段0 Rollup 失败的概率固定为 0.2728%。

  • 如果证明系统失败,并且安全委员会出现 >= 3 次失败,则阶段1 Rollup可能会失败,因此它无法覆盖(概率  乘以证明系统失败率),或者如果安全理事会发生 6 次以上失败,并且可以自行强制给出错误答案(固定可能性)

  • 阶段2 Rollup 崩溃的概率恰好等于证明系统失效的概率

图表形式如下:

Vitalik分析:以太坊Rollup L2何时进入阶段1和阶段2最佳

正如推测的那样,随着证明系统质量的提高,从阶段 0 转到阶段 1,然后从阶段 1 转到阶段 2的最佳时机上图。

使用阶段 0 质量的证明系统执行阶段 2 是最糟糕的。

现在,请注意上述简化模型中的假设非常不完善:

  • 实际上,安全理事会成员并不是独立的,并且存在“常见模式故障”:他们可能串通一气,或者都以同样的方式受到胁迫或黑客攻击等。要求在主要组织之外设立一个法定人数阻止子集是为了缓解这种情况,但这还远远不够完美。

  • 证明系统本身可以是多个独立系统的组合(这正是我在此前文章中倡导的 )。在这种情况下,(i) 证明系统被攻破的概率最终会非常低;(ii) 即使在阶段2,安全委员会也发挥着决定性作用,可以打破僵局。

这两个论点都暗示阶段1和阶段2比图表显示的更具吸引力。如果你认真计算一下,你会发现阶段0几乎永远没有道理:你至少应该直接进入阶段1。但有一个简单的解决办法:允许任何一个安理会成员将取款许可推迟1到2周,让其他所有成员都有足够的时间采取行动。

但与此同时,过快进入阶段2也是错误的 ,尤其是如果进入阶段2的工作是以牺牲强化底层证明系统的工作为代价的。理想情况下,像l2beat这样的数据提供商应该在阶段推进的同时,展示证明系统审计和成熟度指标(最好是证明系统实现的审计和成熟度指标,而不是整个 rollup 的审计和成熟度指标,以便我们能够重复使用)。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
俄罗斯Yandex引擎入口
俄罗斯Yandex引擎入口

2026年俄罗斯Yandex搜索引擎最新入口汇总,涵盖免登录、多语言支持、无广告视频播放及本地化服务等核心功能。阅读专题下面的文章了解更多详细内容。

75

2026.01.28

包子漫画在线官方入口大全
包子漫画在线官方入口大全

本合集汇总了包子漫画2026最新官方在线观看入口,涵盖备用域名、正版无广告链接及多端适配地址,助你畅享12700+高清漫画资源。阅读专题下面的文章了解更多详细内容。

17

2026.01.28

ao3中文版官网地址大全
ao3中文版官网地址大全

AO3最新中文版官网入口合集,汇总2026年主站及国内优化镜像链接,支持简体中文界面、无广告阅读与多设备同步。阅读专题下面的文章了解更多详细内容。

38

2026.01.28

php怎么写接口教程
php怎么写接口教程

本合集涵盖PHP接口开发基础、RESTful API设计、数据交互与安全处理等实用教程,助你快速掌握PHP接口编写技巧。阅读专题下面的文章了解更多详细内容。

1

2026.01.28

php中文乱码如何解决
php中文乱码如何解决

本文整理了php中文乱码如何解决及解决方法,阅读节专题下面的文章了解更多详细内容。

3

2026.01.28

Java 消息队列与异步架构实战
Java 消息队列与异步架构实战

本专题系统讲解 Java 在消息队列与异步系统架构中的核心应用,涵盖消息队列基本原理、Kafka 与 RabbitMQ 的使用场景对比、生产者与消费者模型、消息可靠性与顺序性保障、重复消费与幂等处理,以及在高并发系统中的异步解耦设计。通过实战案例,帮助学习者掌握 使用 Java 构建高吞吐、高可靠异步消息系统的完整思路。

8

2026.01.28

Python 自然语言处理(NLP)基础与实战
Python 自然语言处理(NLP)基础与实战

本专题系统讲解 Python 在自然语言处理(NLP)领域的基础方法与实战应用,涵盖文本预处理(分词、去停用词)、词性标注、命名实体识别、关键词提取、情感分析,以及常用 NLP 库(NLTK、spaCy)的核心用法。通过真实文本案例,帮助学习者掌握 使用 Python 进行文本分析与语言数据处理的完整流程,适用于内容分析、舆情监测与智能文本应用场景。

23

2026.01.27

拼多多赚钱的5种方法 拼多多赚钱的5种方法
拼多多赚钱的5种方法 拼多多赚钱的5种方法

在拼多多上赚钱主要可以通过无货源模式一件代发、精细化运营特色店铺、参与官方高流量活动、利用拼团机制社交裂变,以及成为多多进宝推广员这5种方法实现。核心策略在于通过低成本、高效率的供应链管理与营销,利用平台社交电商红利实现盈利。

122

2026.01.26

edge浏览器怎样设置主页 edge浏览器自定义设置教程
edge浏览器怎样设置主页 edge浏览器自定义设置教程

在Edge浏览器中设置主页,请依次点击右上角“...”图标 > 设置 > 开始、主页和新建标签页。在“Microsoft Edge 启动时”选择“打开以下页面”,点击“添加新页面”并输入网址。若要使用主页按钮,需在“外观”设置中开启“显示主页按钮”并设定网址。

52

2026.01.26

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Css3入门视频教程
Css3入门视频教程

共21课时 | 3.8万人学习

兄弟连高洛峰CSS3视频教程
兄弟连高洛峰CSS3视频教程

共20课时 | 4万人学习

CSS3进阶视频教程
CSS3进阶视频教程

共11课时 | 2.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号