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 相关信息
Smartz
促进强大且经济高效的 DApps 产出。
DigiByte
全球分布式的数字货币支付网络，便于网上转移资金，快速交易。
CertiK
通过形式化验证，确保智能合约及区块链系统的安全性。
Prettier Solidity
自动格式化 Solidity 代码。
UnitedBitcoin
与法定货币挂钩的信用货币体系，支持为社会服务的智能合约。
DAML
由 Digital Asset 开源的数字资产建模语言。
CRONCAT
区块链交易的去中心化任务调度。
ethbox
DuckDAO 战略合作伙伴。
Chainlink Keepers
去中心化智能合约自动执行工具。