Vitalik Buterin 表示人工智能正在加快以太坊的开发

• 代理编码在数周内产生了一个符合2030年路线图的70万行以太坊客户端原型。
• 布特林敦促将更快的AI编码与形式验证、扩展测试套件和多客户端检查结合起来。
• 他还详细介绍了一个量子抗性路线图，取代BLS并加入基于哈希和STARK的系统。

以太坊联合创始人Vitalik Buterin表示，人工智能正快速推动以太坊开发。在最近的公开发言中，他描述了代理编码如何使开发者在数周内构建出符合路线图的以太坊客户端。这项工作于2026年初在线上完成，重点是加快开发速度，同时通过测试和验证提升安全性。

AI驱动的编码与测试提升

据布特林介绍，一位开发者利用代理编码生成了一个符合2030年路线图的以太坊客户端原型。值得注意的是，该原型包含大约70万行代码，涵盖了65个路线图项目，并在两周内同步到以太坊主网。

然而，布特林强调，这个构建存在重大限制。他表示，代码可能包含关键漏洞和不完整的实现。不过，他解释说，这样的进展在六个月前几乎是不可能的，突显了开发工具的快速进步。

布特林补充说，AI加速了各项任务的编码。他举例自己用本地模型在一小时内重建博客软件的经历。因此，他认为速度的提升应在更快的开发和更强的安全实践之间实现均衡。

形式验证与安全重点

布特林表示，最有效的AI应用结合了更快的编码和更深入的测试。具体来说，他强调生成更大的测试套件和扩展形式验证。他提到，一位Lean以太坊合作伙伴利用AI为一个复杂的STARK相关定理创建了机器可验证的证明。

据布特林介绍，Lean以太坊旨在对每个组件进行形式验证。然而，AI现在显著加快了这一努力。此外，他强调，避免漏洞的代码仍然困难，但通过反复测试和多实现检查可以更容易实现。

他警告说，安全系统不会从单一提示中出现。即便如此，他表示调试周期现在可以更快、更彻底地进行。

量子抗性路线图细节

另外，布特林概述了以太坊的量子抗性路线图。他指出BLS共识签名、KZG基础的数据可用性、ECDSA账户签名和零知识证明系统存在漏洞。为此，他建议用哈希签名取代BLS，并采用STARK聚合。

对于外部拥有账户，布特林提到EIP-8141。这一变更将支持多种签名方案，包括抗量子方案。他承认会带来更高的Gas成本，但表示效率应随着时间改善。

该路线图还涉及证明系统。虽然STARK证明的成本高于当前的ZK-SNARKs，但聚合可以减少链上计算。上个月，以太坊基金会表示，下一阶段生态系统将扩大容量，同时保持长期的安全性和韧性。