以太坊联合创始人 Vitalik Buterin 表达了他对人工智能辅助代码形式验证和错误查找的潜力的兴奋。 Buterin 在周一的推文中指出，以太坊最重大的技术风险源于代码中的错误，任何可能显着改变这方面游戏规则的事情都将是开创性的。 “令我兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前，以太坊最大的技术风险可能是代码中的错误，任何能够显着改变游戏规则的事情都将是令人惊奇的，”他写道。值得注意的是，以太坊协议面临的主要挑战之一是漏洞利用，黑客事件导致投资者损失数百万美元。根据 Chainaanalysis 的一份报告，2023 年被盗的加密货币资金达到了惊人的 17 亿美元，其中约三分之二的被盗资金可追溯到针对 DeFi 协议的黑客攻击。尽管总体盗窃数量与前几年相比有所下降，但 DeFi 黑客攻击的威胁仍然是一个重大问题。与此同时，尽管 Buterin 对人工智能的潜力表示乐观，但他也表示谨慎。在 1 月 30 日的博客中，这位以太坊联合创始人建议在将人工智能与区块链技术相结合时要谨慎行事，强调了谨慎和谨慎的方法的迫切需要，特别是在具有重大价值和风险的环境中部署人工智能时。值得注意的是，去年，智能合约开发公司 OpenZeppelin 使用 OpenAI 的 GPT-4 来检测 Solidity 智能合约中的安全问题进行了实验，结果好坏参半。根据该公司的一份报告，GPT-4 准确地识别了 28 个挑战中的 20 个漏洞，但有时它也会捏造不存在的漏洞。同样，区块链安全公司 CertiK 的首席安全官 Kang Li 也警告不要完全依赖人工智能驱动的工具进行编码。去年 9 月，李在韩国区块链周期间发表讲话时指出，如果不谨慎使用，人工智能工具可能会带来比其解决的更多安全问题。 Li 进一步强调，例如，ChatGPT 可能无法像经验丰富的开发人员那样熟练地检测逻辑代码错误。相反，这位专家建议利用人工智能助手作为经验丰富的开发人员的支持工具，使他们能够更有效地理解代码。
