Babylon：TBV 完成安全審計，為原生比特幣上綫 Aave v4 主網做準備

BiRun 訊，Babylon 發推表示，其 Trustless Bitcoin Vaults（TBV）協議已完成安全審計公司 Runtime Verification 的審計，為原生比特幣在 Aave v4 主網上綫抵押借貸做準備。Runtime Verification 表示，此次審計歷時 7 週，於 2026 年 5 月完成，結閤設計審査、人工代碼審査及基於其符號執行引擎 Kontrol 的形式化驗証，覆蓋金庫生命週期、原子化跨鏈兌入兌出流程，以及 Aave v4 集成中的結算、借貸與清算邏輯，審計過程中發現的所有問題均已在脩復期內得到處理或確認。