Vitalik Buterin对以太坊的优先级已急剧转向防御网络免受量子计算机威胁，以及利用人工智能来审查其自身代码。Buterin于2026年8月10日在X上发布了更新的"Strawmap"，直接将以太坊当前的方向与他2023年发布的路线图进行了对比。

"然而，最引人注目的是，strawmap中包含了一些完全崭新的内容，这些内容在此图中并不存在，因为它们根本不在2023年的路线图中。这些反映了优先级的变化，"Buterin写道。Decrypt的报道指出，此次对比显示后量子安全、增强隐私和AI辅助形式化验证均升至优先列表的前列。

抗量子能力升至队列首位

据多数估计，能够破解当今公钥密码学的量子计算机仍需数年才能实现，但以太坊的路线图现在将这一威胁视为近期的工程优先事项，而非遥远的应急事件。这一立场与科技行业整体的转变趋势一致：美国国家标准与技术研究院已于2024年8月 finalized 首批后量子密码标准，为各组织提供了迁移参考框架。根据Strawmap，以太坊基金会已组建了专门的后量子团队，并制定了分阶段计划，以替换足够强大的量子机器可能攻破的加密组件。此次更新中新增的内容包括LeanSPHINCS（一种后量子签名方案），以及签名聚合工具，旨在当那些更重的抗量子签名投入使用后保持网络效率。

"以太坊将是量子安全的。以太坊将把用户隐私放在首位。以太坊将是安全的。以太坊将是抗审查的。以太坊将在满足上述条件的同时保持高性能和可扩展性。而且以太坊将是精简的，"Buterin写道，总结了新计划下网络的指导原则。Unchained报道指出，量子安全相对于早期路线图被明确提升了优先级，这是Buterin在帖子中标记的若干重新排序项目之一。

贯穿此次更新的第二条技术主线是AI辅助形式化验证——一种通过数学证明来验证代码是否按预期运行的方法，而非仅针对有限场景进行测试。以太坊研究人员依赖STARK（可扩展透明知识论证）——一种已在多个以太坊Layer-2网络中部署的密码学证明系统——来安全地验证全网计算。Buterin将两者直接联系起来："这只有通过形式化验证才能实现安全，而形式化验证本身只有在现代AI工具的帮助下才切实可行。"该计划呼吁利用STARK证明和AI工具来验证以太坊执行层、共识层和数据层的代码，The Block将这一范围描述为将隐私和抗量子能力置于新路线图的核心位置。

隐私与扩展也迎来重构

原生隐私同样在优先级列表中攀升。"以太坊将在开发持续进行的同时将用户隐私置于首位，"Buterin写道，Strawmap将隐私定位为设计要求，而非由外部开发者构建的可选层。在扩展方面，此次更新不再试图在单一统一系统中最大化各类活动的吞吐量。相反，它倾向于为特定用例构建的专用扩展机制，以及原生rollups和blob及gas期货等新增内容。

一些早期优先事项被直接放弃或替换。Buterin的帖子将可验证延迟函数和许多计划中的EVM改进列为降优先级，而早期的数据结构计划如Verkle trees已被他描述为从统一二进制字典树走向他所称的PBT的新结构所取代，状态过期也被新的状态类型所替代。这种替换而非纯粹增加的思路贯穿整个更新：以太坊不仅在添加功能，也在摒弃不再适用的内容。

五年后的更简规范

Buterin将Strawmap定位为贯穿至2029年的协调计划，而简化目标与任何单一功能同等重要。自The Merge——以太坊2022年9月从工作量证明向权益证明的转变——以来，以太坊协议在执行层、共识层和数据层积累了复杂性，而形式化验证配合AI工具被视为使这种复杂性可审计而不仅仅是可记录的手段。目前没有媒体报道详细说明以太坊的方法与竞争Layer-1网络的抗量子工作相比如何，行业范围内后量子迁移的比较时间线暂时仍无定论。

ETH本身对此次公告无反应，在帖子发布时交易价格约为$1,875，24小时内下跌约2.6%。五年技术路线图与当日价格冷淡之间的差距本身就很值得关注：市场将此视为长期基础设施工作，而非近期催化剂。The Defiant当天也报道了以太坊生态系统动态，不过其关于Robinhood Chain交易量的报道与Buterin的路线图帖子是独立的故事。

接下来发生的事情取决于以太坊基金会的后量子团队能多快将LeanSPHINCS和签名聚合从提案转化为已发布的代码，以及基于STARK的形式化验证能否在以太坊三个核心层全部证明切实可行。Buterin的帖子设定了至2029年的目标方向。而朝着这一方向建设的更艰巨的工作才刚刚开始。

阅读原始路线图证据

原始帖子比将每一项都视为承诺升级更为精确。Buterin将其称为"strawmap"：一份将当前优先级与2023年路线图进行对比的规划和协调文件。它指出了全协议的形式化验证，并表示量子安全优先级已大幅提升，但它不是发布时间表、已完成的规范，也不是抗量子迁移已准备好部署至主网的证明。

读者也可以在 strawmap.org 查看不断演进的纲要。路线图中的项目仍需通过研究、规范、实现、测试以及以太坊的社会治理流程。不同组件可能以不同速度推进，被纳入路线图并不保证特定的分叉日期。

量子安全与形式化验证为何相关联

后量子签名通常比以太坊目前使用的签名更大，计算需求也更高。在不使客户端或钱包无法使用的前提下替换密码学假设，需要谨慎的协议设计。形式化验证可以通过证明代码和规范的选定属性来降低实现风险，而AI工具可以帮助工程师编写或审查这些证明。AI输出本身并不是安全证明，仍需严格检查。

路线图中没有证据表明当今的量子计算机可以破解以太坊账户。这种风险是前瞻性的：协议迁移需要数年时间，而今天收集的加密或签名数据在将来可能仍然有价值。推进这项工作是一种准备，而非声称攻击迫在眉睫。

文章 Buterin的以太坊Strawmap将量子防御置于扩展之前 首发于Cryptsy，作者为Ethan Blackburn。