快链头条 消息，Vitalik 在 X 平台发文表示，其已更新 2023 年路线图示意图，将当时列出的项目叠加到当前 Strawmap 中的对应位置。总体而言，两者有很多重叠，但部分事项的顺序已重新调整，例如量子安全优先级上调；部分事项优先级下调，例如 VDF 和许多 EVM 改进；部分事项被更优的构造替代，例如 Verkle 演进为 unified BT 再到 PBT，状态过期被新状态类型替代。不过，最明显的是，Strawmap 中出现了一些完全新增、且不在该示意图中的内容，因为这些内容不在 2023 年路线图中，反映了优先级变化。主要包括：对强隐私给予一等重视，包括密钥化 Nonce 和近期根、FOCIL 的部分内容、lean privacy pool 与 Wormholes；围绕后量子场景推进扩容，包括 leanSPHINCS 签名及聚合、zkzk frames；推进规范 Lean 化，以协助形式化验证。对所有内容进行完整形式化验证之所以可行，得益于现代 AI；Blob 和 Gas 期货，这一概念在 2023 年还不存在；原生 Rollup，2023 年时 SNARK 远未成熟到可以考虑这一方向；为“EVM 的未来”提供更加开放的设计空间。zkzk frames 已经意味着，协议将向用户提供某种非 EVM 的 ISA，目前的主要候选包括 leanISA 和 RISC-V。这些 ISA 比 EVM 更简单、更现代且更高效。在引入这些 ISA 后，可以将其向所有开发者开放，并将 EVM 转变为构建在该 ISA 之上的中间表示（IR），而不是作为会大幅增加基础协议复杂度的内置特性。不过，其中更深入的探索即使对 Strawmap 而言也还为时过早；新状态类型不仅是状态过期的替代方案，也是 Ethereum 扩容方式的根本性不同范式。他表示，扩容领域的一个共同主题体现在状态类型和 zkzk frames 这两项新想法中：与其尝试最大化扩展所有 Ethereum 活动，不如创建具有限制性属性、因而更适合扩容的专用机制，同时承载当前及未来用户和应用产生的最大负载，例如代币转账、兑换以及隐私协议。另一个共同主题是将 STARK 和 AI 加速的形式化验证视为一等对象，并将 Ethereum 的技术未来建立在其上。协议的多个层级中都存在递归 STARK，其中一个特定原语“aggregate to union verified dependencies”（将已验证依赖聚合为并集）预计将在协议的三个位置使用，即执行层、共识层和数据层。只有通过形式化验证才能确保其安全，而形式化验证本身只有借助现代 AI 工具才具备可行性。Vitalik 表示，总体而言，许多步骤的成熟度均有所提升，这些功能的实现离不开数十位 Ethereum 研究人员和开发者投入的大量工作。Ethereum 将实现量子安全，将用户隐私置于首位，保持安全、抗审查、高性能和可扩展，同时满足上述目标，并实现 Lean 化。