区块链著名安全机构，业务包括智能合约审计、KYC、链上监控、漏洞赏金、渗透测试等。由哥伦比亚大学和耶鲁大学的教授于 2018 年创立，是区块链安全领域的先驱，利用一流的形式验证和 AI 技术来保护和监控区块链、智能合约和 Web3 应用程序[1]。
推特id：CertiK、CertiKCommunity、CertiKAlert[2]。