项目简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
投资机构
标签
为您找到相关结果约 148 个：
PANews
火星财经
链声黑板报
News区块链前沿
白话区块链
区块律动BlockBeats
MooreCapital
星球日报
链捕手
CertiK
最新收录
更多
EarlyFans
EarlyFans 是 Blast L2 上的 SocialFi 产品，旨在帮助创作者和早期粉丝盈利，而无需广告或商业炒作。
Mystiko.Network
Mystiko.Network 是 Web3 的零知识技术 (ZK) 层，它提供通用的 ZK 协议和 ZK 软件开发套件，同时具有可扩展性、互操作性和隐私性。 Mystiko 充当所有第 1 层、第 2 层、钱包、跨链桥、去中心化交易所 (DEX) 和其他去中心化应用程序 (Dapp) 的通用 ZK 层。
Asterix
Asterix 正在释放数字所有权的新可能性，由 DN404 赋能。 DN404 是一个将可替代的 ERC-20 代币合约和不可替代的 ERC-721 代币合约相互链接的合约。 将它们相互关联意味着对一份合约采取的行动会反映在另一份合约上。
Bi.social
Bi.social 是一个 Web3 原生社交协议。 Bi.social 有多个组件进一步丰富了 Bi.social 的用户体验：用户 Web3 个人资料 Bi·Space，个性化、信息丰富的 Bi·Feed，以及去中心化身份服务Bi DID。
AINN Layer2
AINN Layer2 (AIL2) 是与 EVM 兼容的比特币 Layer2，使用铭文作为 Gas。AIL2 利用挖矿激励完美运行AI训练的共享算力平台，用AI释放区块链的全部潜力。