简要

  • Vitalik Buterin表示,自2023年路线图发布以来,以太坊已提升了量子安全和隐私保护。
  • 以太坊研究人员越来越依赖STARKs和AI辅助的形式化验证。
  • 路线图还包括原生rollups,并探索超越EVM的未来。

以太坊联合创始人Vitalik Buterin表示,自他发布2023年路线图以来,量子抗性、隐私和AI辅助安全已成为以太坊更优先的事项。

在周一发布于X的一篇帖子中,Buterin表示他更新了2023年路线图,将其原始目标与以太坊当前的“Strawmap”——网络长期技术优先事项的工作大纲——进行了比较。

“然而,最引人注目的是,Strawmap中有一些全新的内容,这些内容不在这个图表中,因为它们完全不在2023年路线图中,”Buterin写道。“这些反映了优先事项的变化。”

在这些优先事项中,有更强的隐私保护和为后量子世界设计的扩展性,同时还有推动“规范精简”或简化以太坊技术规范的努力。

“在扩展方面的一个共同主题,在状态类型和zkzk框架(都是新想法)中都可以看到,不是试图最大化扩展所有以太坊活动,”Buterin写道。“我们试图创建具有更严格属性的专门机制,这些属性使它们更易于扩展,同时支持用户和应用今天(例如代币转账、交换)和明天(例如隐私协议)所承受的最重负载。”

根据Buterin的说法,AI的进步使得更广泛地将该技术应用于以太坊变得切实可行。

Buterin表示,以太坊越来越依赖STARKs(一种用于验证计算的密码学技术)和AI辅助验证,来检查协议是否按预期工作。

“这只有通过形式化验证才能安全,而形式化验证本身只有借助现代AI工具才可行,”他写道。

Buterin发布此帖之际,以太坊已加速为“Q-Day”以及量子计算机构成的潜在威胁做准备。

1月份,Buterin 敦促开发者在威胁迫在眉睫之前采用抗量子密码学,以太坊基金会也成立了一个专门的抗量子团队。2月份,Buterin概述了一个分阶段计划,以替换以太坊密码架构中四个可能易受攻击的组件。

7月份,Buterin将量子安全和隐私置于他提出的“精简以太坊”改革的核心,该改革呼吁用量子安全替代方案替换易受量子攻击的密码学。

“以太坊将是量子安全的。以太坊将把用户的隐私放在首位。以太坊将是安全的,”Buterin写道。“以太坊将是抗审查的。以太坊将具有高性能和可扩展性,同时满足上述要求。而且以太坊将是精简的。”