作者:imToken
在 Interop 系列此前的文章中,我们分别探讨了 OIF(意图框架)和 EIL(互操作层),它们分别解决了跨链的意图标准化(让全网听懂你想做什么)和执行通道问题(让资金能标准化跑起来)。
但要实现完美的「单链体验」,还面临速度与信任的权衡。毕竟在目前的互操作体验中,要么忍受慢(如 Optimistic Rollup 需要等待 7 天挑战期才能确认最终性),要么牺牲去中心化(依赖多签桥的信任假设)。
要打破这个「不可能三角」,离不开一条横跨以太坊互操作路线图「加速(Acceleration)」与最终确定(Finalisation)的基础能力—— ZK 技术带来的「实时证明」(延伸阅读《以太坊 Interop 路线图:如何解锁大规模采用的「最后一公里」》)。
而刚刚激活的 Fusaka 升级中,不起眼的 EIP-7825,正是为这个终局扫清了最大的工程障碍。
一、Fusaka 升级背后,被低估的 EIP-7825
12 月 4 日,以太坊 Fusaka 升级正式在主网上激活,只是不像当年 Dencun 升级那样声势浩大,市场的聚光灯也多集中在 Blob 扩容与 PeerDAS 上,津津乐道于 L2 数据成本的进一步降低。
但在这场喧嚣之外,其实还有一个不起眼的提案 EIP-7825,为以太坊实现 L1 zkEVM 和实时证明扫清了最大障碍,甚至可以说正在悄悄为 Interop 的终局铺路。
在此次 Fusaka 升级中,大家关注的焦点几乎都在扩容上:Blob 容量扩充 8 倍,配合 PeerDAS 随机采样验证,让 DA(数据可用性)赛道的成本叙事彻底成为了历史。
确实,更便宜的 L2 是好事,但对于以太坊长远的 ZK 路线图来说,EIP-7825 才是真正的游戏规则改变者,因为它给以太坊的单笔交易设置了一个 Gas 上限(约 1678 万 Gas)。
众所周知,今年以太坊区块的 Gas Limit 已经提升至 6000 万,但即便上限不断提高,理论上如果有人愿意出极高的 Gas Price,他仍可以发送一笔超级复杂的「巨型交易(Mega-Transaction)」,直接占满整个区块的 6000 万 Gas 容量,进而堵塞整个区块。
这在以前也是允许的,但 EIP-7825 引入了新限制,即无论区块多大,单笔交易的消耗不能超 1678 万 Gas。
那为什么又要限制单笔交易大小?其实这个改动对普通用户转账毫无影响,但对 ZK Prover(证明生成器)来说,却是生与死的区别,这也与 ZK 系统生成证明的方式息息相关。
举个简单的例子,在 EIP-7825 之前,如果区块里包含一笔消耗 6000 万 Gas 的「巨型交易」,ZK Prover 就必须按顺序跑完这笔极其复杂的交易,无法拆分,无法并行,这就像是一条单车道高速公路,前面有一辆开得极慢的巨型卡车,后面所有的小车(其他交易)都得堵着等它过完。
那这无疑直接判了「实时证明」死刑——因为生成证明的时间完全不可控,可能需要几十分钟甚至更久。
而在 EIP-7825 之后,哪怕未来区块容量扩大到 1 亿 Gas,由于每笔交易都被强制限制在 1678 万 Gas 以内,每个区块都被拆解成了可预测、有界限、可并行处理的「小任务单元」,这意味着以太坊的证明生成,从一个棘手的「逻辑难题」,变成了一个纯粹的「堆算力问题(Money Problem)」:
只要能投入足够多的并行算力,我们就能在极短时间内同时处理这些被拆分的小任务,从而为巨大的区块生成 ZK 证明。
正如 Brevis 联创兼 CEO Michael 所言,EIP-7825 是未来 ZK 和以太坊 100 倍扩容之路上最被低估的升级,它让「实时证明」从「理论上不可能」变成了「工程上可调度」,只要我们可以通过并行计算解决算力问题,哪怕是 2 亿 Gas 的区块,也有望实现秒级证明,这不仅是 ZK 技术的突破,更是以太坊互操作层(EIL)能够实现秒级跨链结算的物理基础。
所以这次升级看起来可能不是重头戏,但实际上对于 ZK 路线图和 2026 年以太坊扩容的未来来说,却是一次巨大的突破。
二、L1 zkEVM:以太坊互操作的「信任锚点」
不过 EIP-7825 虽然通过限制单笔交易大小,为实时证明铺平了物理道路(可并行化),但这只是硬币的一面,另一面在于,以太坊主网自身如何利用这种能力?
这就涉及到了以太坊路线图中最硬核的叙事——L1 zkEVM。
长期以来,zkEVM 被视作扩展以太坊的「圣杯」,不仅因为其能解决性能瓶颈,更因为它重新定义了区块链的信任机制,其核心思路是让以太坊主网具备生成、验证 ZK 证明的能力。
换言之,未来以太坊的每个区块执行后,都能输出一份可验证的数学证明,使其他节点(尤其是轻节点和 L2)无需重复计算即可确认结果的正确性——如果把生成 ZK 证明的能力直接写进以太坊协议层(L1),提议者(Proposer)每打包一个区块并生成一个 ZK 证明,验证节点就不再需要重跑交易,只需要验证这个极小的数学证明。
这对互操作性意味着什么?
在 Interop 的语境下,L1 zkEVM 的意义远超扩容本身,可以说它是所有 L2 的「信任锚点」,毕竟如果以太坊 L1 能够实时生成证明,意味着所有的 L2 都可以实时、无信任地读取 L1 的最终状态,这将带来两个质变:
- 消除挑战期:链与链之间的确认时间将从「7 天(OP 机制)」压缩到「秒级(ZK 机制)」;
- 去中心化互联: 跨链不再需要信任第三方的多签桥,而是信任以太坊主网的数学真理;
这也是我们上一篇提到的 EIL(互操作层)能够真正跑通的物理基础——没有 L1 的实时最终性(Finality),L2 间的互操作就永远摆脱不了「延迟」的阴影。
目标有了(L1 zkEVM),物理限制也解除了(EIP-7825),那么具体的实现工具呢?
这就引出了 ZK 技术栈正在发生的微妙演进:从 zkEVM 转向 zkVM。
三、Fusaka & EIP-7825:互操作性路线图迎来解放
如果说 EIP-7825 是通过限制单笔交易大小,为 ZK 提供了「可并行的硬件环境」,那么 ZK 技术栈的演进,则是为了寻找「更高效的软件架构」,这虽然听起来像绕口令,但区别很大,也代表了 ZK 发展的两个阶段。
第一个阶段自然是 zkEVM,可以视为兼容派或者说改良派。
逻辑就是努力模仿以太坊 EVM 的每一个指令,让开发者尽量可以直接部署 Solidity 代码,减少迁移的成本与门槛。
换言之,zkEVM 的最大优势,就是与现有的以太坊应用程序兼容,大大减少了以太坊生态开发人员的工作量,他们可以重用大部分现有的基础设施和工具(包括执行客户端、区块浏览器、调试工具等)。
然而,也正因如此,由于 EVM 当初设计时并未考虑 ZK 友好性,为了兼容,zkEVM 的证明效率往往有天花板,证明时间要慢得多,历史包袱较重。
而 zkVM 则属于激进的革命派,直接构建了一个对 ZK 证明极其友好的虚拟机(如基于 RISC-V 或 WASM),以加快证明时间,并实现更好的执行速度和性能。
但也会失去与许多 EVM 功能的兼容性,以及使用现有工具(如低级调试器)的能力,不过目前一个明显的趋势是越来越多的 L2 项目开始卸下包袱,极致优化证明速度和成本,探索基于 zkVM 的架构。
那为什么说 Fusaka 升级是解锁器?
毕竟在 EIP-7825 之前,无论是 zkEVM 还是 zkVM,一旦遇到以太坊上的巨型交易,都会因为无法拆分任务而导致证明生成时间暴涨。
而现在,EIP-7825 强制将交易拆解为可预测的小单元,有了可并行环境,zkVM 这种高效架构就能发挥最大威力,哪怕是复杂的以太坊区块,放入 zkVM 中,配合并行算力,也能实现实时证明。
这对互操作意味着什么?zkVM 的普及叠加 EIP-7825,意味着生成证明的成本将大幅下降。当生成一个跨链证明的成本低到可以忽略不计,且速度快到像发邮件一样时,传统的「跨链桥」将彻底消失,取而代之的是底层的通用消息协议。
写在最后
正如之前几篇 Interop 系列文章中反复提到的那样,Interop 的终极目标并不只是资产「跨链」,也早不再只是局限于「资产桥」的概念,而是一整套系统级能力的统称,包括跨链数据通信、跨链逻辑执行、跨链用户体验、跨链安全与共识。
从这个角度看,Interop 可以理解为未来以太坊生态协议间的通用语言,它的意义不仅在于传输价值,更在于共享逻辑,而 ZK 在其中的角色是保证执行正确性,支撑实时状态验证,让跨域调用变得「敢做、能做」,甚至可以说,没有实时 ZK,就很难有真正可用的 Interop UX。
所以当 EIP-7825 在 Fusaka 升级中悄然激活,当 L1 zkEVM 逐步成为现实,我们正在无限接近那个终局:执行、结算、证明被后台完全抽象,用户全程感知不到链的存在。
这也是未来我们每个人所期待的 Interop 终局。
