XRP Ledger（XRPL）の開発者は、数学的証明を利用して、プラットフォームの新しい貸付市場における破産リスクを検証しています。Common Prefixは9月17日から正式にこのプロトコルのテストを開始しました。このプロトコル研究会社は、定理証明言語Lean 4を使用して、貸付プロトコルがその会計およびセキュリティ規則に違反しないことを保証しています。この作業は、最近リリースされたxrpld 3.4.0バージョン（LendingProtocolV1_1）の改訂に続くもので、これによりクローズドエンド型貸付金庫と現金ベースの会計が導入され、内部帳簿の正確性に対する要求が高まりました。Common Prefixは、2月から4月にかけて実施した以前の検証作業で、貸付プロトコルの初期バージョンにおけるいくつかの問題を発見し、解決しました。