下载 APP 
CertiK通过形式化验证，确保智能合约及区块链系统的安全性。
描述
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。
该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
Coinbase安全智能合约
投资人/机构
TechCrunch 创始人 Michael Arrington 成立的对冲基金。
Binance 旗下的社会影响基金。
丹华资本，由斯坦福终身教授张首晟创办。
中国区块链界知名的数字资产基金。
在加密数字创业、私募股权基金、HFT 等投资方向表现优异。
面向全球领域的风险投资基金。
隶属于 Coinbase 的风险投资基金。
IOST 全球生态孵化与加速器。
最早参与数字货币和区块链投资的传统投资人之一王利杰创办。
加密资产基金、咨询机构和社区建设者。
专注于区块链垂直科技创业的早期投资。
“数字金融集团（DFG）是一家全球区块链和加密货币投资公司。
以区块链为重的数字基金。
专注于 Web3 平台、Token Engineering 产业研究与投资。
以企业家视角展开投资。
专注于区块链技术的风险投资公司。
区块链风险投资和投行服务机构，让区块链成为主流。
新加坡的加密数字基金。
澳大利亚领先且规模最大的多策略风险投资机构。
专注于加密货币和区块链技术的数字基金。
投资、孵化金融科技早期企业。
探索真实区块链。
林嘉鹏创办的专注于区块链的天使基金。
位于硅谷的风险投资公司，关注颠覆式创新技术与商业模式。
与未来的区块链项目合作。
由 Leon Hu 领导的区块链投资机构。
裂变资本，让数字资产服务社会进步。
由火星财经发起人王峰发起。
比特大陆的天使投资、Bitfinex 的股东。
投资世界上最好的区块链创始人。
硅谷核心投资圈中的顶尖中国力量。
专注于全球优质的区块链项目投资。
全球化的科技金融产业投资公司，赋能下一代创新航道。
位于亚洲的领先区块链投资和咨询机构。
全球数字资产管理平台。
源自硅谷，专注于跨学科区块链项目的孵化。
加密货币挖矿领域无可争议的世界领导者。
软银集团投资。共同的愿景，更大的野心。
全球顶级投资机构之一
管理着将近 250 亿美元的对冲基金。
投资于高速增长的技术、软件 ScaleUp 公司。
ICO Drops 团队的加密投资基金。
AU21 Capital 普通合伙人。
支持分布式经济的建设者。
发展最有前途的区块链项目
一家美国跨国投资银行与金融服务公司
投资项目
去中心化链上资金保险池。