CertiK 简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
CertiK 投资项目
CertiK 投资方
Drops Ventures
Fission Capital
Spark Digital Capital
ByteSize Capital
BLUE HILL
Tiger Global
CSP DAO
Cryptomeria Capital
Fundamental Labs
Coatue Management
新湃资本
星合资本
Mainnet Capital
Sequoia Capital
Kosmos
Torque Ventures
Arrington XRP Capital
DFG Capital
One Block Capital
IOSG Ventures
Draper Dragon
Hive Chain Labs
ZMT Capital
Chain Fund
Async Capital
Signum Capital
LinkVC
FBG Capital
Nirvana Capital
顺为资本
Coinbase Ventures
Kenzi Wang
BA Capital
BlockVC
