XRP Ledger (XRPL) a publié la première spécification formelle de son moteur de paiement principal, améliorant ainsi la fiabilité des transferts XRP et des paiements multi-actifs. Développée en collaboration avec le partenaire de vérification formelle Common Prefix, cette spécification utilise des preuves mathématiques pour garantir une logique de transaction prévisible et auditable. Cette avancée vise à renforcer la fiabilité à long terme de l'infrastructure des applications financières sur le réseau XRPL.