Foresight News 消息，Vitalik Buterin 发推表示，将其 2023 年技术路线图与当前 Strawmap 路线图进行对比，整体重合度较高，但部分事项优先级上调（如量子安全）、部分被降低优先级（如 VDF、多项 EVM 改进）、部分方案被更优构造替代（如 Verkle 树先被统一二叉树替代、再被 PBT 替代，状态过期方案被新状态类型替代）。

Vitalik 表示，当前路线图中出现了多项 2023 年完全未涉及的全新方向，反映优先级变化，包括：强隐私保护首次被列为一级关注事项；在后量子背景下推进激进扩容；为辅助形式化验证对协议规范进行精简化处理，他表示 AI 的出现使得对全部协议内容进行完整形式化验证成为可能；引入区块与 gas 期货概念；引入原生 Rollup（此前 SNARK 技术尚不足够成熟）；以及为「EVM 的未来」开放更多设计空间，协议未来或将向用户提供非 EVM 的指令集架构。

他还指出两个贯穿多项新方向的共同主题：其一，扩容思路发生转变，不再追求让所有以太坊活动最大化扩容，而是针对代币转账、隐私协议等当前及未来重负载场景构建更具针对性的专用机制；其二，STARK 与 AI 加速的形式化验证被视为协议底层核心组件，将在执行层、共识层、数据层三个层面同时应用递归 STARK，而这一设计只有依托形式化验证才能保证安全，形式化验证本身也依赖现代 AI 工具才具备可行性。

日历