以太坊联合创始人 Vitalik Buterin 表示，利用 AI 可以大幅缩短完成以太坊剩余开发路线图所需的时间，较过去的预期更快。
在接受 Moneycontrol 采访时，Buterin 将零知识证明（ZK）、AI 和形式化验证列为未来数年推进的“精简以太坊（Lean Ethereum）”的核心要素。形式化验证是利用数学方法，确认代码和算法是否按照既定条件运行的一种方式。
他说：“按照五年前的标准，当前路线图剩余的工作量需要 20 年才能完成。”他解释称：“得益于 AI，我们可以更快地推进，同时也能验证正在编写的代码和算法的安全性。”
精简以太坊旨在利用最新技术和开发方式提升网络性能，同时维持去中心化和安全性。