TLDR----* AI在两周内构建了一个拥有700000行代码的以太坊客户端* 原型覆盖了65个路线图项目，并与主网同步* Buterin呼吁进行更多测试和形式化验证* AI帮助生成了可被机器验证的STARK证明* * *Vitalik Buterin表示，AI可能以史无前例的安全级别加速以太坊2030年的路线图。他提到了一项近期实验：一位开发者使用代理式编码（agentic coding）在两周内构建了与路线图对齐的以太坊客户端原型。该原型包含约700,000行代码，覆盖65个路线图项目，并与以太坊主网同步。AI构建的原型与2030以太坊路线图对齐----------------------------------------------------以太坊联合创始人Vitalik Buterin表示，AI正在加速以太坊的开发。他引用了一位开发者的案例：该开发者使用代理式编码构建了与2030路线图对齐的客户端。该原型在约两周内完成。它包含大约700,000行代码，并支持65个路线图项目。该客户端正在与以太坊主网进行同步。> 这确实是一个令人印象深刻的实验。在几周内把整个2030路线图进行“氛围式编程”（vibe-coding）。> > 很明显，这种东西在两周内做出来，而甚至连EIP都还没有，就存在巨大的局限性：几乎可以肯定会有大量关键漏洞，而且在某些情况下可能只是某种事物的“桩（stub）”版本……> > — vitalik.eth (@VitalikButerin) February 28, 2026Buterin将这项努力描述为一项展示快速进展的实验。他表示，类似的工作在六个月前并不现实。他补充说，AI进步的方向最为关键。他还分享了一个个人例子。他说他使用代理式编码，在一个小时内就构建了类似于他博客的软件。所使用的模型是在他笔记本电脑本地运行的。速度提升伴随技术风险-------------------------------------Buterin提醒，快速的AI构建会带来风险。他表示，一个在两周内完成、且EIP尚未最终确定的项目，可能包含关键漏洞。他补充说，某些部分可能是桩版本。他警告不要假设一条提示就能生成安全的生产级代码。他表示，不同实现之间将会存在漏洞和不一致。 然而，他表示，AI可以让这个过程快5倍。他解释说，开发者仍需要审查并对比代码。测试和验证仍然是必要步骤。 AI减少了在重复性任务上花费的时间，并提高了迭代速度。Buterin表示，这项实验不应被视为已完成的基础设施。他将其定位为开发方法正在改变的信号。AI现在已成为以太坊技术工作流程的一部分。* * ** * *聚焦测试与形式化验证----------------------------------------Buterin表示，AI带来的收益应在速度与安全之间进行分配。他建议，生产力提升中应有一半投入到更强的测试中。这包括生成更多测试用例，以及运行形式化验证。他提到了Lean Ethereum（精简以太坊）工作，目标是对以太坊组件进行形式化验证。一位协作者使用AI创建了一个用于复杂STARK定理的、可被机器验证的证明。Buterin表示，形式化验证支持无信任系统。他补充说，AI可以扩大测试的规模，并改善多实现的检查。这些步骤能降低与错误代码相关的风险。他表示，总体安全并不可达到。他解释说，完美安全需要代码与人类意图之间实现精确一致。 尽管如此，他指出可以验证特定的安全性主张。Buterin表示，人们应考虑这样一种可能性：以太坊路线图可能会比预期更快完成。他还表示，随着验证工具的改进，安全标准也可能提高。他表示，在明确的特定情形下，可能实现无漏洞代码。他说这一想法曾被认为是不现实的。AI辅助的验证可能会在未来改变人们对开发的预期。
Vitalik Buterin 表示人工智能可能加快以太坊 2030 年路线图的进程
TLDR
Vitalik Buterin表示，AI可能以史无前例的安全级别加速以太坊2030年的路线图。他提到了一项近期实验：一位开发者使用代理式编码（agentic coding）在两周内构建了与路线图对齐的以太坊客户端原型。该原型包含约700,000行代码，覆盖65个路线图项目，并与以太坊主网同步。
AI构建的原型与2030以太坊路线图对齐
以太坊联合创始人Vitalik Buterin表示，AI正在加速以太坊的开发。他引用了一位开发者的案例：该开发者使用代理式编码构建了与2030路线图对齐的客户端。该原型在约两周内完成。它包含大约700,000行代码，并支持65个路线图项目。该客户端正在与以太坊主网进行同步。
Buterin将这项努力描述为一项展示快速进展的实验。他表示，类似的工作在六个月前并不现实。他补充说，AI进步的方向最为关键。他还分享了一个个人例子。他说他使用代理式编码，在一个小时内就构建了类似于他博客的软件。所使用的模型是在他笔记本电脑本地运行的。
速度提升伴随技术风险
Buterin提醒，快速的AI构建会带来风险。他表示，一个在两周内完成、且EIP尚未最终确定的项目，可能包含关键漏洞。他补充说，某些部分可能是桩版本。他警告不要假设一条提示就能生成安全的生产级代码。他表示，不同实现之间将会存在漏洞和不一致。
然而，他表示，AI可以让这个过程快5倍。他解释说，开发者仍需要审查并对比代码。测试和验证仍然是必要步骤。
AI减少了在重复性任务上花费的时间，并提高了迭代速度。Buterin表示，这项实验不应被视为已完成的基础设施。他将其定位为开发方法正在改变的信号。AI现在已成为以太坊技术工作流程的一部分。
聚焦测试与形式化验证
Buterin表示，AI带来的收益应在速度与安全之间进行分配。他建议，生产力提升中应有一半投入到更强的测试中。这包括生成更多测试用例，以及运行形式化验证。他提到了Lean Ethereum（精简以太坊）工作，目标是对以太坊组件进行形式化验证。一位协作者使用AI创建了一个用于复杂STARK定理的、可被机器验证的证明。
Buterin表示，形式化验证支持无信任系统。他补充说，AI可以扩大测试的规模，并改善多实现的检查。这些步骤能降低与错误代码相关的风险。他表示，总体安全并不可达到。他解释说，完美安全需要代码与人类意图之间实现精确一致。
尽管如此，他指出可以验证特定的安全性主张。Buterin表示，人们应考虑这样一种可能性：以太坊路线图可能会比预期更快完成。他还表示，随着验证工具的改进，安全标准也可能提高。他表示，在明确的特定情形下，可能实现无漏洞代码。他说这一想法曾被认为是不现实的。AI辅助的验证可能会在未来改变人们对开发的预期。