原文作者:ChandlerZ,Foresight News
以太坊联合创始人 Vitalik Buterin 8 月 10 日发布了其 2023 年技术路线图与当前 Strawmap 的叠加对照图。其表示,整体重合度较高,但部分事项优先级上调(如量子安全)、部分被降低优先级(如 VDF、多项 EVM 改进)、部分方案被更优构造替代(如 Verkle 树先被统一二叉树替代、再被 PBT 替代,状态过期方案被新状态类型替代)。
当前路线图中出现了多项 2023 年完全未涉及的全新方向,反映优先级变化,包括强隐私保护首次被列为一级关注事项;在后量子背景下推进激进扩容;为辅助形式化验证对协议规范进行精简化处理,他表示 AI 的出现使得对全部协议内容进行完整形式化验证成为可能;引入区块与 gas 期货概念;引入原生 Rollup(此前 SNARK 技术尚不足够成熟);以及为「EVM 的未来」开放更多设计空间,协议未来或将向用户提供非 EVM 的指令集架构。
三项提案为私密转账补齐协议能力
强隐私保护是变化最明显的一项,2023 年路线图没有覆盖这组协议级设计,当前 Strawmap 已将隐私 L1 提高为协议级议题。Vitalik 点名的 keyed nonces、recent roots、精简隐私池和 wormholes 分别解决私密交易的并发、证明验证、共同匿名集和资金关联问题。
4 月提交的 EIP-8250 允许一个共享发送地址使用多组独立 nonce,避免某位用户的待处理交易阻塞同一隐私协议中的其他用户。5 月提交的 EIP-8272 允许私密支出证明引用近期承诺树根,无需在验证期间读取持续变化的应用状态。EIP-8182 则提议通过系统合约、共享屏蔽池和分离式证明架构,为 ETH 与 ERC-20 建立一个协议内隐私池。EIP-8250 和 EIP-8272 目前处于 Draft,EIP-8182 处于 Review,三者均没有确定的激活分叉。
目前各隐私应用分别维护资金池,用户和流动性被切割后,单个池的匿名集容易过小。EIP-8182 希望把多种资产集中到同一套协议内匿名集中,并通过可扩展的授权验证机制增加新的验证方法,减少升级时再次拆分用户的需要。
Wormholes 对应 EIP-7503 的零知识销毁证明,用户先把 ETH 转入密码学上无法花费的地址,再用零知识证明重新铸造等量 ETH,使公开链难以连接原始转账与新地址。该提案目前处于 Stagnant,规范和参考实现仍需完善,同时存在实现错误和重复铸造风险。隐私进入路线图一级目标,意味着以太坊开始同时改造账户、交易验证和基础层转账,离默认私密账户仍有多项协议与钱包工作。
量子迁移覆盖四处密码学
Vitalik 将量子安全上调优先级,并提出在后量子条件下继续扩容。风险分布普通账户使用的 ECDSA 签名、验证者使用的 BLS 签名、Blob 数据可用性使用的 KZG 承诺,以及部分 Rollup 和隐私应用采用的零知识证明系统等。当前量子计算机尚不足以攻破这些密码学,但更换全球网络中的账户和验证者密钥需要多年准备。
最新路线图列出 leanSPHINCS 签名聚合和 zkzk frames 等方向,并把递归 STARK 放在执行层、共识层和数据层共同使用。STARK 主要依赖哈希函数,能够避开部分椭圆曲线密码学的量子风险,也可以把大量计算压缩为更容易验证的证明。以太坊基金会已经设立专门的后量子团队,目前给出的时间口径是 L1 协议升级可能在 2029 年完成,执行层全面迁移还可能再花数年,且没有固定完成日期。
STARK 还与协议精简和形式化验证相连,Vitalik 7 月提出的 Extremely Lean Chain 设想把第一阶段的单个验证者状态压缩至 6 字节,第二阶段进一步降至 1 字节,并让验证者通过零知识证明更新余额和每日轮换公钥。Vitalik 认为现代 AI 工具让全协议形式化验证具备可行性,这里的 AI 用于编写和检查可由机器验证的数学证明,没有参与出块、投票或共识判断。
原生 Rollup 让 L2 复用主网验证,时间表仍会调整
2025 年 11 月提交的 EIP-8079 已为原生 Rollup 给出草案,以太坊通过一个 EXECUTE 预编译向执行层开放主网状态转换函数,使 EVM 等价 Rollup 能够复用 L1 的验证基础设施。Rollup 目前需要自行维护证明系统、桥接合约和升级机制,原生化可以减少定制验证代码,并为移除安全委员会提供条件。EIP-8079 中的证明携带交易、ZK 验证和部分安全设计仍标为待完成,也未被列入已确定的主网升级。
以太坊基金会 3 月对 L1 与 L2 的分工作出进一步说明,希望最大程度继承主网安全性的 L2 可以转向原生 Rollup、Stage 2 和同步可组合性;提供隐私、应用专用效率或其他差异化功能的 L2 仍会继续存在。原生 Rollup 的路线调整了 L2 与主网的验证关系,没有取消多链扩容结构。
状态设计也在更换,Vitalik 称 Verkle 树先被统一二叉树取代,随后转向分区二叉树(PBT),状态过期则让位于新的状态类型。7 月提交的 EIP-8347 已提出离线迁移至 PBT,但激活分叉和锚定区块仍未确定。Blob 与 Gas 期货、leanISA 或 RISC-V 等非 EVM 指令集也进入长期讨论,其中更深层的 EVM 改造尚未成熟到可以写入 Strawmap。
Strawmap 暂时绘制了截至 2029 年的七次潜在升级,并以约半年一次的分叉节奏排列。以太坊基金会 5 月披露,核心开发者已认为 2026 年之后的逐分叉年份标注过于确定,后续可能弱化。
小结
Vitalik 此次更新集中呈现了以太坊技术优先级的变化,隐私、后量子安全和形式化验证进入基础协议设计,原生 Rollup 与新状态类型则把扩容讨论推进到验证机制和状态结构。多项方案目前仍处于 Draft、Review 或早期研究阶段,Strawmap 提供的是依赖关系和长期方向,无法直接视为上线承诺。
相关 EIP 能否进入具体硬分叉,后量子账户与验证者迁移方案能否形成完整规范,以及原生 Rollup 的证明携带交易和 ZK 验证设计能否补齐。近期观察节点仍是 2026 年第四季度的 Glamsterdam,以及尚在确定提案范围的 2027 年 Hegotá。
