smart-contract-audits

用數學方法證明<a href="https://crypto-bible.com/zh/glossary/blockchain-fundamentals/smart-contract/" target="_blank" rel="noopener">智能合約</a>程式碼在所有可能情況下都符合預先定義的規格，而不是像傳統測試只驗證少數幾種情境。

能主動偵測自己目前是在模擬環境還是真實鏈上被執行、並依此切換行為模式的惡意智能合約，模擬時偽裝正常，上鏈後才執行真正的惡意邏輯。

由專業團隊對<a href="https://crypto-bible.com/zh/glossary/blockchain-fundamentals/smart-contract/" target="_blank" rel="noopener">智能合約</a>程式碼進行的一次性人工與工具混合檢查，找出審計當下、審計範圍內看得到的漏洞，但它是一份針對特定時間點、特定程式碼版本的快照報告，不是對這份合約往後永久有效的安全保證。