返回 7*24 快讯
来源Foresight News

Babylon:TBV 完成安全审计,为原生比特币上线 Aave v4 主网做准备

Foresight News 消息,Babylon 发推表示,其 Trustless Bitcoin Vaults(TBV)协议已完成安全审计公司 Runtime Verification 的审计,为原生比特币在 Aave v4 主网上线抵押借贷做准备。Runtime Verification 表示,此次审计历时 7 周,于 2026 年 5 月完成,结合设计审查、人工代码审查及基于其符号执行引擎 Kontrol 的形式化验证,覆盖金库生命周期、原子化跨链兑入兑出流程,以及 Aave v4 集成中的结算、借贷与清算逻辑,审计过程中发现的所有问题均已在修复期内得到处理或确认。
免责声明:以上内容仅为作者观点,不代表 711BTC 的任何立场,不构成与 711BTC 相关的任何投资建议。

相关推荐

06-03 11:24

Babylon 原生比特币支持的借贷功能已在 Aave v4 公共测试网上线

Foresight News 消息,Babylon 宣布其原生比特币支持的借贷功能已在 Aave v4 公共测试网上线。该功能由 Babylon Trustless Bitcoin Vaults 提供支持,用户可将比特币作为抵押品进行借贷,无需转让托管权、进行封装或跨链。

05-26 07:55

Babylon提议在Aave V4上集成原生比特币抵押品,无需跨链桥和托管

PANews 5月26日消息,Babylon Labs在Aave社区发起温度检查提案,提议通过Babylon Trustless Bitcoin Vaults协议在Aave V4上集成原生比特币作为抵押品。该方案无需封装、跨链桥或托管方,用户将比特币锁定在Taproot UTXO中,赎回由链上规则(如贷款偿还)控制,直接结算至比特币UTXO。提案部署两个Aave V4 Spoke:Babylon Core Lending Spoke(借贷)和BTC Vault Swap Spoke(清算后结算)。抵押品以vaultBTC形式存在,是一种转账受限的ERC-20代币,仅限在固定白名单地址间转移。

07-27 23:25

Aave:Stable Vaults 已通过 Certora 形式化验证

Foresight News 消息,Aave 发推表示,智能合约形式化验证公司 Certora 已完成对 Stable Vaults 的验证,覆盖 StableVault、Funds Handler、Asset Registry、Allocator 及 IOU token 等合约,验证确认其 Solidity 实现符合 Certora 的形式化规则。Stable Vaults 是一套面向固定利率稳定币收益的一体化解决方案,可嵌入任意金融产品中,相关审计报告已公开发布。

07-15 12:42

Aave 的 Stable Vaults 将采用 Chainlink CCIP 作为跨链基础设施标准

Foresight News 消息,Aave 宣布已选择 Chainlink CCIP 作为其跨链基础设施标准,CCIP 目前已通过 Aave 交付基础设施(a.DI)承担跨链 GHO 转账与多链治理执行工作,后续还将通过 Stable Vaults 支持 Aave App 的跨链逻辑,覆盖金库再平衡、收益优化、存款和转账等场景,相关跨链操作将在以太坊、Base 与 Arbitrum 之间进行。

07-09 20:20

Aave Labs 推出 Stable Vaults,支持企业集成固定利率稳定币收益产品

Foresight News 消息,Aave Labs 宣布推出 Stable Vaults,这是一套可将固定利率稳定币收益嵌入任意产品的一体化智能合约金库方案。该金库目前已在 Aave 移动储蓄应用中运行,现已开放给企业基于此进行构建。 Stable Vaults 能够将链上可变借贷利率转换为企业可向用户提供的固定利率,并简化再平衡、跨链操作及用户利率支付等流程,企业可自主选择接受的稳定币种类、收益策略及向用户提供的固定利率,超出承诺部分的收益归运营方所有。该方案借助 Chainlink 的价格预言机和 CCIP 跨链桥接基础设施,支持用户在运营方接入的任意链上存取任意稳定币,应用场景包括新型银行嵌入固定利率储蓄、支付公司为商户闲置结算资金生息、钱包或交易所接入一键理财功能等。

07-16 18:59

Foresight News 将于 20:00 举办「从 RWA 到 Perps, Ondo 如何重塑链上交易生态」主题 X Spaces 活动

Foresight News 将于今日 20:00 举办「从 RWA 到 Perps, Ondo 如何重塑链上交易生态」主题 X Spaces 活动,本期对话嘉宾为 Ondo DeFi 负责人 Matt Blumberg。期待您的收听,我们不见不散。