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