Vitalik Buterin 表示 AI 可能加快以太坊路线图的进程，同时增强安全性

• AI工具显著缩短了以太坊开发时间表，实现了快速原型设计和迭代。
• 利用AI进行形式验证正在加快复杂STARK基础密码学的证明过程，提升区块链安全性。
• 将AI的收益在速度与安全之间进行平衡，使以太坊开发者能够扩大测试覆盖范围并减少关键漏洞。

Vitalik Buterin表示，人工智能正开始重塑以太坊的构建方式。

在最近的一篇X（前Twitter）帖子中，他描述了一项实验，利用AI在数周内“ vibe-code”了大量以太坊2030年路线图。他称结果令人印象深刻，但同时警告这仍然是高度实验性的。

该项目在未完成以太坊改进提案（EIP）的情况下完成。仅此一点，他指出，代码很可能存在严重漏洞。有些功能可能只是部分实现。六个月前，他还表示，即使达到这个阶段也几乎是不可能的。

这是一次相当令人印象深刻的实验。在数周内完成了整个2030年路线图的vibe-coding。

显然，没有EIPs就建成这样的东西，存在巨大隐患：几乎可以肯定有许多关键漏洞，可能在某些情况下只是“存根”版本…… https://t.co/ZlTg0r2hvI

— vitalik.eth (@VitalikButerin) 2026年2月28日

AI编码提速——但尚未完美

Buterin表示，AI工具正在大幅压缩开发时间。他最近使用一个本地运行的开源模型，在大约一小时内重建了他的博客软件的一个版本。他建议，更强大的模型可以在一次尝试中完成类似的构建。

以太坊路线图主要关注可扩展性升级、更强的去中心化以及改进的区块链安全性。开发者在协议的多个层面上努力，以减少流量并提高效率。更快的编码周期可能会加快这些平行的努力。

但他也提醒不要过度自信。单一的提示不会产生安全的生产代码。工程师应预期会出现不一致、边缘情况失败和结构性漏洞。他认为，变化在于识别和修正这些问题的速度。

形式验证逐渐成为焦点

Buterin建议，不应仅仅利用AI追求速度，而应将部分生产力提升转向安全。这包括生成更多的测试用例和扩大形式验证的工作。

他提到在LeanEthereum项目中的工作，这是一个致力于数学验证以太坊核心组件的研究计划。他说，合作伙伴最近利用AI构建了一个可由机器验证的复杂定理的证明，该定理是STARK基础密码学的基础。

STARKs构成了多个零知识证明系统的基础，用于扩展区块链网络。传统上，为这些系统生成形式证明需要大量人工努力。现在，AI的帮助正在降低这一门槛。

形式验证依赖数学方法确认代码的行为完全符合预期。在区块链安全中，这一过程有助于限制可能导致漏洞或财务损失的薄弱环节。

提升安全基线

Buterin承认，绝对无漏洞的软件仍然不可能实现。代码无法完美捕捉每个人的意图。

但他认为，有针对性且可验证的安全保证可以消除大部分实际风险。

在无需信任他人的去中心化系统中，更高的验证标准减少了对社会协调或人工监控的依赖。Buterin表示，AI编码的持续进步可能推动以太坊迈向更高的安全预期，同时缩短其开发周期。