布特林更新以太坊路线图，未来计划聚焦STARKs与人工智能

以太坊联合创始人Vitalik Buterin更新网络长期技术路线图，更加注重密码学技术与人工智能工具

在X平台上的一篇帖子中，Buterin将最新的“Strawmap”——一份不断演进的以太坊优先事项纲要——与2023年原始路线图进行了对比，以突出方向上的重大变化。

技术优先级的转变

Buterin解释说，新的Strawmap包含了一些去年愿景中未出现的元素，反映了对以太坊不断变化的需求所做的调整。他指出：“Strawmap中有一些全新的东西，是这张图中没有的，因为它们在2023年路线图中根本不存在。”

更新的纲要不仅包括引入原生Rollup、以及超越以太坊虚拟机（EVM）的更广泛可能性探索，还显著关注了基于STARKs的密码学进展以及人工智能辅助的形式化验证。

强调STARKs与AI辅助验证

STARKs（可扩展透明知识论证）是一种密码学协议，能够在确保隐私和可扩展性的同时验证计算。Buterin表示，以太坊的开发“越来越依赖STARKs”，以及那些借助AI来确保核心协议操作正确性的验证流程。他指出，近年来AI技术的进步，使得更广泛地应用这些验证技术成为可能。

小词典：STARKs（可扩展透明知识论证）是一种密码学证明系统，旨在通过允许在不泄露底层数据的情况下验证计算，从而提升可扩展性和安全性，被视为比SNARKs等旧系统更高效的替代方案。

Buterin强调了这些工具对以太坊安全的重要性，他写道：“只有通过形式化验证才能确保安全，而形式化验证本身只有借助现代AI工具才可行。” 他还指出，优先级的改变导致路线图上出现了全新的举措，并强调先进密码学验证的安全应用只有在现代AI技术的辅助下才有可能实现。

后量子安全措施

以太坊更新技术方向的时机，正值该项目加速为“Q-Day”做准备——该术语指的是量子计算机可能对现有密码学防御构成的潜在风险。今年1月，Buterin呼吁开发者开始采用抗量子密码学，以领先于潜在威胁。以太坊基金会随后组建了专门的后量子团队。2月，Buterin详细阐述了一项分阶段策略，旨在对以太坊密码学架构中可能受到量子攻击的四个组件进行全面改造。近期的计划包括用后量子解决方案替换以太坊密码学中可能薄弱的环节，这一工作已于今年早些时候按照Buterin提出的结构化分阶段流程启动。

超越EVM的扩展

Strawmap还描绘了以太坊未来的更广阔愿景，包括超越其既定计算模型EVM的可能性。原生Rollup和新的密码学框架预计将在扩展网络和增强韧性方面发挥核心作用。