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）。> > 显然，这种东西在两周内就能做出来，且甚至还没有EIPs，这有巨大的局限：几乎肯定存在大量关键漏洞，而且在某些情况下可能只是某种“桩（stub）”版本的东西…> > — vitalik.eth (@VitalikButerin) 2026年2月28日Buterin将这项工作描述为一项展示快速进展的实验。他说，类似的工作在六个月前并不现实。他补充说，AI进展的方向最为重要。他还分享了一个个人例子。他说他使用代理式编码，只用了一个小时就构建了类似于他博客的软件。所使用的模型在他笔记本电脑本地运行。速度提升伴随技术风险-------------------------------------Buterin提醒说，快速的AI构建也带来风险。他表示，一个在两周内完成、且尚未敲定EIPs的项目，很可能包含关键漏洞。他还补充说，其中一些部分可能是桩版本。他警告不要假设一条提示（prompt）就能生成安全的生产代码。他表示，不同实现之间将会存在漏洞和不一致性。然而，他表示，AI让这个过程的速度提高了五倍。他解释说，开发者仍需要审查并对比代码。测试与验证仍然是必要步骤。AI减少了在重复性任务上花费的时间，并提高了迭代速度。Buterin说，这项实验不应被视为已经完成的基础设施。他将其定位为开发方法正在变化的信号。AI如今已经成为以太坊技术工作流程的一部分。* * ** * *聚焦测试与形式化验证----------------------------------------Buterin表示，AI带来的收益应在速度与安全之间合理分配。他建议一半的生产力提升应投入到更强的测试中。这包括生成更多测试用例并运行形式化验证。他提到了Lean以太坊（Lean Ethereum）计划，该计划旨在对以太坊组件进行形式化验证。一位协作者使用AI创建了一个复杂STARK定理的可被机器验证的证明。Buterin表示，形式化验证支持无信任系统。他补充说，AI可以扩大测试的规模，并改进多实现层面的检查。这些步骤可以降低与故障代码相关的风险。他说，总体安全并不可完全实现。他解释道，完美安全需要代码与人类意图之间做到完全一致。不过，他也指出，特定的安全性声明可以被验证。Buterin说，人们应该考虑这样一种可能性：以太坊的2030年路线图可能会比预期更快完成。他还表示，随着验证工具的改进，安全标准可能会提高。他表示，在定义清晰的情形下，无漏洞的代码可能会变得可实现。他说，这个想法曾经被认为是不现实的。借助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构建也带来风险。他表示，一个在两周内完成、且尚未敲定EIPs的项目，很可能包含关键漏洞。他还补充说，其中一些部分可能是桩版本。他警告不要假设一条提示（prompt）就能生成安全的生产代码。他表示，不同实现之间将会存在漏洞和不一致性。
然而，他表示，AI让这个过程的速度提高了五倍。他解释说，开发者仍需要审查并对比代码。测试与验证仍然是必要步骤。
AI减少了在重复性任务上花费的时间，并提高了迭代速度。Buterin说，这项实验不应被视为已经完成的基础设施。他将其定位为开发方法正在变化的信号。AI如今已经成为以太坊技术工作流程的一部分。
聚焦测试与形式化验证
Buterin表示，AI带来的收益应在速度与安全之间合理分配。他建议一半的生产力提升应投入到更强的测试中。这包括生成更多测试用例并运行形式化验证。他提到了Lean以太坊（Lean Ethereum）计划，该计划旨在对以太坊组件进行形式化验证。一位协作者使用AI创建了一个复杂STARK定理的可被机器验证的证明。
Buterin表示，形式化验证支持无信任系统。他补充说，AI可以扩大测试的规模，并改进多实现层面的检查。这些步骤可以降低与故障代码相关的风险。他说，总体安全并不可完全实现。他解释道，完美安全需要代码与人类意图之间做到完全一致。
不过，他也指出，特定的安全性声明可以被验证。Buterin说，人们应该考虑这样一种可能性：以太坊的2030年路线图可能会比预期更快完成。他还表示，随着验证工具的改进，安全标准可能会提高。他表示，在定义清晰的情形下，无漏洞的代码可能会变得可实现。他说，这个想法曾经被认为是不现实的。借助AI的验证可能会在未来改变开发预期。