El libro mayor de XRP verificado por el marco de modelado basado en blockchain Kestrel por su seguridad y equidad. Esto muestra una fuerte confianza en la gobernanza de XRP y su resistencia a ataques comunes. La verificación formal podría impulsar la adopción institucional y las dApps innovadoras en XRPL.