XRP Ledger ověřený blockchainovým modelovacím rámcem Kestrel pro bezpečnost a spravedlnost. To ukazuje silnou důvěru v řízení XRP a jeho odolnost vůči běžným útokům. Formální ověření by mohlo podpořit institucionální přijetí a inovativní dApps na XRPL.