原生 Rollup 是什么?当 Rollup 的执行交给 L1 验证者裁决 图 1
原生 Rollup 是什么?当 Rollup 的执行交给 L1 验证者裁决 · 图 1

一句话理解

原生 Rollup 是一类还在纸面讨论中的 Rollup 设计:给以太坊加一个执行预编译,让 Rollup 把一批用户交易连同前后状态根交给它,由所有以太坊验证者用自己在跑的 EVM 直接裁决这批计算对不对。Rollup 代码塌缩成一圈很小的系统逻辑,不再背着几千行验证合约或挑战博弈。这个设想出自 2025 年 1 月发布于研究论坛 ethresear.ch 的一篇提案,尚未进入任何升级。

一个 Rollup 的信任坐在哪

任何 Rollup 的架构至少回答三个问题:谁定交易顺序,谁保证数据可取回,谁来裁决状态转换没算错。前两项近年方案渐多,最难的是第三项:链上验证零知识证明要付很高的 gas,多数 EVM 等价链于是把裁决委托给证明系统,再给证明系统配一个委员会兜底。提案的论点很直接——想让以太坊的规则替这批计算背书,最干净的办法是让规则本身可被程序调用。因为执行由全体验证者完成,它继承执行客户端多样性,一处实现的漏洞不等于全网失守;EVM 规则随硬分叉升级时,这类 Rollup 跟着一起同步,不必靠治理流程追补丁。

Rollup 把状态转换交给 L1 执行预编译裁决的结构示意(AI 生成概念图)

与基于 Rollup、执行分片的边界

提案专门划清两个易混概念。基于 Rollup 关乎排序——区块顺序由 L1 的出块者决定;原生 Rollup 关乎执行——状态转换由 L1 的执行引擎裁决。一个关乎谁排,一个关乎谁判,两者正交,同时满足的组合在文中有个玩笑式的绰号。与执行分片的差别在于可编程性:执行分片通常是一条不可自定义的 EVM 复制品,原生 Rollup 则保留自定义治理、自定义 gas 代币、强制包含通道这些系统逻辑的接缝,只是把状态转换的重活外包给预编译。另一处关键取舍是证明放不放链上:提案倾向把预编译的零知识证明留在链下共享,链上只在必要时触发,避免每批都付 SNARK 验证费。

分歧集中在哪

提案者自己也列了前提与代价。第一是迁移现实:各条 L2 已经在指令、预编译与系统合约行为上偏离 L1,且偏离方式互不相同,预编译必须能容忍这些分叉,或者接受一批应用重写。第二是资源计量:预编译每次调用按什么 gas 计费、恶意构造的调用如何限制,是留给实现的问题。第三是失败路径:证明系统被攻破后如何回退、由谁担保回退资金,讨论仍在进行。2025 年 1 月另一篇讨论扩容路线的文章同样把这类预编译列为早期想法,并强调理想形态要足够灵活——不止验证一模一样的 EVM,还要支持带修改的执行环境,自己只对外包改动部分出证明。提案同时给出配套设想:为了让排序保持无许可,作者倾向保留一条链上强制包含通道,任何人都能把交易塞进收件箱;在预编译接管裁决之后,乐观与零知识方案常配的证明网络、瞭望塔这类辅助基础设施也有望随之瘦身。这些设想能否按原样落地,取决于实现与安全审计的进展,目前都属于研究阶段。

对普通用户意味着什么

在提案成立的世界里,一条 EVM 等价 L2 的信任画像会简化:少一个可能被迫沉默的委员会,多一条与 L1 同步升级的规则通道;代价是可定制空间收窄,更深的规则改动都要过 L1 的升级流程。对用户当前可见的变化是零:没有已部署的 EXECUTE 预编译,没有任何主网 Rollup 以此模式运行。核验任何相关说法时先分三层——这是提案、实现,还是已激活的协议功能;本文讨论的机制全部出自提案与研究文章,状态截至其发布时点,后续进展以官方文档为准。本文只做技术梳理,不构成投资建议。