CertiK 总部位于纽约市，由耶鲁大学和哥伦比亚大学的两位教授创立。可以被称为区块链安全领域先驱的 CertiK，利用目前最先进的形式化验证技术、AI 审计技术以及安全专家人工审计，通过扫描及监控区块链协议和智能合约，保证其安全性。