项目简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
投资机构
Drops Ventures
Zonff Partners
SNZ Holding
Fission Capital
Spark Digital Capital
ByteSize Capital
BLUE HILL
万币资本
CSP DAO
Cryptomeria Capital
Fundamental Labs
Coatue Management
比升资本
Binance Labs
同舟资本
共识实验室
DFG Capital
IOSG Ventures
One Block Capital
FBG Capital
节点资本
Continue Capital
Coinbase Ventures
比特大陆
BlockVC
Kenetic Capital
Insight Partners
Tiger Global
Advent International
高盛
Sequoia Capital
Lightspeed Venture Partners
标签
为您找到相关结果约 148 个：
PANews
链声黑板报
·
Q3 投资高达 49 笔，Coinbase Ventures 称这些领域不容错过
Coinbase Ventures 还总结了三季度关键主题，包括监管深入、多链趋势和 NFT 崛起等。
链闻
·
一文读懂GameFi挖矿及资产托管平台「Pacific」
Pacific 创新性地提出了 GameFi 挖矿及资产托管功能，为用户提供一键托管的傻瓜式操作，帮助更多玩家、投资人和观望者参与到元宇宙和 GameFi 中。
FootprintAnalytics
区块链研习社
巴比特资讯
链得得
·
【周报】全球数字货币总市值较上周上涨约3.97% | 8.16-8.22
得得智库统计一周数据，对市值Top30数字货币进行分析，观察比特币矿池份额波动，并附有新一周投资日历供读者进行前瞻性研究。
深链Deepchain
星球日报
白话区块链
区块链骑士
Defi之道
PolkaWorld
最新收录
更多
Chainbase
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。