以太坊联合创始人 Vitalik Buterin 近日在社交平台 X 发文，对比了自己 2023 年提出的以太坊路线图与以太坊基金会最新版本的 Strawmap。按他的说法，两份路线图整体存在不少重叠，但部分项目的排序已经调整。
其中，抗量子安全性的优先级被提高；可验证延迟函数和多项 EVM 相关改进的优先级则有所下降。还有一些项目已经被新的技术路径替代，例如 Verkle Tree 先转向统一二元树，再演进为分区二元树；状态到期机制则被新的状态类型替代。
Strawmap 新增隐私与抗量子方向
Vitalik 表示，Strawmap 中出现了多项 2023 年路线图里完全没有纳入的新内容，这反映出协议升级优先级的变化。其中最受关注的，是更强的隐私保护，以及面向后量子时代的积极扩容规划。
在隐私方面，他提到的项目包括密钥随机数与最新根、部分 FOCIL 机制、精简隐私池，以及名为 wormholes 的设计。按文中说法，FOCIL 相关机制将成为以太坊 Hegota 硬分叉的主要升级项目之一。
在抗量子方面，Strawmap 纳入了 leanSPHINCS 签名与聚合技术，以及名为 zkzk frames 的框架设计，用于支持后量子签名与 STARK 集成。
STARK 与 AI 辅助形式验证被列为协议基础
Vitalik 还指出，STARK 递归验证和 AI 辅助形式验证，现在被视为以太坊未来技术体系可以依赖的核心组件。
他提到，协议中有一项被称为“聚合成联集验证依赖项”的机制，预计会同时用于执行层、共识层和数据层。按照他的表述，这种做法只有通过形式验证才能确保安全，而形式验证本身又依赖现代 AI 工具才能实现。
原生 rollup 与新指令集方向被纳入讨论
Vitalik 今年以来持续强调抗量子准备。文中提到，他在今年 1 月呼吁开发者尽早采用抗量子密码学，2 月提出分阶段替换以太坊 4 项可能受到量子威胁的密码学组件，7 月又把量子安全与隐私列为精简以太坊改造计划的核心。
Strawmap 还纳入了区块空间与燃料期货、原生 rollup 等在 2023 年尚不存在的概念。Vitalik 解释称，当时没有把原生 rollup 纳入考虑，是因为 SNARK 技术还远未成熟到足以支持这类复杂扩容设计。
随着 zkzk frames 推进，协议未来可能向开发者开放更精简的指令集架构，例如 leanISA 或 RISC-V。到那时，EVM 的角色也可能发生变化，转为构建在新指令集之上的中介层，而不是基础协议内置的既有功能。
Vitalik：以太坊仍将追求安全、隐私、抗审查与扩展性
Vitalik 在帖文结尾写道，以太坊将具备抗量子能力，把用户隐私放在优先位置，维持安全性与抗审查性，并在满足这些条件的同时追求高性能、可扩展和精简化。
文中指出，Strawmap 是以太坊基金会用于规划协议升级方向的参考文件，本质上属于持续修订的草案，而不是固定时间表。该文件的时间范围排到 2029 年，最近一次更新日期为 8 月 4 日。
报道还提到，以太坊基金会过去曾因升级延期或资源分配问题受到外界批评。今年 6 月，以太坊基金会裁员 20%，并围绕 CROPs 目标重组为 5 个核心小组；同一时期，EthLabs 与 EthSystems 等新机构也已成立，用于协助推进研发和机构级隐私技术。
文中提到的技术名词
FOCIL 机制
FOCIL 全称为 Fork-Choice Enforced Inclusion Lists，即“分叉选择强制纳入清单”，是一种用于提升以太坊交易纳入可靠性与抗审查性的机制设计，属于共识层升级项目。
根据 Strawmap 规划，FOCIL 将成为 Hegota 硬分叉的主要升级内容之一，目标是防止验证者任意排除特定交易，降低区块构建过程受到审查或垄断的风险。
leanSPHINCS 签名
leanSPHINCS 是一种基于哈希函数的抗量子签名方案，属于 SPHINCS 签名家族的精简版本。由于这类签名不依赖椭圆曲线密码学，即便未来量子计算机能够破解传统签名，它仍可维持安全性。
文中还提到，Vitalik 曾在 Ethereum Magicians 论坛解释，之所以选择基于哈希函数的方案，而不是基于格的密码学方案，是为了尽量保持协议基础层简单，降低整体维护复杂度。
zkzk frame
zkzk frame 是 Vitalik 在 Ethereum Magicians 论坛提出的交易框架构想，对应提案编号 EIP-8288，目标是把后量子签名与 STARK 聚合技术结合起来。
这一设计允许交易声明其密码学验证依赖项，再由区块构建者把多笔交易的验证需求聚合为单个递归 STARK 证明，从而在引入体积更大的抗量子签名时，尽量维持链上数据量与链上 Gas 成本的效率。文中称，该提案目前仍处于论坛讨论阶段，尚未取得正式 EIP 编号。
STARK
STARK 全称为 Scalable Transparent Argument of Knowledge，即“可扩展透明知识论证”，是一类零知识证明技术。它可以让验证者在不重新执行完整计算的情况下，确认计算结果是否正确。
与部分其他零知识证明技术相比，STARK 不需要可信初始设置，且通常具备抗量子安全特性，因此在以太坊多项升级规划中，被视为可同时应用于执行层、共识层和数据层的核心验证工具。
SNARK
SNARK 全称为 Succinct Non-Interactive Argument of Knowledge，即“简洁非交互式知识论证”，同样属于零知识证明技术。这类方案的特点是证明体积小、验证速度快，已经被广泛用于当前的 zk-rollup 等扩容方案中。