Certora
项目简介
区块链智能合约安全分析公司
投资机构
为您找到相关结果约 9 个：
News区块链前沿
链声黑板报
MooreCapital
链捕手
Defi之道
·
DeFi 新玩法 | Aave 上线 V2，九大新功能优化 DeFi 体验
第三大 DeFi 借贷协议 Aave 今天公布了 V2 版，利用闪电贷使 DeFi 更加无缝和可组合。以下为 Aave 发布的有关 V2 的内容：这是我们一直在等待的时刻……Aave 协议的 V2 上主网了！今年年初推出的 Aave 协议 V1，其目标是解锁 DeFi 中的价值并改善用户体 ...
小吒闲谈
·
Aave V2 上线，刺激锁仓量涨到 10 亿美金，跃居第二
最近市场热点是一个接一个，从 YAM 到 CRV，流动性挖矿不断上演，调动大家的神经，让大家感动，连睡觉都是浪费。在 DeFi 头部协议中，Aave 是一个宣布要搞流动性挖矿，而还没搞的一个重磅项目。如今它带着它的 V2 版本来了。Aave V2 为了进一步推进去中心化发展，为用户 ...
Defi之道
·
减少中心化依赖，Compound 发布价格预言机 Open Price Feed
来源 | 巴比特 DeFi 协议 Compound 已经发布了自己的价格预言机 Open Price Feed，一个无需许可的、可升级的喂价机制。该预言机由 Open Zeppelin 负责代码审计，Certora 来明确合约内容的形式验证。价格预言机是一种第三方的、去中心化的数据来源，能够 ...
最新收录
更多
Chainbase
Chainbase是一个全链数据网络。它的核心使命是为人工智能时代提供一个透明、可靠、无需许可的数据层。通过其模块化设计，它支持跨链的数据互操作性和可编程性，使构建和使用数据模型变得容易。
Allium
Allium 提供链上数据基础设施产品，从托管的区块链数据库、丰富的数据模式到实时警报功能。
Liquidium
Liquidium 是一种点对点借贷解决方案，它利用离散日志合约 (DLC) 和部分签名比特币交易 (PSBT) 的强大功能，使用户能够以原生 Ordinal 作为抵押品借入和借出原生比特币。
JOJO
JOJO Exchange 是一款 DeFi 原生永续合约交易平台，支持子账户、全仓杠杆等功能。
Truvius
Truvius 致力于为机构和个人提供精心构建的主题数字资产投资组合。该平台使客户能够访问针对数字资产领域量身定制的可投资被动和主动系统投资组合。