Les développeurs d’XRPL utilisent des preuves mathématiques pour examiner si le marché de prêt à venir pourrait être vidé ou devenir insolvable. D’après NS3.AI, Common Prefix vérifie formellement le protocole de prêt avec Lean 4.

L’amendement au protocole ajouterait des portefeuilles de prêt à clôture fermée et une comptabilité selon la comptabilité de caisse, mais il doit encore être approuvé avant de pouvoir prendre effet. L’effort de vérification ne peut pas supprimer les défauts des emprunteurs ni remédier aux faiblesses de la souscription hors chaîne.