CertiK安全代碼審計
代碼審計：顧名思義就是檢查源代碼中的安全缺陷，檢查程序源代碼是否存在安全隱患，或者有編碼不規范的地方，通過自動化工具或者人工審查的方式，對程序源代碼逐條進行檢查和分析，發現這些源代碼缺陷引發的安全漏洞，并提供代碼修訂措施和建議。
美國區塊鏈安全審計公司CERTIK是由來自耶魯大學和哥倫比亞大學的科研團隊攜數十年研究成果成立，通過“深度規范”的形式化驗證技術為區塊鏈應用156和智能合約提供代碼6991安全審計服務。3780目前，CERTIK已獲幣安孵化器數百萬美金投資。
   合約審計的目的主要是檢查代碼規范性、常規漏洞、安全漏洞、業務邏輯漏洞等，**關鍵是減少因代碼導致的業務無法按預期正常運轉，其次是保障資金的安全;第三方面也是體現智能合約部署后的“公平、公開、公正、透明”等。同時，也是以此減少遭受黑客攻擊的可能性。除此之外，還能將產品上線前將風險降到**。
    代碼審計對于區塊鏈的發展具有重要意義：一方面，代碼審計可以節約安全投入，降低修復成本。研究表明，當應用發布后再執行代碼修復，修復成本大約是設計編碼階段的30倍。所以，變被動防護為主動防御，從源頭上控制安全隱患，可以**節約成本；另一方面，代碼審計可以降低系統安全風險。通過代碼審計及時對代碼層缺陷進行修復，從而大幅度提升系統整體安全性，避免巨額經濟損失。
    CertiK是**的區塊鏈安全公司，通過“深度規范”的形式化驗證技術為區塊鏈應用和智能合約提供代碼安全審計服務，曾為幣安，ETH等項目做過安全審計。