CertiK

CertiK是业内领先的区块链安全公司，总部位于纽约，由耶鲁大学和哥伦比亚大学的顶级形式验证专家，携数十年科研成果共同创立，是最早进入区块链安全领域的公司之一。团队技术实力雄厚，曾完成了世界上第一款防黑客操作系统内核CertiKOS，并将核心技术成功应用于区块链安全领域。与传统的安全检测方法不同，CertiK尝试在数学层面上证明区块链生态系统与智能合约具有抗黑客能力并且安全无漏洞。

CertiK由Binance Labs、DHVC、光速中国、经纬中国、比特大陆、FBG、策源创投等全球领先的投资者共同孵化投资。截至目前，CertiK已经累计保护了超过80亿美元的资产免受损失。