Compass Investments

– 以太坊的发展有可能进入一个不同的结构阶段。维塔利克-布特林（Vitalik Buterin）最近提到，人工智能正在大大加快生态系统内的编码和验证过程，这有可能加速以太坊的发展计划，并提高其安全性，超出之前的预期。

这不仅仅是提高代码创建速度的问题。这是软件工程本身的约束条件发生的更深层次的变化：代码成本正在下降，而规范和验证正在成为主要瓶颈。

对于像以太坊这样对安全至关重要的协议来说，这改变了游戏规则。

这是一个了不起的实验。能够在几周内编纂整个 2030 计划。

过去，协议的创建受限于人类的生产力。编写、审核、测试和严格验证加密和共识代码是一项耗时且高度专业化的工作。

人工智能在两个方面改变了这一局面：开发人员现在可以更快地为边缘情况设计架构原型、具体实现和测试。维塔利克指出，即使是本地模型也能在几分钟内生成复杂的软件，这种能力在几个月前还是不可想象的。

这样做的结果是大大缩短了协议变更周期。

随着代码生成速度的提高，准确性成为了限制因素。人工智能生成的代码并非没有漏洞、不一致和不完整的部分。但是，同样的工具可以扩大验证范围。

维塔利克强调了安全性的两个主要积极方面：

正式验证计划，如 Lean，旨在从数学上证明协议部分内容的正确性。人工智能可以协助构建证明、探索极端情况并确认所有实现的逻辑一致性。

这将使以太坊更接近一个长期渴望的目标：创建具有经过验证的安全性的协议组件。

精益以太坊计划旨在以数学、机器可验证的方式正式确定以太坊的关键加密和协议假设。这种方法将协议安全性视为定理而非公理。

最近的测试表明，人工智能现在能够帮助生成复杂的 STARK 相关定理的机器可验证证明–这些任务以前需要大量的人工形式化工作。