新闻加密货币Vitalik Buterin称以太坊正将其未来押注于量子安全和AI

Vitalik Buterin称以太坊正将其未来押注于量子安全和AI

作者: Decrypt·

要点速览

  • •Vitalik Buterin更新了以太坊2023年路线图,引入抗量子能力、增强隐私和AI辅助安全验证作为原计划中未包含的新优先事项。
  • •以太坊修订后的扩展策略专注于具有限制性属性的专业化机制,而非试图最大化扩展所有网络活动。
  • •人工智能的进步使以太坊的形式化验证技术变得切实可行,在该网络越来越多地使用STARKs密码学技术的同时,实现了更严格的安全检查。
  • •以太坊基金会于1月组建了专门的后量子团队,Buterin随后概述了替换易受攻击密码组件的分阶段计划。
  • •美国国家标准与技术研究院于2024年8月发布了首批正式确定的后量子密码标准,凸显了应对量子计算威胁的全球紧迫性。
Vitalik Buterin称以太坊正将其未来押注于量子安全和AI

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

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

"然而最引人注目的是,稻草图中有一些全新的内容不在这张图中,因为它们根本不在2023年的路线图中,"Buterin写道。"这些反映了优先事项的变化。"

这些优先事项包括为后量子世界设计的更强隐私保护和扩展性,以及推动"规范的精简化"——即简化以太坊的技术规范。

"在扩展性方面的一个共同主题,在状态类型和zkzk框架(均为新概念)中均有体现,即不是试图最大化扩展所有以太坊活动,"Buterin写道。"我们试图创建具有更多限制性属性的专业化机制,使其更具扩展性友好,同时支持用户和应用今天(如代币转账、兑换)和明天(如隐私协议)所产生的最大负载。"

据Buterin表示,AI的进步使得将形式化验证技术更广泛地应用于以太坊变得切实可行。他说,以太坊越来越依赖STARKs——一种用于验证计算过程的密码学技术——以及AI辅助验证来检查协议是否按预期运行。

"只有通过形式化验证才能保证安全,而形式化验证本身只有借助现代AI工具才能实现,"他写道。

Buterin发表此帖之际,以太坊正加速为"Q-Day"做准备——即量子计算机强大到足以破解现有密码系统的预期到来。这一威胁对于以太坊和比特币等区块链尤为紧迫,这些区块链依赖椭圆曲线数字签名(ECDSA)来保护钱包地址和授权交易。足够强大的量子计算机可以从公钥推导出私钥,使资金直接面临风险。

这种紧迫性并非以太坊独有。美国国家标准与技术研究院于2024年8月发布了首批正式确定的后量子密码标准,表明全球政府和企业正在竞相将关键系统从易受攻击的算法中迁移。

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

7月,Buterin将量子安全和隐私置于其提议的"精简以太坊"(Lean Ethereum)全面改造的核心位置,该方案呼吁用量子安全的替代方案替换易受量子攻击的密码学。

"以太坊将是量子安全的。以太坊将把用户隐私放在首位。以太坊将是安全的,"Buterin写道。"以太坊将是抗审查的。以太坊将在满足上述条件的同时保持高性能和高扩展性。以太坊将是精简的。"