Vitalik发布以太坊最新路线图：量子安全、隐私与AI成核心，迈向“精简重构”时代

以太坊联合创始人Vitalik Buterin近日发布了一份更新版的以太坊技术路线图，在原有的2023年经典框架（Merge → Surge → Scourge → Verge → Purge → Splurge）基础上，叠加了以太坊基金会维护的“稻草人路线图”（Strawman Roadmap），描绘出一个庞大而浩瀚的工程全景。与2023年相比，整体方向虽有延续，但优先级和实现路径已发生显著变化，并涌现出多个全新概念。

延续与调整：共识增强、数据扩展、协议瘦身仍是主线

新路线图中，部分旧有方向继续保留，包括：共识层持续推进单槽最终性并支持更多验证者；数据可用性通过Blob继续扩容；轻客户端验证借助SNARK/STARK证明简化；协议层面持续瘦身并清理历史技术债。然而，这些工作的排序被重新调整，部分实现方式也焕然一新。

最引人注目的变化是量子安全被大幅提前，从此前的低优先级跃升为高优先级。Vitalik指出，量子计算机的现实威胁感比2023年明显增强，促使密码学抗量子化成为当下必须正视的课题。

技术替代与降级：Verkle树退出，VDF边缘化

在具体技术路径上，Verkle树被统一的二叉树（Unified Binary Tree）取代，并最终走向更优的PBT结构。状态过期机制也被全新的“新状态类型”（New State Types）替代，采用完全不同的状态管理范式以更好支持网络扩展。

与此同时，VDF（可验证延迟函数）基本被边缘化，许多单纯的EVM改进被降级处理，反映出以太坊正在将资源集中到更具战略意义的方向上。

新元素涌现：隐私、原生Rollup与AI辅助验证

新路线图最值得关注的部分，是一批在2023年根本不存在的新内容。其中，隐私被提升为最高优先级之一，并计划直接写入核心设计，包括密钥随机数（keyed nonces）、FOCIL相关机制、精益隐私池（lean privacy pool）和虫洞（wormholes）等。最终目标是让隐私成为协议原生能力，应用层可在此基础上自由构建与优化。

其次，激进扩展在抗量子前提下得到强化，采用leanSPHINCS签名与聚合技术，以及“zkzk frames”（零知识套零知识框架），确保全面切换抗量子密码后扩展能力不降级。

第三，规格“Lean化”与形式化验证成为关键方向。Vitalik明确表示，全面形式化验证之所以变得可行，主要归功于现代AI工具。主动压低协议复杂度，使其更干净、更简单，是这次底层变化的核心。

此外，Blob与Gas期货、Native Rollups（原生Rollup）也被提上议程。Vitalik认为，SNARK技术已成熟到可以认真考虑将Rollup能力深度集成进协议本身。与此同时，EVM的未来被重新打开，协议未来可能暴露更简单、更现代的指令集（候选为leanISA或RISC-V），EVM则演变为跑在这些新指令集之上的中间表示（IR），成为兼容层而非硬编码在协议核心。

两大核心思路：专业化扩展与递归STARK+AI基础设施

新路线图体现了两个核心思路。其一，不再试图无限扩展“所有以太坊活动”，而是设计具有限制属性但更利于扩展的专门机制，用于承载当前最重的负载（如转账、swap）以及未来最重的负载（如隐私协议），以专业化换取更高可扩展性。

其二，将递归STARK和AI辅助的形式化验证视为真正的一等基础设施。一个名为“aggregate to union verified dependencies”的原语预计将在执行层（EL）、共识层（CL）、数据层（DL）同时使用。Vitalik强调，这种跨层复用必须依赖形式化验证才能保证安全，而形式化验证又依托现代AI工具，这是一次深度“押注”。