Разработчики XRPL используют математические доказательства, чтобы проверить, может ли предстоящий кредитный рынок быть осушен или стать неплатежеспособным. Согласно NS3.AI, Common Prefix формально верифицирует Lending Protocol с помощью Lean 4.

Поправка к протоколу добавит закрытозаканчивающиеся кредитные хранилища и учет по кассовому методу, но ей всё равно требуется одобрение, прежде чем она сможет вступить в силу. Усилия по проверке не могут устранить дефолты заемщиков или устранить слабые места во внецепочечном андеррайтинге.