ChatGPT 被要求做智能合约审计; 这是怎么回事

最近推出的创新的基于文本的人工智能(AI) ChatGPT 项目重新激发了公众对 技术 因为它展示了跨多个领域的实用性,导致一家公司测试其作为智能合约审计员的能力。

事实上,去中心化博彩平台 ZKasino 最近与 ChatGPT 一起对其智能合约代码进行了预审计,同时接受了 CertiK 的全面审计, blockchain 安全公司 说过 在 13 月 XNUMX 日发布的博客文章中。

根据 CertiK 的分析,该人工智能工具确实引发了“一些表面上听起来合理的担忧”,展示了其“为 Web3 安全社区提供有价值的服务”的能力,但仍有“相当大的发展空间”改进。”

AI的盲点

具体来说,ChatGPT 未能查明某些严重的安全问题,包括特定于项目的逻辑漏洞、不准确的数学计算和统计模型以及实现与设计意图之间的不一致——此外还报告了在 CertiK 上未显示任何问题的代码的误报人工审核。

CertiK 对 ChatGPT 调查结果的分析。 来源: CertiK

考虑到所有因素,由于人工智能在“充分理解代码的复杂性和细微差别以及缺乏实际操作经验”方面的局限性,因此距离被视为智能合约代码的唯一审计员似乎还有很长的路要走。世界场景。”

这就是为什么“通过经验丰富的安全专家手动审计来补充 ChatGPT 的分析以确保准确性很重要”的原因,区块链安全平台强调,强调了 ChatGPT 与专业人工审计员在各种标准上的优势和劣势。

ChatGPT 与智能代码审计中的人类专业人员。 来源: CertiK

虽然就其本身而言,它还远非完美,但 AI 机器人可以在 加密货币行业,因为它能够提供对特定的见解 cryptocurrencies,例如可能的价格范围 XRP 令牌入 2030,以及以互动和对话的方式阐明概念 帮助采用加密货币.

资料来源:https://finbold.com/chatgpt-was-asked-to-do-smart-contract-audit-heres-how-it-went/