V 神：AI 可以协助发现以太坊存在的代码漏洞

近日，以太坊联合创始人 Vitalik Buterin（ V 神）表示，他对使用 AI 辅助验证以太坊网络代码正确性和发现代码库漏洞的技术前景感到兴奋。

图片来源：www.ntv.com.tr

V 神强调说，AI 在解决以太坊网络“代码库中的错误”这个最大技术风险方面发挥着重要作用。这段话发表在以太坊 Dencun 升级前后，该升级在 1 月 17 日上线至 Goerli 测试网的过程中出现了一个 Bug ，该 Bug 导致本次测试网升级延迟了 4 个小时。鉴于以太坊网络升级对其生态的重要影响，排查类似 Bug 等技术问题就显得至关重要。

但并非所有人都认同 V 神观点，有人认为使用 AI 工具检测以太坊代码库中的错误并不可靠。这源于 OpenZeppelin 在 2023 年 7 月进行的一系列实验，该团队利用 OpenAI 的 GPT-4 来识别 Solidity 智能合约（以太坊代码的母语）中的安全问题。实验结果表明，28 项 Bug 测试中，GPT-4 仅识别出其中的 20 项。更严重的是，除了未能识别全部的 Bug 之外，GPT-4 还衍生出一个本不存在的 Bug。

CertiK 首席安全官 Kang Li 认为，在代码中使用类似 ChatGPT 等 AI 工具，有可能会产生更多的安全问题，这比它能解决的问题更加严重。因此，Kang Li 建议 AI 仅可以做为工程师的助手，而不能独当一面，因为它的优势在于可以快速诠释每一行代码的含义。

虽然 V 神对 AI 的未来发展表示期待，但他此前也曾警告开发者，使用 AI 赋能区块链的过程要更加小心，特别是部署高风险的应用程序（例如预言机）时，一旦该过程产生差错，将会导致巨额的资金损失。

免责声明：FameEX对交易所发布的该领域数据的官方声明，或任何相关金融建议的准确性和适用性不作任何保证。