L1 zkEVM如何重写以太坊规范：从Rollup到可验证计算的演变

自2025年以来，以太坊开发者社区展现出前所未有的更新频率和对其在加密生态系统中角色的重新思考。在关于ETH价格动态的讨论背景下，以太坊基金会推出了雄心勃勃的路线图（Strawmap），描述了未来几年协议的技术演进。这份规范不仅仅是技术增强——它是对以太坊本身的质的转变：从L2的计算层到整个去中心化经济的可信验证基础。

这一转变意味着，每一个L1状态执行步骤都可以通过零知识证明进行压缩和验证。这不是复制L2 zkEVM项目（如zkSync、Starknet、Scroll），而是根本不同的目标：将以太坊的执行层转变为与ZK兼容的系统。如果L2 zkEVM是在以太坊之上构建ZK世界，那么L1 zkEVM就是将以太坊自身转变为这个层级。

三个转型方向：从可编程注册表到可验证基础设施

过去十年中，以太坊的发展伴随着其概念基础和技术优先级的逐步演变。第一个阶段（2015–2020）强调以太坊是一个比比特币更强大的可编程注册表。智能合约、DeFi、NFT、DAO——这一切都源自于区块链上通用计算能力的基础故事。

第二个阶段（2021–2023）将焦点转向通过Layer 2解决方案实现扩展。随着Gas费的上涨，普通用户难以在L1上进行交易，Rollup方案开始占据主导。以太坊逐步重新定义自己为数据层和最终确认层，为L2提供安全基础。The Merge和EIP-4844正是为了这一目标。

第三个阶段（2024–2025）标志着更深层次的反思。悖论在于，L2的繁荣导致L1价值的拆解：用户迁移到Arbitrum、Base、Optimism，少与L1直接交互。这引发了社区的关键问题：如果L2吸引了所有用户，L1的价值从何而来？

对Strawmap关键技术方向的分析给出了答案。Verkle树、无状态客户端、EVM的形式验证、原生支持ZK——这些方向都指向一个目标：赋予以太坊L1自身的可验证性。这是质的飞跃，也是L1 zkEVM的高潮。

规范是基础：为何8个工作线改变以太坊架构

理解Strawmap中技术变革的关联性，最好的方式是将这8个工作线视为一个支撑彼此的整体架构系统。

工作线1：将EVM规范化为基础

规范不是抽象概念——它是对每条指令和状态转变规则的数学定义。目前，EVM的行为由客户端实现（Geth、Nethermind）定义，而非正式规范。这意味着在极端情况下行为可能不同。为了构建零知识证明电路，不能依赖模糊的系统。因此，第一条也是最重要的工作线——将每个EVM方面形式化，使其可以进行数学验证。

工作线2：用ZK兼容的哈希函数替代

以太坊广泛使用Keccak-256，但它在ZK电路中成本较高。主要任务是逐步用ZK友好的哈希函数（Poseidon、Blake系列）替换Keccak，特别是在状态树和Merkle证明中。这是系统性变革，因为哈希函数贯穿整个协议。

工作线3：用Verkle树取代Merkle Patricia树

Verkle树用向量承诺取代哈希链，显著减小证明大小。对L1 zkEVM而言，这意味着：更少的区块证明数据，更快的证明生成，以及Verkle树成为实现L1 zkEVM的关键前提。

工作线4：无状态客户端（Stateless Clients）

无状态客户端可以在不存储完整状态数据库的情况下验证区块，只需提供见证数据。这与Verkle树紧密相关，因为可行性依赖于证明的大小。对L1 zkEVM而言，这具有双重效果：降低节点硬件要求，明确证明输入数据的边界。

工作线5：ZK证明标准化

L1 zkEVM需要成熟的证明生成体系，但ZK领域目前碎片化严重。此线目标是定义协议层面的标准接口，促使不同系统竞争。PSE（隐私与扩展探索）团队在此方面经验丰富。

工作线6：执行层与共识层的解耦

目前，执行层（EL）与共识层（CL）通过Engine API交互。在L1 zkEVM中，每次状态变更都需生成ZK证明，可能超出区块间隔。需要解耦执行与证明生成，保证执行快速，证明异步生成。

工作线7：递归与聚合证明

单个区块的证明生成成本高，但通过递归聚合多个区块到一个证明，可以大幅降低验证成本。这一进展将直接影响L1 zkEVM的工作成本。

工作线8：开发者工具与EVM兼容性

所有底层升级都必须对智能合约开发者透明：数以万计的合约不应变得不可用。这条线被低估，但耗时最长。每次EVM升级都需大量回归测试。L1 zkEVM的变更超越以往，工具链的工作量也将成倍增长。

为什么现在：对以太坊作为可验证基础设施的重新评估

发布Strawmap正值ETH价格走势存疑之际，但真正的价值在于重新定义以太坊作为长期基础设施的角色。

对开发者而言，Strawmap提供了明确的方向和投资信心。对用户而言，这些改进带来显著体验：交易秒级确认，资产无缝在L1和L2间转移，隐私成为内置功能而非附加。

客观来看，L1 zkEVM不会很快出现——完整实现预计在2028–2029年或更晚。但它从根本上重新定义了以太坊的价值主张。如果L1 zkEVM成功，以太坊将不再只是L2的计算层，而是成为整个Web3世界的可验证信任基础，使任何状态链都能以数学方式追溯到以太坊ZK证明链。

这也影响L2生态的长远布局。当L1具备ZK能力，L2的角色将演变——从“安全扩展方案”到“专用执行环境”。未来几年，哪些L2能在这一新架构中找到位置，将成为最令人关注的演进过程。

最重要的是，L1 zkEVM展现了以太坊的独特能力：同时推进八个相互依赖的技术线，每一条都是多年项目，保持去中心化的协调方式。这正是其工程雄心的体现。

通过规范演进：从Rollup导向到可验证计算

以太坊叙事的演变——从2021年的“以Rollup为中心”到2026年的Strawmap——展现了清晰的轨迹：扩展不能仅依赖L2，L1和L2必须共同发展、协同演进。

这八条L1 zkEVM工作线，是这一思路转变的技术体现。每条线都旨在：在不牺牲去中心化的前提下，指数级提升主网性能。这不是否定L2路径，而是对其的优化和有机补充。

未来三年，生态系统将经历七次协议分支，替换其架构中的众多组件。到2029年，或许我们会看到真正的“全球可验证计算层”——快速、安全、私密、开放的基础设施。规范不仅是机制，更是以太坊作为去中心化未来基础设施的承诺。