XRPLの開発者たちは、近い将来の貸付市場が流出（ドレイン）される、または支払不能（インソルベント）になる可能性があるかを検討するために、数学的な証明を用いています。NS3.AIによると、Common PrefixはLean 4でLending Protocolを形式的に検証しています。

プロトコルの改正により、クローズドエンド型の貸付ビルトと現金主義の会計が追加される予定ですが、発効するには承認がまだ必要です。検証の取り組みでは、借り手のデフォルトを除去したり、オフチェーンの引受（アンダーライティング）の弱点に対処したりすることはできません。