Vitalik更新以太坊路线图：从Merge到“精简重构”，STARK、AI与隐私重塑技术底座

作者：蓝狐笔记

Vitalik这篇长文可以看作是未来以太坊路线图的更新版。在2023的经典路线图（Merge → Surge → Scourge → Verge → Purge → Splurge）基础上，叠加了现在的 Strawmap（以太坊基金会维护的“稻草人路线图”）上。

新路线图向我们展示了以太坊未来庞大而浩瀚的工程全景。

简单来说，之前方向大体还在，不过发展到今天，优先级和实现路径已经发生了明显变化，且出现了好几个 2023 年根本不存在的新东西。

还在延续到部分：

• 共识层继续完善（单槽最终性、更多验证者支持等）

• 数据可用性扩展（blob 继续放大）

• 轻客户端验证变简单（用 SNARK/STARK 证明）

• 协议瘦身、清理历史技术债

这些东西还要继续搞，不过被重新排了顺序、有些也找到了新的实现方式。

主要调整的地方：

最重要的是，量子安全被大幅提前。之前优先级不高，现在则变成了高优先级。

原因是，量子计算机的现实威胁感比 2023 年变强很多。

降级技术部分：

• VDF（可验证延迟函数）基本被边缘化

• 很多单纯的 EVM 改进也被降级了

技术替换部分：

• Verkle 树 → 统一的 Binary Tree → 最终走向 PBT（更优的结构）

• 状态过期（State Expiry）→ 新的状态类型（New State Types），换了一套完全不同的状态管理范式，用来更好地支持扩展。

最后是，新东西部分（之前路线图没有的）

这也是 Vitalik 觉得最值得注意的部分：

一是，隐私变成最高优先级之一。

要直接写进核心设计。包括 keyed nonces、FOCIL 相关机制、lean privacy pool、wormholes 等。最终目标是，让隐私成为协议原生能力，应用层在此之上构建和优化。

二是，激进扩展（在后量子前提下）


用 leanSPHINCS 签名 + 聚合，以及 zkzk frames（零知识套零知识的框架）。意思是，即使以后全面换成抗量子密码，也要保证扩展能力不掉。

三是，规格“Lean 化” + 形式化验证


把协议写得更干净、更简单，方便做完整形式化验证（Formal Verification）。Vitalik 明确表示：全面形式化验证现在之所以变得可行，主要是因为有了现代 AI 工具。

这是一个很重要的底层变化，协议复杂度开始被主动压低，不能越加越复杂。

四是，Blob 和 Gas 期货


提前对未来容量做承诺/市场。

五是，Native Rollups（原生 Rollup）


现在SNARK 技术已经成熟到可以认真考虑了，把 Rollup 能力深度集成进协议本身已经不再是想象。

（这一点非常重要，对于L1/L2整合太重要了）

六是，EVM 的未来被重新打开


协议未来可能会暴露更简单、更现代的指令集（目前候选是 leanISA 或 RISC-V）。

EVM 有可能变成跑在这些新指令集之上的中间表示（IR），不会是永远被硬编码在协议核心。这意味着未来开发者可能直接用更高效的指令集，EVM 变成兼容层。

上面技术路线的两个核心思路：

一是，不再试图把“所有以太坊活动”都无限扩展。

会设计一些有限制属性、但更适合扩展的专门机制，专门扛住今天最重的负载（转账、swap）和明天最重的负载（隐私协议）。

用专业化换取更高的可扩展性。

二是，把 递归 STARK 和 AI 辅助的形式化验证当成真正的一等基础设施。

一个叫 “aggregate to union verified dependencies” 的原语，预计会在执行层（EL）、共识层（CL）、数据层（DL）三个地方同时使用。

这种跨层复用，必须靠形式化验证才能安全，而形式化验证又依赖现代 AI。这是很深的“押注”。

总结来说，

以太坊正在从“Merge 后的第二代”走向第三代大改造（Lean Ethereum）。

几乎每个主要组件都会被替换或重写：

比如，验证方式变成递归 STARK、密码学全面抗量子、隐私成为原生目标、协议本身被主动精简以支持形式化验证，同时通过专业化机制和 Native Rollup 等手段大幅提升扩展性。

最终要达成：

量子安全 + 隐私优先 + 安全 +去中心化+ 在满足前面所有条件的前提下高度可扩展 + 保持精简。

总之，不是小修小补，算是一次系统性的重构，可以说是整个加密领域最大的工程推进。