XRP Ledger подтвержден модельной системой на основе блокчейна Kestrel для обеспечения безопасности и справедливости. Это демонстрирует высокую уверенность в управлении XRP и его устойчивости к распространенным атакам. Формальная верификация может способствовать институциональному принятию и инновационным dApps на XRPL.