XRPL-Entwickler verwenden mathematische Beweise, um zu untersuchen, ob der bevorstehende Lending-Markt ausgehöhlt werden oder zahlungsunfähig werden könnte. Laut NS3.AI verifiziert Common Prefix formal das Lending Protocol mit Lean 4.

Die Protokolländerung würde geschlossene Lending-Vaults und eine Cash-Basis-Buchführung hinzufügen, aber sie bedarf noch einer Genehmigung, bevor sie wirksam werden kann. Der Verifizierungsaufwand kann weder Kreditausfälle von Kreditnehmern verhindern noch Schwächen im Off-Chain-Underwriting beheben.