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 相关信息
Vyper
针对以太坊虚拟机 EVM 面向合约的 Python 编程语言。
Emotiq
可扩展的交互型智能合约，通过自然语言智能合约推动 DApp 进程。
Keoken
用于扩展区块链功能的开放协议。
Prettier Solidity
自动格式化 Solidity 代码。
Fluency
基于区块链的 CBDC 专有技术平台。
RISE
包括开发者、成熟企业、创业公司、投资者、设备用户在内的完整生态系统。
UnitedBitcoin
与法定货币挂钩的信用货币体系，支持为社会服务的智能合约。
C 链
帮助机构法律与合规的努力。
Universa
区块链商业协议。