V神:人工智能可以帮助解决以太坊的“最大技术风险”
以太坊联合创始人 Vitalik Buterin 分享了他对人工智能的热情,以帮助识别以太坊代码库中的潜在缺陷。以太坊联合创始人Vitalik Buterin表示,人工智能(AI)对于解决以太坊“最大的技术”风险之一至关重要:深埋在其代码中的错误。在 2 月 18 日关于 X 的帖子中,Buterin 分享了他对人工智能审计的兴奋,以识别和修复以太坊网络中的错误代码,并将其描述为网络的“最大技术风险”。
Buterin发表评论之际,以太坊即将实施其期待已久的Dencun升级,该升级目前定于3月13日推出。Dencun 于 1 月 17 日在 Goerli 测试网上实施,但 Prsym 中的一个错误阻止了该网络在测试网上完成四个小时。以太坊网络的升级对于区块链的长期路线图至关重要。然而,并不是每个人都同意人工智能是检测基于以太坊的代码中错误的可靠工具。
2023 年 7 月,OpenZeppelin 进行了一系列实验,利用 OpenAI 的 GPT-4 来识别 Solidity 智能合约(以太坊代码的母语)中的安全问题。在这些实验中,GPT-4 成功识别了 28 个挑战中的 20 个漏洞。当 GPT-4 无法识别缺陷时,通常会提示它快速纠正错误。然而,在其他时候,OpenZeppelin 发现 AI 实际上发明了一个从一开始就不存在的漏洞。
同样,CertiK的首席安全官Kang Li告诉Cointelegraph,在编码中使用人工智能工具(如ChatGPT)往往会产生比解决更多的安全问题。总的来说,Li 建议 AI 助手应该只用作有经验的编码人员的助手,因为它们可以帮助开发人员快速解释一行代码的含义。
虽然Buterin对人工智能的未来持乐观态度,但他此前曾警告开发人员在使用区块链技术实施人工智能时要谨慎行事,尤其是在将其与“高风险”应用程序(如预言机)一起部署时。
“重要的是要小心:如果有人建立了一个预测市场或使用人工智能预言机的稳定币,结果证明预言机是可攻击的,那么巨额资金可能会在瞬间消失。