什麼是審計？

審核是開發人員檢查構成系統和應用程式的底層程式碼和/或演算法的過程，使他們能夠在部署之前發現潛在的錯誤或故障點。審計通常由第三方進行，這有助於保證該程序以公正和有效的方式完成。

審計已成為區塊鏈領域的常見做法，許多項目都依賴該技術來確保其去中心化協議的智能合約的安全性，並讓其用戶或代幣持有者更加安心。

審計代碼有兩種方法：手動和自動。手動分析是尋找編碼錯誤最有效的方法。然而，這需要更多的時間並且需要中等規模的開發團隊來執行。自動程式碼分析可以實現快速且有效的程式碼評估。雖然後者在某種程度上受到傳統企業的青睞，但手動代碼分析對於加密貨幣項目至關重要，因為啟動時存在未發現的漏洞可能會導致數百萬美元的資金損失，尤其是對於DeFi 項目。

智能合約的完整審核通常包括五個重要步驟：

1. 就規格達成協議；
2. 運行測試；
3. 運行自動符號執行工具；
4. 手動代碼分析；
5. 報告。