Vitalik更新以太坊路线图：量子安全、隐私保护和AI辅助形式化验证成为新重点

以太坊联合创始人 Vitalik Buterin 在 X 平台发文表示，他已更新 2023 年以太坊路线图，并将此前路线图中的技术方向与当前“Strawmap”计划进行对比。Vitalik 称，两者整体存在较大重叠，但部分技术优先级和实现路径已发生变化。

Vitalik 表示，一些方向被重新排序，例如量子安全技术的重要性被进一步提升；部分项目优先级下降，包括 VDF（可验证延迟函数）以及部分 EVM 改进方案；另一些技术路线则被更先进的方案替代，例如 Verkle Tree 演进为统一 BT（Binary Tree），状态过期（state expiry）则转向新的状态类型设计。

Vitalik 指出，当前路线图中最明显的变化，是加入了一些 2023 年路线图中尚不存在的新方向，反映出以太坊未来发展的重点转移，包括：

强化隐私保护：以太坊将更加重视原生隐私能力，相关方向包括键控随机数（keyed nonces）、近期状态根（recent roots）、FOCIL 部分设计、轻量隐私池（lean privacy pool）以及 wormholes 等；

面向后量子时代的扩容方案：包括 LeanSPHINCS 签名、签名聚合以及 zkzk frames 等技术；

精简协议规范，推动形式化验证：Vitalik 认为，借助现代 AI 工具，对整个以太坊协议进行形式化验证正在成为可能；

Blob 和 Gas 期货机制：这一方向在 2023 年路线图制定时尚未出现；

原生 Rollup 支持：随着零知识证明技术成熟，以太坊开始探索更深层次的 Rollup 集成；

重新设计未来 EVM 架构：未来以太坊可能引入更简单、高效的新型指令集（ISA），例如 LeanISA 和 RISC-V，并探索让 EVM 成为其上的中间表示（IR）。

Vitalik 表示，未来以太坊扩容思路正在发生变化：相比于让整个网络无限扩展所有类型活动，以太坊将更多采用专用化机制，通过针对特定场景设计更高效的结构，满足当前及未来高负载需求，例如代币转账、交易以及隐私协议。

此外，Vitalik 强调，STARK 证明技术和 AI 辅助形式化验证将成为以太坊技术发展的核心基础。他表示，递归 STARK 将在协议多个层面发挥作用，而大规模应用这些复杂密码学结构，需要依赖形式化验证保障安全性。

Vitalik 总结称，以太坊未来将继续朝向“量子安全、隐私优先、安全可靠、抗审查、高性能和可扩展”的方向发展，并最终成为一个更加精简（Lean）的协议体系。