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

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

豆包大模型
豆包大模型

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

WorkBuddy
WorkBuddy

腾讯云推出的AI原生桌面智能体工作台

腾讯元宝
腾讯元宝

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

文心一言
文心一言

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

讯飞写作
讯飞写作

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

即梦AI
即梦AI

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

ChatGPT
ChatGPT

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

相关专题

更多
TypeScript类型系统进阶与大型前端项目实践
TypeScript类型系统进阶与大型前端项目实践

本专题围绕 TypeScript 在大型前端项目中的应用展开,深入讲解类型系统设计与工程化开发方法。内容包括泛型与高级类型、类型推断机制、声明文件编写、模块化结构设计以及代码规范管理。通过真实项目案例分析,帮助开发者构建类型安全、结构清晰、易维护的前端工程体系,提高团队协作效率与代码质量。

26

2026.03.13

Python异步编程与Asyncio高并发应用实践
Python异步编程与Asyncio高并发应用实践

本专题围绕 Python 异步编程模型展开,深入讲解 Asyncio 框架的核心原理与应用实践。内容包括事件循环机制、协程任务调度、异步 IO 处理以及并发任务管理策略。通过构建高并发网络请求与异步数据处理案例,帮助开发者掌握 Python 在高并发场景中的高效开发方法,并提升系统资源利用率与整体运行性能。

46

2026.03.12

C# ASP.NET Core微服务架构与API网关实践
C# ASP.NET Core微服务架构与API网关实践

本专题围绕 C# 在现代后端架构中的微服务实践展开,系统讲解基于 ASP.NET Core 构建可扩展服务体系的核心方法。内容涵盖服务拆分策略、RESTful API 设计、服务间通信、API 网关统一入口管理以及服务治理机制。通过真实项目案例,帮助开发者掌握构建高可用微服务系统的关键技术,提高系统的可扩展性与维护效率。

178

2026.03.11

Go高并发任务调度与Goroutine池化实践
Go高并发任务调度与Goroutine池化实践

本专题围绕 Go 语言在高并发任务处理场景中的实践展开,系统讲解 Goroutine 调度模型、Channel 通信机制以及并发控制策略。内容包括任务队列设计、Goroutine 池化管理、资源限制控制以及并发任务的性能优化方法。通过实际案例演示,帮助开发者构建稳定高效的 Go 并发任务处理系统,提高系统在高负载环境下的处理能力与稳定性。

51

2026.03.10

Kotlin Android模块化架构与组件化开发实践
Kotlin Android模块化架构与组件化开发实践

本专题围绕 Kotlin 在 Android 应用开发中的架构实践展开,重点讲解模块化设计与组件化开发的实现思路。内容包括项目模块拆分策略、公共组件封装、依赖管理优化、路由通信机制以及大型项目的工程化管理方法。通过真实项目案例分析,帮助开发者构建结构清晰、易扩展且维护成本低的 Android 应用架构体系,提升团队协作效率与项目迭代速度。

92

2026.03.09

JavaScript浏览器渲染机制与前端性能优化实践
JavaScript浏览器渲染机制与前端性能优化实践

本专题围绕 JavaScript 在浏览器中的执行与渲染机制展开,系统讲解 DOM 构建、CSSOM 解析、重排与重绘原理,以及关键渲染路径优化方法。内容涵盖事件循环机制、异步任务调度、资源加载优化、代码拆分与懒加载等性能优化策略。通过真实前端项目案例,帮助开发者理解浏览器底层工作原理,并掌握提升网页加载速度与交互体验的实用技巧。

102

2026.03.06

Rust内存安全机制与所有权模型深度实践
Rust内存安全机制与所有权模型深度实践

本专题围绕 Rust 语言核心特性展开,深入讲解所有权机制、借用规则、生命周期管理以及智能指针等关键概念。通过系统级开发案例,分析内存安全保障原理与零成本抽象优势,并结合并发场景讲解 Send 与 Sync 特性实现机制。帮助开发者真正理解 Rust 的设计哲学,掌握在高性能与安全性并重场景中的工程实践能力。

227

2026.03.05

PHP高性能API设计与Laravel服务架构实践
PHP高性能API设计与Laravel服务架构实践

本专题围绕 PHP 在现代 Web 后端开发中的高性能实践展开,重点讲解基于 Laravel 框架构建可扩展 API 服务的核心方法。内容涵盖路由与中间件机制、服务容器与依赖注入、接口版本管理、缓存策略设计以及队列异步处理方案。同时结合高并发场景,深入分析性能瓶颈定位与优化思路,帮助开发者构建稳定、高效、易维护的 PHP 后端服务体系。

532

2026.03.04

AI安装教程大全
AI安装教程大全

2026最全AI工具安装教程专题:包含各版本AI绘图、AI视频、智能办公软件的本地化部署手册。全篇零基础友好,附带最新模型下载地址、一键安装脚本及常见报错修复方案。每日更新,收藏这一篇就够了,让AI安装不再报错!

171

2026.03.04

热门下载

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

精品课程

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

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