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