CertiK 总部位于纽约市，由耶鲁大学和哥伦比亚大学的两位教授创立。可以被称为区块链安全领域先驱的 CertiK，利用目前最先进的形式化验证技术、AI 审计技术以及安全专家人工审计，通过扫描及监控区块链协议和智能合约，保证其安全性。 CertiK 以守护加密世界为使命，从区块链领域开始，一步步将学术界尖端创新技术延伸至业界，使得企业任务关键型软件及应用能够在足够安全和正确的环境下构建。目前，CertiK 已审计超过了 4000 个 Web3 项目，并保护了数千亿美元的资产免受损失。