Các nhà phát triển XRPL đang sử dụng các chứng minh toán học để xem xét liệu thị trường cho vay sắp tới có thể bị rút cạn hoặc trở nên mất khả năng thanh toán hay không. Theo NS3.AI, Common Prefix đang xác minh một cách chính thức Giao thức Cho vay với Lean 4.

Sửa đổi giao thức sẽ bổ sung các quỹ cho vay có kỳ hạn đóng và kế toán theo cơ sở tiền mặt, nhưng vẫn cần được phê duyệt trước khi có thể có hiệu lực. Nỗ lực xác minh không thể loại bỏ các khoản nợ xấu của người vay hoặc giải quyết các điểm yếu trong thẩm định ngoài chuỗi.