CertiK是一家成立於2018年的區塊鏈安全公司。該公司利用正式化驗證和AI技術合作提供端到端區塊鏈安全審計服務。此外，該公司還開發了“CertiK Chain”，這是一個專注於安全的區塊鏈，旨在增強智能合約的安全性。