2025年起以太坊核心开发者社区更新超密集，目标L1 zkEVM

最近几个月，那些关注以太坊的人，都有这么一个明显的感受，啥感受，就是开发者的更新速度快得有点让人跟不上。从突然密集发布的路线图文件去看，核心团队正在下一盘很大的棋，那目标指向哪里，指向一个我们讨论了很多年但从未真正触及的终点，这个终点是什么，是让以太坊L1本身变成一个可被零知识证明验证的系统。

从L2回看L1的自我进化

过去两年，我们一直都在谈论，L2究竟怎样去拯救以太坊，EIP – 4844以及The Merge，二者都是为了达成降低L2成本、提升安全性这两点。然而，自2025年以来发布的多个三年到五年规划表明，开发者们开始察觉到一个更为根本的问题：L1绝不能仅仅充当结算层，它自身同样需要进行进化。有八条并行开展推进功能性质执行运转的技术路线，每一条路线都在去往指向通向同一个目标——使得让以太坊主网获取拥有可验证计算的能力。

这种转变并非是对L2路线予以否定，恰恰相反的是，它是要促使L1和L2达成真正的协同配合。当L1自身拥有了ZK友好特性之际，L2的证明验证成本将会进一步下降，且整个网络的安全模型也会变得越发简洁以及更具可扩展性。

重构执行层的底层逻辑

Verkle树的技术突破

这一系列改造里，最基础的一环是Verkle树，它要解决以太坊状态数据过于庞大的问题，在验证状态时，通过新的数据结构让节点仅需很小的证据，这项 工作直接决定无状态客户端能否落地，还为后续的ZK证明提供清晰的输入边界。

当前，多个客户端团队已然于测试网上对Verkle树的可行性予以验证，一旦主网达成迁移，以太坊的节点运行门槛便会大幅降低，普通的笔记本电脑乃至手机都存在运行验证节点的可能性，这对于去中心化而言是实实在在的进步。

无状态客户端的双重意义

没有状态的客户端所具备的核心价值之处在于，节点对区块进行验证的时候，不再需要去维护完整的本地状态数据库。它仅仅只需要依靠区块所附带的那一小部分证据，便能够将验证工作给完成。这项技术紧密绑定于Verkle树，两者必须同步向前推进，才可以产生效果。

站在L1 zkEVM的视角去看，无状态客户端存在着一项潜藏的价值，那就是它为证明系统界定了一清二楚的工作范畴，证明者只要处理证据里涵盖的数据就行，并非整个以太坊状态，如此一来，使得生成证明的计算变得能够施行且高效。

证明系统的标准化竞赛

可插拔的证明接口设计

当前ZK领域里的技术路线繁杂多样，不存在谁具备绝对优势，所以以太坊的举措颇为明智，并非押注于单一方案，而是在协议层面界定出一个标准化的证明接口，不同的证明系统能够借助这个接口接入主网，先是相互竞争，再是彼此外在兼容。

这个思路持续着以太坊向来的模块化哲学，它让技术能够不断迭代，今日的STARKs，明日的其他方案，只要符合接口要求，均可毫无阻碍地对接。最终受惠的是整个生态里的开发者以及用户。

递归证明解决性能瓶颈

就单个区块而言，生成ZK证明这一行为所需的成本是很高的，而且花费的时间极有可能远远超过设定的12秒出块间隔，这可是L1 zkEVM务必要去解决的实实在在的问题，递归证明技术具备这样一种特性，它能够准许把多个区块的证明融合成为一个个的，并且验证成本会伴随聚合数量的增多而被大幅度地摊薄。

PSE团队当下正推进着这项工作，其进展相较于预期而言更快。倘若递归证明得以成熟，那么L1 zkEVM的经济模型便能够站稳脚跟。不然的话，高昂的证明成本会致使整个设计仅仅停留在纸面上。

开发者的透明迁移保障

兼容既有合约的生命线

有一个硬约束存在于一切底层技术改造之中，即绝不能够对现有的几十万份智能合约造成影响。开发者是绝不可以因以太坊升级就去重写代码的，工具链也绝对不许断裂。这所意味的是，L1 zkEVM对于上层必须要做到完全透明，合约开发者甚至根本无法察觉到底层发生了改变。

这便要求形式化验证与原生ZK支持务必要达成完美兼容，EVM的每一条指令需重新梳理成可验证的规范。EVM的每一个状态转换规则同样要重新梳理成可验证的规范，这项工作枯燥然而至关重要，其决定了升级能否平稳落地。

形式化验证的工程化落地

将EVM写成形式化规范，并非仅仅是学术方面的探究，而具有重要意义。原因在于，这意味着以太坊的行为能够借助数学方式予以验证，以至于不再依赖人的理解以及共识。对于一个承载着千亿美金资产的网络而言，这是必然要走的道路。

当下，多个展开研究的团队，正将此项工作并行推进着。尽管其进度迟缓，然而，每达成其中一部分，以太坊的安全基线便会提升一个层级。其终极目标是使整个EVM的执行路径均能够被形式化验证所覆盖。

基础设施叙事的回归

这一回，那密集的路线图被发布，恰恰撞上市场对ETH价格表现心里存有疑虑，从叙事的层面去看，它最为重要的价值在于把以太坊重新界定为“基础设施”可不是仅仅的资产。要是L1 zkEVM最终实现落地，以太坊将会变成整个Web3世界的可验证信任根。

链上的任何状态，最终都能够借助一串ZK证明，追溯至以太坊主网。这种处于数学层面的可信链接，对于跨链互操作以及机构采用而言，具备决定性意义。其价值并非能够在短期内实现兑现，不过却指明了长期的发展方向。

开发者文化的独特体现

同步推进八条彼此相互依赖的技术工作线，它们中的每一条都是多年级别的工程，而且要维持去中心化的协调方式，这本身就是以太坊当做一个协议所具备的独特能力不存在中心化公司进行指挥，各个团队依据共识自主认领任务。

这种文化致使以太坊的进化速度没办法如同商业公司那般迅速，不过每一步均历经了充分的博弈。一旦落地便很难遭到推翻。那些对以太坊的慢有所抱怨的人，常常低估了这种慢所产生的安全性以及持久性。

你觉得，在L1 zkEVM这标明的八条技术路线里头，究竟哪一条对于以太坊的长久价值获取而言是最为关键的呢？欢迎于评论区域分享你所秉持的观点，恳请点赞以及转发从而能够让更多的人参与到探讨当中来。