Vitalik Buterin 表示人工智能或可加速以太坊路线图同时提升安全标准

这篇文章《Vitalik Buterin 表示 AI 可能加速 Ethereum 的路线图同时提高安全标准》首次发表在 Coinpedia Fintech News

Ethereum 开发的未来可能比许多人预期的更快到来。

Vitalik Buterin 最近描述了一项实验,其中 Ethereum 提议的 2030 路线图的大部分内容在短短几周内使用人工智能工具进行了"氛围编码"。虽然他警告说结果远未达到生产就绪状态,但更广泛的信息很明确:AI 正在迅速改变区块链基础设施的构建方式。

AI 编程正以前所未有的速度发展

根据 Buterin 的说法,仅在六个月前,在短短两周内创建如此复杂的路线图的粗略版本似乎是不现实的。他说,AI 生成的代码可能包含严重的错误和不完整的部分。一些组件可能是占位符,而不是完全实现的功能。

尽管如此,开发速度本身标志着一种转变。

Buterin 还分享说,他最近使用在笔记本电脑上本地运行的开源 AI 模型在大约一小时内构建了他的博客软件版本。他建议,更先进的系统可能会更快地完成类似的任务。

要点不是 AI 可以立即产生安全的区块链基础设施。相反,它显示了开发时间表正在急剧缩短。

速度只是故事的一半

Buterin 强调,仅仅更快的编码是不够的。在他看来,真正的机会在于平衡速度与更强大的安全实践。

开发者可以使用 AI 来做以下事情,而不仅仅是编写更多代码:

• 生成更多的测试用例
  
• 进行更深入的安全审计
  
• 创建同一系统的多个独立实现
  
• 正式验证关键组件
  

据报道,LeanEthereum 计划的一位合作者使用 AI 帮助为基于 STARK 的密码学底层的一个复杂数学定理生成了机器可验证的证明。

对于越来越依赖先进零知识系统的 Ethereum 来说,这样的验证工具至关重要。

形式化验证可能成为标准做法

LeanEthereum 的核心原则是尽可能对所有组件进行形式化验证。形式化验证意味着数学上证明代码完全按照预期行为运行。

在保护价值数十亿美元的区块链系统中,减少即使是很小的漏洞也可能产生巨大影响。Buterin 建议,AI 正在加速大规模生成经过验证的证明和压力测试实现的能力。

他谨慎地补充说,没有人应该期望输入一个提示就能收到完全安全的代码。错误、不一致和设计权衡将仍然是流程的一部分。

然而,调试和测试周期可能会比以前快五倍,而且更加彻底。

Ethereum 的路线图能否比预期更早完成?

虽然 Buterin 没有做出任何确定的预测,但他鼓励社区对 Ethereum 的长期路线图可能比许多人预期的更快完成的可能性保持开放态度。

更重要的是,他建议它可以达到比复杂分布式系统传统上预期的更高的安全标准。

如果 AI 继续以目前的速度改进,曾经减缓区块链升级的开发瓶颈可能会变得不那么限制性。