AuditGPT：基于ChatGPT审计智能合约

为了治理运行在以太坊上的智能合约，已开发了多个以太坊请求意见（ERC）标准，每个标准包含一组规则以指导智能合约的行为。违反ERC规则可能导致严重的安全问题和财务损失，突显了验证智能合约遵循ERC规则的重要性。今天的实践是要么手动审计每个单个合约，要么使用专家开发的、范围有限的程序分析工具，两者都远远不足以识别ERC规则违反。本文提出了一个名为AuditGPT的工具，该工具利用大型语言模型（LLM）自动和全面地对智能合约进行ERC规则验证。为了构建AuditGPT，我们首先对 222 条ERC规则（指定于四个流行ERC中）进行经验研究，以了解其内容、其安全影响、其自然语言中的规格以及其在Solidity中的实现。根据我们的研究，我们通过将庞大的复杂审计过程分为小且可管理的任务，并为每种ERC规则类型设计专门的提示来增强LLM的审计性能。在评估中，AuditGPT成功地 pinpoint 了 418 条ERC规则违反，仅报告了 18 条误报，展示了其有效性和准确性。此外，AuditGPT在有效性、准确性和成本方面都优于由安全专家提供的审计服务，展示了其在智能合约审计实践中超越当前最先进技术的前景。