项目介绍
CertiK于2018年由耶鲁大学、耶鲁计算机系系主任邵中教授及哥伦比亚大学计算机系顾荣辉教授三方共同成立。作为区块链安全领域的先驱，CertiK利用目前*先进的形式化验证技术以及AI审计技术，来扫描及监控区块链协议和智能合约的安全性，并不断推出以Skynet（天网）为代表的SaaS产品，为加密世界的企业和用户提供*高等级的安全解决方案。
融资历史
| 其他轮 | 2021年12月01日 | 红杉资本中国基金Tiger Global Management高瓴创投Coatue Management顺为资本 | 8000万美元 | 详情 |
| 不详 | 2021年08月17日 | Tiger Global Management高瓴创投 | 2400万美元 | 详情 |
公司简介
- CertiK是世界领先的区块链网络安全公司，利用先进的形式化验证技术，用数学方法证明智能合约和区块链生态系统安全无漏洞并可抵御黑客入侵。
