Vitalik Buterin近日在社交媒体上发表声明，将2023年技术路线图与现行Strawmap路线图进行核对，发现整体框架高度一致。然而，在具体优先级排序上存在多项调整：量子安全方案被提升至核心关注点，而固定随机函数（VDF）和多项以太坊虚拟机（EVM）改进则受到下调；此外，部分技术方案被更优解决方案取代，例如Verkle树最初被统一二叉树替代，随后被PBT技术覆盖，状态过期方案则被新状态类型机制替代。
Buterin还指出，当前路线图出现多项2023年制定的全新方向，这些变化反映了优先级的动态调整。其中包括：强隐私保护首次被纳入首要关注事项；在后量子计算背景下推进激进扩容方案；为协议规范的形式化验证提供辅助，借助AI技术实现对全部协议内容的完整验证；引入区块与gas期货市场机制；以及推动原生Rollup方案的发展（此前SNARK技术尚未具备足够成熟度）；此外，协议未来可能向用户提供非EVM指令集架构，以拓展EVM的发展空间。
两个共同主题贯穿这些新方向：首先，扩容思维发生根本性转变，不再以最大化所有以太坊活动为目标，而是针对代币转账和隐私协议等高负载场景构建专属扩容机制；其次，STARK与AI加速的形式化验证被定位为协议底层核心组件，将在执行层、共识层和数据层三个维度同时应用递归STARK机制。这种设计只有通过形式化验证才能保障安全，而形式化验证的可行性本身也依赖现代AI工具的支持。
