项目简介
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 个：
火星财经
·
项目动态 | 3分钟读懂跨链收益聚合器项目ETHA Lend，它要为投资者节省52%的Gas费
今日早间，ETHA Lend宣布获DFG、Oasis Capital及Origin Capital等十逾家VC投资160万美元。
链声黑板报
巴比特资讯
CoinVoice
PolkaWorld
Bifrost 第二期铸币空投规则公布
Bifrost 将于 2021 年 2 月 8 日 14:00 开启第二期 Mint Drop，总计空投 500,000 BNC。本期 Mint Drop 将分为三轮空投，每轮限额铸造 5,000 ETH，总限额 15,000 ETH，每轮硬顶时间为 72 小时，若 vETH 限额铸满则该轮次立即 ...
CertiK
·
CertiK：Yearn.Finance惊爆漏洞，DeFi再遭打击，一文带你探明事件始末！
北京时间2月5日，CertiK安全技术团队发现DeFi项目Yearn.Finance发生攻击事件，攻击总损失高达约7100万人民币，黑客从中获利约1800万人民币。
Defi之道
·
平均每月 1 次攻击，涉及资金 1.2 亿美元，2020 年 DeFi 攻击大盘点
DeFi 是 2020 年加密经济秀上的明星，总体而言，这将是加密货币具有历史意义的一年。话虽如此，2020 年也出现了新一波复杂的攻击者，他们来探查并窃取年轻的 DeFi 项目持有的代币。让我们回顾一下今年最大规模、最“成功”的 DeFi 攻击。（译者注：本文为攻击事件的简要回顾，具体内容可 ...
星球日报
DappRadar
DappRadar 年度报告：一览 2020 DApp 生态发展与挑战
DeFi 成为 DApp 发展引擎，它将不仅为 NFT 和游戏，也为社交、物流和其他 DApp 类别构成加密经济的基础。
比推BitpushNews
Starbase
加密谷Live
·
安全丨我们每天遇到有漏洞的 DeFi 合约概率是多少？
身在新冠日增确诊 10 万例美国的小编，因为硬核原因不得不搭乘飞机出门。出行前一直担心是否会被感染，途中却被飞机遇到猛烈气流的颠簸唬住了。虽然心里默默安慰自己飞机空难发生的概率非常低，感染新冠肺炎的概率也没那么高，但还是想起来了四个字：“墨菲定律”。身为二十世纪西方文化三大发现之一，墨菲定 ...
Defi之道
·
DeFi 新玩法 | Aave 上线 V2，九大新功能优化 DeFi 体验
第三大 DeFi 借贷协议 Aave 今天公布了 V2 版，利用闪电贷使 DeFi 更加无缝和可组合。以下为 Aave 发布的有关 V2 的内容：这是我们一直在等待的时刻……Aave 协议的 V2 上主网了！今年年初推出的 Aave 协议 V1，其目标是解锁 DeFi 中的价值并改善用户体 ...
波卡生态｜Bifrost 推出 Mint Drop 计划，2 天后将启动 vETH 铸币空投
加入 PolkaWorld 社区，共建 Web 3.0！波卡生态 DeFi 协议 Bifrost 即将推出面向 ETH 2.0 的衍生品 vETH，vETH 将分为四个阶段启动，最终将以 ERC20 和 Substrate Base 双协议资产存在，可同时在 Ethereum 和 Polkado...
加密谷Live
·
安全丨 DeFi 项目 Walletreum 内部操作攻击事件分析
马克思曾在资本论中引用一句名言：“如果有 10% 的利润 , 它就保证到处被使用；有 20% 的利润 , 它就活跃起来；有 50% 的利润 , 它就铤而走险；为了 100% 的利润 , 它就敢践踏一切人间法律；有 300% 的利润 , 它就敢犯任何罪行 , 甚至绞首的危险。”对于区块链来 ...
波卡周报 | 波卡官方即将举办首次社区活动 Polkadot Decoded
加入 PolkaWorld 社区，共建 Web 3.0！ 波卡本周进展波卡全民公投 11 已经通过，Polkadot 已成功升级到 runtime v26。此 runtime 中的更改包括实现模块版本控制、批处理所有外部（原子批处理）和验证人选择计算的改进。https://polkadot...
区块链前哨
ParaState: 以太坊在波卡上的进化
加入 PolkaWorld 社区，共建 Web 3.0！以太坊无疑是目前所有公链当中应用生态最丰富的公链。然而，在以太坊创建之初，创建人其中之一的 Gavin Wood 博士也承认，以太坊虚拟机是一个简单、死板、代码运行较慢的沙盒环境。这导致了我们今天在以太坊开发上遇到的问题，包括不安全的智能合 ...
Defi之道
·
DeFi 新玩法 | 3 分钟了解 1inch V2 的新特性
11 月 6 日消息，去中心化交易所 (DEX) 聚合服务商 1inch 今日宣布推出 V2 版本协议，据悉，这一新版本的主要亮点是 Pathfinder，这是一个包含新发现 & 路由算法的 API，而另一个亮点就是一个新的直观且对用户友好的用户界面，总的来说，这些改进确保了 1inch ...
最新收录
更多
Chainbase
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。