以太坊联合创始人Vitalik Buterin发布了其2023年路线图的更新版本，将量子安全和隐私提升至更高优先级，同时降低了可验证延迟函数（VDF）和多项早期以太坊虚拟机（EVM）改进的优先级。

修订后的路线图引入了原生Rollup、Blob和Gas期货、新型状态类型以及后量子扩展机制。Buterin还在探索EVM之外的执行架构，其中RISC-V、LeanISA、递归STARK和AI辅助形式化验证成为重点关注领域。该路线图是Buterin对以太坊协议演进的个人技术愿景，而非具有约束力的开发时间表，但它经常预示影响客户端团队和更广泛研究社区的方向。

路线图调整与新优先级

据Buterin表示，此前路线图中的若干项目已被重新编排。量子安全目前获得更多关注，而VDF和多项EVM增强功能则被下调了优先级。其他技术设计也通过更新的方案发生了演变。量子安全优先级的提升反映了密码学界日益增长的共识——足够强大的量子计算机最终可能破解当前保护以太坊账户的椭圆曲线签名。

值得注意的是，Verkle树已被统一二叉树和PBT（后量子二叉树）取代，状态过期已被新型状态类型取代。隐私在以太坊更新后的计划中被提升至一等地位，Buterin列出了键控随机数（keyed nonces）、最近的根（recent roots）、FOCIL的组成部分、精简隐私池（lean privacy pools）和虫洞（wormholes）等相关功能。

路线图还通过leanSPHINCS签名和zkzk框架纳入了后量子扩展能力。Blob和Gas期货已被添加至以太坊计划的基础设施中。

原生Rollup在SNARK（简洁非交互式知识论证）技术取得进展后进入了路线图。Buterin指出，该技术在2023年尚未成熟到可以采用这种方式。

探索EVM之外的执行架构

Buterin勾勒了以太坊执行层的更广阔愿景，提出zkzk框架可能引导协议走向暴露EVM之外的指令集。LeanISA和RISC-V目前是最具竞争力的候选方案。RISC-V是一种开放标准指令集架构，被广泛应用于学术和工业硬件项目中，将其纳入以太坊考量表明对具备丰富现有工具链和形式化规范工作的执行模式的兴趣。

他将这两个选项描述为比EVM更简单、更新且更高效。Buterin还提出了将EVM重新定位为另一指令集之上的中间表示的可能性。但他也提醒，对于当前的初步路线图（strawmap）而言，更深入的探索尚为时过早。

根据Buterin的说法，新型状态类型也代表了一种独特的扩展方案。这些设计强调专门的机制，而非试图最大化每一类以太坊活动。

STARK与AI辅助验证

Buterin将递归STARK和AI辅助形式化验证确定为更新路线图中反复出现的主题。递归STARK出现在以太坊协议的多个层面上，单个验证原语可能同时服务于执行层、共识层和数据层。

他强调，形式化验证对于此类共享组件的安全部署至关重要。更广泛的形式化验证工作正日益与现代AI工具相结合，从而在整个路线图中更加注重数学代码验证。这一趋同反映了软件工程领域更广泛的趋势，即AI驱动的工具正被用于证明那些难以仅通过测试来验证的复杂系统的正确性属性。

Buterin表示，以太坊的长期目标包括量子安全、更强大的隐私保护、稳健的安全性、抗审查能力和更大的可扩展性。他还描述了一个保持精简高效的目标以太坊架构。