CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。