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
Kenetic Capital
CertiK 相关信息
Qredo
安全、快速地转移数字资产。
John Mardlin
Optimism 安全工程主管。
SEGASEC
防止源自盲点的客户劫持攻击。
The Arcadia Group
以加密为中心的开发机构，行业开拓者。
Sergii Kravchenko
ConsenSys Diligence 安全审核员。
Ian Arden
Bridge Mutual 首席技术官。
AnChain.ai
AI + 区块链安全。
Jonathan Levin
Chainalysis 联合创始人。
Chainsulting
德国的区块链咨询公司，提供智能合约开发与审计服务。