XRP 賬本（XRPL）的開發者正在利用數學證明，對該平台的新借貸市場進行破產風險驗證，Common Prefix 自 9 月 17 日起已正式對該協議展開測試。這家協議研究公司正在使用定理證明語言 Lean 4，以確保借貸協議不會違反其會計和安全規則。 此項工作緊隨近期發佈的 xrpld 3.4.0 版本修訂（LendingProtocolV1_1）之後，該版本引入了封閉式借貸金庫和現金基礎會計，從而提高了對內部記賬準確性的要求。Common Prefix 此前在 2 月至 4 月期間進行的驗證工作，已發現並解決了借貸協議早期版本中的若干問題。