智能合約審計公司

需求收集的入門客戶諮詢

• 在開始審計流程之前與客戶進行初步諮詢。
• 了解功能需求和業務邏輯。
• 仔細閱讀該項目的白皮書和黃皮書。
• 收集程式碼設計模式以了解智能合約的預期行為。

靜態和動態程式碼分析

執行各種分析過程並使用具有 150 多個漏洞檢測器的自動化工具進行程式碼審查，以識別：

• 潛在錯誤
• 惡意代碼
• 編譯問題

條件代碼測試

• 在本地沙盒環境中部署和測試智慧合約。
• 驗證氣體限制並防止不必要的氣體消耗。

手動程式碼驗證

對智能合約進行逐行檢查，以發現以下威脅：

• 時間戳依賴
• 外部調用
• 拒絕服務攻擊

業務邏輯驗證

我們利用稽核工具來驗證系統架構是否符合業務邏輯。此過程包括：

• 根據業務邏輯驗證智慧合約流程圖（使用 Surya 等稽核工具）
• 根據業務需求執行功能測試/結束場景
• 識別與業務邏輯相關的集中化和其他各種風險並提出可能的解決方案。

初步審計報告提交和錯誤修復

• 與客戶分享審計報告的初稿，強調過程中的風險和遵循的步驟。
• 提供可能的解決方案來修復已發現的錯誤。
• 用戶端完成錯誤修復後，可進行三次免費的後續審核。

最終審計報告的建立和交付

• 在客戶同意修復所有錯誤後，建立詳細的最終審計報告，其中包含所有記錄的風險和漏洞詳細資訊及其狀態。
• 提供完整的報告，其中包含漏洞指導和持續驗證的方法。