XRP Ledger zweryfikowany przez oparty na blockchainie framework modelowania Kestrel pod kątem bezpieczeństwa i sprawiedliwości. To pokazuje silne zaufanie do zarządzania XRP i jego odporności na powszechne ataki. Formalna weryfikacja może przyczynić się do przyjęcia instytucjonalnego i innowacyjnych dApp na XRPL.