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 来明确合约内容的形式验证。价格预言机是一种第三方的、去中心化的数据来源，能够 ...
最新收录
更多
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 拥有和管理的区块链上的游戏平台。