项目简介
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 个：
加密谷Live
·
安全丨推特大规模被黑，苹果、亚马逊，甚至前总统都被殃及？
“你给我 100 红包，我明儿给你 200 怎么样。” 敢发红包笃定能收到回馈的，怕是只有最信任的人了。法制节目经常会播放一些类似的骗局来警示大家。然而能上当的本质还是在于这两个字：信任。推特被黑事件北京时间 2020 年 7 月 16 日凌晨三点左右，CertiK 安全团队的研究人员检 ...
真本聪RealSatoshi
铸币奖励启动在即，跨链 DeFi 探索者 Kava 如何建设去中心化金融？
Kava 最大的亮点就是将陆续支持「主流跨链资产」的抵押借贷，包括 BNB、BTC、XRP 和 ATOM 等。
加密谷Live
·
硬核丨空手套以太： Balancer 攻击解析
6 月 29 日北京时间凌晨 2 点 03 分，CertiK 天网系统 (Skynet) 检查到在区块 10355807 处 Balancer DeFi 合约异常，安全研究员迅速介入调查，攻击过程浮出水面。 6 月 29 日凌晨 2 点 03 分，攻击者利用从 dYdX 闪电贷中借到的 WET...
加密谷Live
·
项目丨四月份跨链项目重大进展汇总
四月份，跨链赛道技术上没有什么大进展。Cosmos 正在准备 Game of Zones 的一系列对抗性测试网比赛 ，IBC 1.0 的版本目前已经完成 73%，跟上个月对比进度倒退 1%。波卡很可能在 5 月份上线主网测试版，目前公布了 5 家代码审计的公司。IRIS 这个月主要是与其它项目合作，...
PANews
·
周刊 | DeFi项目接连遭遇攻击损失近2500万美元；央行数字货币落地内测
摘要： 央行数字货币首个应用场景落地；Lendf.Me遭攻击累计损失超2469万美元；Libra 发布...
币新区块
·
起底 FCoin 利益相关人名单
核心团队根据此前的报道，Fcoin 的核心团队包括创始人 张健和其妻子 Lynn 。此外，在 2019 年上半年增持 FT 后，共识实验室官方宣布，委派副总裁朱玮出任 FCoin 生态负责人。此前曾有过媒体报道的 FT 生态负责人 Carrie Yang、公链负责人焦锋、FT 社区代表 Ch...
星球日报
加密谷Live
·
项目动态 | CertiK 与 OKEx 旗下交易平台达成战略合作
11 月 22 日，业内领先安全机构 CertiK 与数字资产交易所 CoinAll 达成安全战略合作关系，CertiK 将携手 CoinAll 为区块链行业安全持续保驾护航。 作为新社区平台领航者，CoinAll 是世界顶级交易所 OKEx 唯一子平台，是其旗下首家开放共赢交易平台。它 ...
加密谷Live
·
项目动态 | CertiK 与 OKEX 联合举办全球大学联会
11 月 11 日在哥伦比亚大学，CertiK 与 OKEX 携手举办全球大学联会。联会现场齐聚众多重量级来宾，人潮涌动，场面异常火爆，由于场地限制，部分来宾甚至置身会场外倾听宣讲，此次活动旨在思维的碰撞，共同探讨区块链领域的发展趋势及未来。CertiK 团队联合创始人顾荣辉教授在接受专访时表示 ...
加密谷Live
·
CertiK 对以太坊“伊斯坦布尔”升级的解读
来源 | CertiK 如今，以太坊网络正蓬勃发展，开发人员计划引入新的系统把目前每秒 20 个交易量扩展到每秒数十万交易量，这也正是 21 世纪探索开发区块链的大势所趋。对于智能合约开发人员来说，这意味着需要持续跟踪以太坊更新的情况，了解每个代码的更改形式。听起来这似乎大幅增加了智能合约开发 ...
预言机新星 Band Protocol 登场，将开启区块链大航海时代？
Band Protocol 联合创始人Soravis，他详细介绍 Band Protocol 的愿景、价值和竞争优势等。
加密谷Live
·
HashKey Research：数字资产合规投资渠道全景式概览
作者 | HashKey Capital 来源 | HashKey Hub 社区合规出入金渠道概述 1.1 合规出入金渠道参与者分类 目前合规出入金渠道的参与者分类及流程如下： 参与者多，但并非都和数字资产产生直接关系。如果以客户类型进行分类，也可以分成 toC （直接面 ...
加密谷Live
·
致敬教师节！细数计算机领域老师们的“双面人生”
来源 | CertiK 今天是教师节。每个人都经历过学生时代，“教师”是人类文明史上不可或缺的一环。那些为人类社会进步做出了贡献的科学家，有很多自身也是优秀的教师。他们的发明创造推动了社会的发展，与此同时，他们的育人精神也促进了文明的传承。在计算机和加密经济领域，有一群人，他们既是理论或技 ...
HashKeyCapitalResearch
链闻
金色财经
·
V神：若开发团队运转良好，Casper今年将会上测试网
围绕以太坊 2.0 的发展，Vitalik 做出了展望。Vitalik 认为，以太坊 2.0 将能实现管理PoS协议（Casper）以及所有的分片链的功能。
链内参
碳链价值
最新收录
更多
Chainbase
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。