XRP Ledger (XRPL) ha publicado la primera especificación formal de su motor de pagos central, mejorando la fiabilidad de las transferencias de XRP y los pagos multi-activos. Desarrollada en colaboración con el socio de verificación formal Common Prefix, esta especificación utiliza pruebas matemáticas para garantizar una lógica de transacción predecible y auditable. Este avance tiene como objetivo fortalecer la fiabilidad a largo plazo de la infraestructura de las aplicaciones financieras en la red XRPL.