Vitalik：Ethereum 当前路线图新增强隐私、后量子扩容与原生 Rollup 等方向

ChainCatcher 消息，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