XRPL 開發者利用數學證明確保借貸市場安全性

XRP Ledger（XRPL）開發者正透過數學證明測試即將推出的借貸市場，以防止資金耗盡或資產無力償還。研究公司 Common Prefix 正使用 Lean 4 語言對 XRPL 借貸協議進行形式化驗證，確保協議不會進入違反會計與安全規則的狀態。此舉背景為 xrpld 3.4.0 版本引入了封閉式借貸金庫與現金基礎會計，該修正案尚待網路投票通過後生效。