Babylon称TBV完成审计，为原生比特币接入Aave v4做准备

Babylon 在 X 平台发文称，其 Trustless Bitcoin Vaults（TBV）协议已完成安全审计公司 Runtime Verification 的审计，为原生比特币在 Aave v4 主网上线抵押借贷做准备。

Runtime Verification 表示，此次审计历时 7 周，于 2026 年 5 月完成。审计工作结合了设计审查、人工代码审查，以及基于其符号执行引擎 Kontrol 的形式化验证。

按披露信息，审计范围覆盖金库生命周期、原子化跨链兑入兑出流程，以及与 Aave v4 集成中的结算、借贷和清算逻辑。Runtime Verification 还表示，审计过程中发现的所有问题，均已在修复期内得到处理或确认。