以太坊联合创始人 Vitalik Buterin 表示，人工智能实际上为以太坊赢得了数十年的开发时间。在新加坡举行的 2026 年国家网络会议上发言时，他说 AI 正在大幅加快以太坊协议升级的工作进程——他表示，如果没有 AI，路线图中的一些目标可能要到 2040 年甚至 2050 年才能实现。

Buterin 到底说了什么

这些言论出自 2026 年 10 月 9 日进行、次日报道的一次采访。Buterin 的重点是 Lean 路线图，即以太坊全面革新核心协议的计划。他的核心观点是：AI 目前正在承担该路线图所需的研究与编码工作的相当大一部分，其中包括清单中一些最困难的项目。

最典型的例子是用 Lean 4 编写的形式化验证。Lean 4 是一种编程语言和证明助手，用于编写可供计算机逐行检查的数学证明。据研究摘要所述，AI 在 Lean 4 方面的贡献减少了人工审计大量代码的需求，将这一负担从人工审核转移到机器可验证的证明。

正在成型的架构

Buterin 所描述的计划绝非小修小补。以太坊正迈向一个以递归 STARK、自动化形式化验证和更强抗量子能力为核心的设计。

这些术语可以如下理解：STARK 是一种密码学证明，允许一方证明某项计算被正确执行而无需其他人重复计算；递归 STARK 则是能够验证其他证明的证明。抗量子能力指的是保护网络免受未来可能破坏现有密码学的量子计算机的攻击。这一议题不仅限于研究圈，因为以太坊上的一切——从账户余额到智能合约——最终都依赖于网络今天所使用的密码学。

据 Buterin 所说，这正是 AI 发挥作用之处。研究摘要将 AI 描述为以太坊迈向这一更复杂架构过程中的关键推动者。

Hegota：最后一次“常规”分叉

日程表上的下一个里程碑是 Hegota 升级，预计在 2027 年前后进行，并被描述为以太坊历史上最后一次“常规”分叉。分叉是改变网络规则的协调升级，需要节点运营商同步更新其软件，因此“常规”这一标签标志着一个转折点。此后，工作重心预计将转向先进的密码学方法和形式化验证，AI 的整合将处于核心位置。

已有证据表明 AI 能够完成有实质意义的协议工作。2026 年初，实验产出了一个原型以太坊客户端——即处理区块并保持链同步的节点软件——覆盖了约 65 项路线图内容，且该原型成功与以太坊主网完成了同步。

Buterin 对 AI 的审慎态度

这并非 Buterin 今年首次就这一话题发表看法。2026 年早些时候，他讨论过研究摘要所称的 AI 在加密开发中的双重角色：这项技术可以加速技术工作，但同时也引发了对漏洞的安全担忧——包括同样的工具可能帮助攻击者更快发现弱点。

正是这种张力使得形式化验证的角度格外值得关注。如果 AI 能够快速生成代码，那么用数学方法证明代码的正确性，就成了抵御 AI 自身所带来的风险的天然保障。

对开发者与网络的影响

对开发者而言，最明显的影响是工作内容的转变。随着 AI 承担更多证明编写和代码审计工作，核心研究人员可能会把更多时间用于设计决策，而更少用于人工验证。Buterin 提出的 2040 年至 2050 年的说法表明，他认为 AI 决定了目标是“遥遥无期”还是就在这个内实现。

安全问题也没有消失。在关键基础设施代码上依赖 AI，提高了把验证做对的赌注，因为在一个被广泛使用的区块链中，一个细微的错误可能付出高昂代价。

接下来值得关注的是：Hegota 的进展、AI 构建客户端实验的进一步成果，以及 Lean 路线图中的形式化验证最终将有多少由机器生成。

来源：CryptoBriefing