作者： 蓝狐笔记
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 等手段大幅提升扩展性。
最终要达成：
量子安全 + 隐私优先 + 安全 +去中心化+ 在满足前面所有条件的前提下高度可扩展 + 保持精简。
总之，不是小修小补，算是一次系统性的重构，可以说是整个加密领域最大的工程推进。
