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）的协议体系。
