El código de préstamos de XRP Ledger enfrenta una revisión formal antes de la votación en Mainnet

TLDR:

• RippleX está probando el código de préstamos de XRPL antes de que los validadores consideren la activación en Mainnet.
• La verificación formal puede exponer errores contables y de estado que las pruebas normales no detectan.
• XLS-66 añadiría préstamos a plazo fijo financiados por la liquidez de Single Asset Vault.
• XRP cotiza cerca de $1.17 mientras XRPL prepara actualizaciones técnicas y de gobernanza.

Los desarrolladores de RippleX están aplicando verificación formal al código de préstamos de XRP Ledger antes de que la función pueda avanzar hacia la activación en Mainnet. El trabajo abarca el Protocolo de Préstamos XLS-66 y los Single Asset Vaults XLS-65 planificados, que añadirían funciones de préstamo nativas a XRPL.

La revisión se está llevando a cabo con Common Prefix, una empresa de investigación de protocolos. El objetivo es comprobar si el diseño de préstamos puede entrar en estados no seguros antes de que los validadores decidan sobre la activación.

El proceso es importante porque XRPL planea integrar los préstamos directamente dentro de su protocolo base. Eso difiere de muchos sistemas DeFi, donde los préstamos son gestionados por contratos inteligentes separados.

La revisión de préstamos de XRP Ledger se centra en la seguridad de Capa 1

La verificación formal utiliza modelos matemáticos para comprobar reglas de seguridad definidas. No solo verifica los casos esperados. Pregunta si el sistema puede comportarse fuera de su diseño previsto.

El ingeniero de Ripple Vito Tumas dijo que las pruebas tradicionales tienen límites cuando DeFi se ejecuta directamente en la Capa 1. Las pruebas estándar dependen de escenarios que los desarrolladores ya imaginan. Los modelos formales pueden explorar espacios de estado más amplios.

RippleX indicó que el trabajo ahora se centra en los Single Asset Vaults y el Protocolo de Préstamos. Estas funciones introducen lógica financiera vinculada a participaciones en vaults, términos de préstamos, intereses, impagos, congelaciones y recuperaciones.

Esa complejidad hace que la precisión contable sea importante. Los pequeños errores de redondeo o de saldo pueden acumularse cuando las transacciones se repiten entre muchos usuarios. En un sistema de capa base, esos errores pueden afectar a todas las aplicaciones que utilicen la función.

El proceso de Common Prefix crea un modelo abstracto del comportamiento esperado. Los desarrolladores luego comparan los resultados con la implementación de xrpld. Cualquier discrepancia puede revelar un defecto potencial o un problema de diseño.

RippleX ha indicado que el modelado temprano ya ha detectado casos extremos que las pruebas normales pasaron por alto. Eso no prueba que el software esté libre de errores. La verificación formal depende del modelo y las propiedades elegidos.

Los validadores aún necesitan aprobar las enmiendas de préstamos de XRPL

XLS-66 permitiría préstamos a plazo fijo sin garantía financiados a través de Single Asset Vaults. Los intermediarios de préstamos establecerían los términos y gestionarían el riesgo. Las verificaciones de crédito de los prestatarios ocurrirían fuera de la cadena antes de que los fondos se muevan en la cadena.

El diseño también admite capital de primera pérdida opcional. Ese capital puede absorber parte de un impago antes de que los depositantes del vault sufran pérdidas. El modelo busca separar las decisiones de suscripción de la liquidación en cadena.

Los Single Asset Vaults agrupan un activo para su uso en los mercados de préstamos. Esta estructura evita los fondos de activos mixtos y puede limitar el riesgo contable entre activos. También es compatible con XRP y activos emitidos, según las reglas del protocolo.

Los controles de cumplimiento pueden aplicarse a los tokens emitidos elegibles. Estos incluyen funciones de congelación y recuperación donde las reglas del token lo permiten. Ese diseño puede hacer que el sistema sea más relevante para los activos regulados.

La versión 3.1.0 de XRPL añadió soporte para las enmiendas de préstamos y vaults en enero. La versión introdujo las funciones SingleAssetVault y LendingProtocol, pero la activación todavía depende del proceso de enmienda. 

La red ya ha expresado cautela sobre las funciones principales propuestas. La versión 3.1.1 desactivó el soporte de Batch después de que los investigadores encontraran un fallo en la enmienda propuesta. Ese caso aumentó la atención en las pruebas previas a la activación.

La versión 3.1.3 de XRPL añadió posteriormente correcciones vinculadas a NFTs, Dominios con Permisos, Vaults, el Protocolo de Préstamos y Multi-Purpose Tokens. Se espera que la versión 3.2.0 de XRPL llegue alrededor del 15 de junio y cambiará el nombre del software del servidor principal de rippled a xrpld. 

El artículo El código de préstamos de XRP Ledger enfrenta una revisión formal antes de la votación en Mainnet apareció primero en Blockonomi.