Certik

區塊鏈著名安全機構，業務包括智能合約審計、KYC、鏈上監控、漏洞賞金、滲透測試等。由哥倫比亞大學和耶魯大學的教授於 2018 年創立，是區塊鏈安全領域的先驅，利用一流的形式驗證和 AI 技術來保護和監控區塊鏈、智能合約和 Web3 應用程式。

推特id：CertiK、CertiKCommunity、CertiKAlert。