项目简介
CertiK 致力于通过全球领先的形式化验证技术，提供最有竞争力的规模化智能合约验证服务来保证智能合约和区块链系统的安全性。 该公司是由三位计算机科学领域的自身教授创立的公司，团队核心成员包括耶鲁大学教授邵中、哥伦比亚大学教授顾荣辉，项目旨在解决帮助智能合约进行安全性验证的行业痛点。邵中是耶鲁大学计算机系系主任兼终身教授、中科大大师讲席教授，拥有 20 余年安全领域经验；顾荣辉是哥伦比亚大学教授、清华大学本科、耶鲁大学博士。
投资机构
标签
为您找到相关结果约 148 个：
Defi之道
Cointelegraph中文
链声黑板报
火星财经
金色财经
白话区块链
TokenInsight
真本聪RealSatoshi
CertiK
·
CertiK：不借助漏洞的攻击？True Seigniorage Dollar攻击事件分析
CoinVoice
星球日报
区块链研习社
最新收录
更多
GEODNET
GEODNET 的任务是使用新型屋顶空间气象站从地球及其大气层收集密集的实时地理空间数据。区块链的使用将促进一个强大而有弹性的网络，该网络提供用于农业、交通和金融等关键经济部门的安全和可信的地理空间数据产品，以及 Autonomy、AR/VR 和 Metaverse 的新兴应用程序。
Plena
Plena Wallet 是一个支持帐户抽象的多链自我托管钱包，并提供加密资讯和见解。
SendingNetwork
Sending.Network 是一个高性能、开放的 Web3 通信协议，其中从消息数据、用户 ID 到社交图谱的每个组件都是去中心化的。它旨在帮助开发人员构建社交去中心化应用程序，并帮助社区访问加密的去中心化群聊平台。
Saakuru
Saakuru 是一种以消费者为中心的 L2 协议，使用 OP Stack 开发，具有零交易费用，并利用委托模型消除用户的 Gas 费，为构建在 Saakuru 之上的任何应用程序创建无摩擦的体验，并通过 Saakuru 开发套件进行增强，支持嵌入复杂的内容 数字产品在 1 天内升级为 Web3。 以 Saakuru 区块链为中心的强大且对开发人员友好的产品套件可实现从 Web2 到 Web3 的经济高效且无缝的连接。
Circle of Games
Circle of Games 是一个由 COG-DAO 拥有和管理的区块链上的游戏平台。