Aave：Stable Vaults 已通过 Certora 形式化验证
相关推荐
Aave 的 Stable Vaults 将采用 Chainlink CCIP 作为跨链基础设施标准
Foresight News 消息，Aave 宣布已选择 Chainlink CCIP 作为其跨链基础设施标准，CCIP 目前已通过 Aave 交付基础设施（a.DI）承担跨链 GHO 转账与多链治理执行工作，后续还将通过 Stable Vaults 支持 Aave App 的跨链逻辑，覆盖金库再平衡、收益优化、存款和转账等场景，相关跨链操作将在以太坊、Base 与 Arbitrum 之间进行。
Aave Labs 推出 Stable Vaults，支持企业集成固定利率稳定币收益产品
Foresight News 消息，Aave Labs 宣布推出 Stable Vaults，这是一套可将固定利率稳定币收益嵌入任意产品的一体化智能合约金库方案。该金库目前已在 Aave 移动储蓄应用中运行，现已开放给企业基于此进行构建。 Stable Vaults 能够将链上可变借贷利率转换为企业可向用户提供的固定利率，并简化再平衡、跨链操作及用户利率支付等流程，企业可自主选择接受的稳定币种类、收益策略及向用户提供的固定利率，超出承诺部分的收益归运营方所有。该方案借助 Chainlink 的价格预言机和 CCIP 跨链桥接基础设施，支持用户在运营方接入的任意链上存取任意稳定币，应用场景包括新型银行嵌入固定利率储蓄、支付公司为商户闲置结算资金生息、钱包或交易所接入一键理财功能等。
Babylon：TBV 完成安全审计，为原生比特币上线 Aave v4 主网做准备
Foresight News 消息，Babylon 发推表示，其 Trustless Bitcoin Vaults（TBV）协议已完成安全审计公司 Runtime Verification 的审计，为原生比特币在 Aave v4 主网上线抵押借贷做准备。Runtime Verification 表示，此次审计历时 7 周，于 2026 年 5 月完成，结合设计审查、人工代码审查及基于其符号执行引擎 Kontrol 的形式化验证，覆盖金库生命周期、原子化跨链兑入兑出流程，以及 Aave v4 集成中的结算、借贷与清算逻辑，审计过程中发现的所有问题均已在修复期内得到处理或确认。
Foresight News 将于 20:00 举办「从 RWA 到 Perps， Ondo 如何重塑链上交易生态」主题 X Spaces 活动
Foresight News 将于今日 20:00 举办「从 RWA 到 Perps， Ondo 如何重塑链上交易生态」主题 X Spaces 活动，本期对话嘉宾为 Ondo DeFi 负责人 Matt Blumberg。期待您的收听，我们不见不散。
Babylon 原生比特币支持的借贷功能已在 Aave v4 公共测试网上线
Foresight News 消息，Babylon 宣布其原生比特币支持的借贷功能已在 Aave v4 公共测试网上线。该功能由 Babylon Trustless Bitcoin Vaults 提供支持，用户可将比特币作为抵押品进行借贷，无需转让托管权、进行封装或跨链。
Aave V4 新增支持 Pendle 上 PT Looping
Foresight News 消息，Pendle 发推表示，Aave V4 新增支持 Pendle 上 PT Looping。用户可参与 Global Dollar Network 的 PT-USDG 循环借贷策略。Aave V4 的利率基于全中枢利用率定价，循环操作不会推高自身利率。