Pengembang XRPL menggunakan bukti matematis untuk meneliti apakah pasar pinjaman yang akan datang dapat dikuras atau menjadi tidak solvabel. Menurut NS3.AI, Common Prefix memverifikasi secara formal Lending Protocol dengan Lean 4.

Amandemen protokol akan menambahkan brankas pinjaman tertutup dan akuntansi berbasis kas, tetapi masih memerlukan persetujuan sebelum dapat berlaku. Upaya verifikasi tidak dapat menghapus gagal bayar peminjam atau mengatasi kelemahan dalam penjaminan off-chain.