XRP Ledger Añade Seguridad de Grado Militar Mediante el Estándar del Motor de Pagos
Ripple ha publicado la primera especificación formal del Motor de Pagos de XRP Ledger (XRPL), en colaboración con la empresa de métodos formales Common Prefix. Este documento, alojado en GitHub, busca establecer una referencia canónica para las transferencias de valor en el comportamiento de pagos en el libro mayor, con el objetivo de reemplazar el código C++ como fuente de verdad única.
El objetivo es proporcionar certeza matemática y seguridad de grado militar, especialmente ante la llegada de funciones complejas como préstamos, tokens multipropósito (MPT) y transacciones por lotes. La especificación se centra en dos componentes críticos: el Motor de Pagos y el Protocolo de Consenso.
Ripple planea comenzar la verificación formal de ambos en 2026, marcando un cambio de "el código como verdad" a "las matemáticas como verdad". La comunidad de XRP ha recibido el anuncio con entusiasmo, destacando su potencial para auditorías avanzadas y mayor diversidad de clientes. Al cierre, XRP cotizaba a $1.83.
bitcoinist12/18 14:05
