什么是审计？

审核是开发人员检查构成系统和应用程序的底层代码和/或算法的过程，使他们能够在部署之前发现潜在的错误或故障点。审计通常由第三方进行，这有助于保证该程序以公正和有效的方式完成。

审计已成为区块链领域的常见做法，许多项目都依赖该技术来确保其去中心化协议的智能合约的安全性，并让其用户或代币持有者更加安心。

审计代码有两种方法：手动和自动。手动分析是查找编码错误的最有效方法。然而，这需要更多的时间并且需要中等规模的开发团队来执行。自动代码分析可以实现快速而有效的代码评估。虽然后者在某种程度上受到传统企业的青睐，但手动代码分析对于加密货币项目至关重要，因为启动时存在未发现的漏洞可能会导致数百万美元的资金损失，尤其是对于 DeFi 项目。

智能合约的完整审核通常包括五个重要步骤：

1. 就规格达成一致；
2. 运行测试；
3. 运行自动符号执行工具；
4. 手动代码分析；
5. 报告。