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