根据 Babylon 的官方公告，该协议的无信任比特币金库（TBV）于 2026 年 5 月完成了 Runtime Verification 的安全审计，为在 Aave v4 主网上使用原生比特币作为抵押品进行借贷做好了准备。此次审计历时 7 周，结合了设计审查、手动代码分析，以及通过 Runtime Verification 的 Kontrol 引擎进行的形式化验证，覆盖了金库生命周期、原子跨链兑换机制，以及 Aave v4 的结算、借贷和强制平仓逻辑。所有发现的问题均已在修复阶段得到解决或确认。