维塔利克·布特林表示,人工智能可以帮助解决以太坊的“最大技术风险”
以太坊联合创始人维塔利克·布尔特林(Vitalik Buterin)表示,人工智能(AI)可能是解决以太坊“最大技术风险”的关键所在:程序代码深处的虫子。
在2月18日的一条推文上,布尔特林分享了他对AI驱动的审计的兴奋,这可以帮助在以太坊网络中识别和修复有缺陷的代码,将其描述为网络的“最大技术风险”。
我对AI的一项激动人心的应用就是代码的AI辅助正式验证和Bug查找。
如今,以太坊最大的技术风险可能就是代码中的Bug,任何事情都能在这一点上有巨大改变都将是非常惊人的。
布尔特林的这些评论正值以太坊接近实施其已久的Dencun升级,预计将于3月13日推出。Dencun已于1月17日在Goerli测试网上线,但由于Prsym中的一个Bug,网络在测试网上花费了四小时才最终完成上线。以太坊网络的升级对区块链的长期路线图至关重要。
然而,并非所有人都认为AI是检测以太坊代码中Bug的可靠工具。
2023年7月,OpenZeppelin进行了一系列实验,利用OpenAI的GPT-4识别Solidity智能合约(以太坊代码的本地语言)中的安全问题。
在这些实验中,GPT-4在28个挑战中成功识别了20个漏洞。

当GPT-4未能识别缺陷时,它通常会迅速被提示纠正错误。然而,OpenZeppelin发现,AI有时甚至会实际创造出一个从未存在过的漏洞。
同样,CertiK的首席安全官康立(Kang Li)告诉Cointelegraph,在编程中使用AI驱动的工具(如ChatGPT)通常会创造出比解决问题的更多安全问题。
总的来说,李建议只应将AI助手作为资深编码者的助手使用,因为它们可以帮助开发者快速解释代码行意味着什么。
相关:让维塔利克·布尔特林对以太坊的cypherpunk梦想成真
相关:让维塔利克·布尔特林对以太坊的cypherpunk梦想成真尽管布尔特林对AI的未来持乐观态度,但他之前曾警告开发者,在实施与区块链技术相结合的AI时,需要谨慎行事,尤其是当将其部署与“高风险”应用(如预言机)一起时。
“我们必须小心:如果有人建立了一个预测市场或使用AI预言机的稳定币,而预言机被发现是可攻击的,那将会是一大笔可能会瞬间消失的钱。”
杂志:‘加密货币不可避免’所以我们‘all in’——认识老熊Vance Spencer
杂志:‘加密货币不可避免’所以我们‘all in’——认识老熊Vance Spencer