XRP Ledger verificado por el marco de modelado basado en blockchain Kestrel para garantizar la seguridad y la equidad. Esto demuestra una gran confianza en la gobernanza de XRP y su resistencia a ataques comunes. La verificación formal podría impulsar la adopción institucional y dApps innovadoras en XRPL.