项目简介
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
火星财经
链声黑板报
News区块链前沿
白话区块链
区块律动BlockBeats
MooreCapital
星球日报
链捕手
CertiK
最新收录
更多
Almanak
Almanak 是一个 web3 模拟基础设施，它利用基于代理的建模来优化 DeFi 和游戏项目。Almanak 的使命是利用数据科学和交易知识来最大化协议的盈利能力，同时确保其经济安全。
StableStock
StableStock 是一个结合传统金融和去中心化金融的链上股票资产平台，旨在通过稳定币结算提供美股等资产的数字化交易方式。平台包含三大核心模块：StableBroker（支持稳定币买入股票）、StableVault（将股票资产代币化并用于链上应用）、StableSwap（实现不同代币的低滑点兑换）。
OVERTAKE
OVERTAKE 是一个面向游戏开发者的平台，用户可以在这里玩游戏、构建游戏并获利。其使命是为数据驱动的游戏开发者创建一个游乐场，让用户能够积极参与游戏内容的创作、策划和分发，最终促进更高效、更包容的生态系统。
LYS Labs
LYS Labs旨在简化和优化加密货币领域的流动性质押和再质押流程。 其创新的核心是流动性模态衍生品（LMD），以基于以太坊的新型金融工具为代表
IVIX
IVIX 是一个基于区块链的 Web3 项目，专注于检测数字时代的金融犯罪并缩小税收差距，利用区块链技术提供透明数据追踪和去中心化合规解决方案。