Certora
项目简介
区块链智能合约安全分析公司
投资机构
为您找到相关结果约 10 个：
深潮TechFlow
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 来明确合约内容的形式验证。价格预言机是一种第三方的、去中心化的数据来源，能够 ...
最新收录
更多
Almanak
Almanak 是一个 web3 模拟基础设施，它利用基于代理的建模来优化 DeFi 和游戏项目。Almanak 的使命是利用数据科学和交易知识来最大化协议的盈利能力，同时确保其经济安全。
StableStock
StableStock 是一个结合传统金融和去中心化金融的链上股票资产平台，旨在通过稳定币结算提供美股等资产的数字化交易方式。平台包含三大核心模块：StableBroker（支持稳定币买入股票）、StableVault（将股票资产代币化并用于链上应用）、StableSwap（实现不同代币的低滑点兑换）。
OVERTAKE
OVERTAKE 是一个面向游戏开发者的平台，用户可以在这里玩游戏、构建游戏并获利。其使命是为数据驱动的游戏开发者创建一个游乐场，让用户能够积极参与游戏内容的创作、策划和分发，最终促进更高效、更包容的生态系统。
LYS Labs
LYS Labs旨在简化和优化加密货币领域的流动性质押和再质押流程。 其创新的核心是流动性模态衍生品（LMD），以基于以太坊的新型金融工具为代表
IVIX
IVIX 是一个基于区块链的 Web3 项目，专注于检测数字时代的金融犯罪并缩小税收差距，利用区块链技术提供透明数据追踪和去中心化合规解决方案。