Reason to trust
How Our News is Made
Strict editorial policy that focuses on accuracy, relevance, and impartiality
Ad discliamer
Morbi pretium leo et nisl aliquam mollis. Quisque arcu lorem, ultricies quis pellentesque nec, ullamcorper eu odio.
Testing encontró algo que los métodos convencionales pasaron por alto. El ingeniero de software de Ripple, Vito Tumas, reveló que el proceso de verificación formal que se está aplicando al próximo protocolo de préstamo del XRP Ledger ya ha descubierto casos límite complejos que los procedimientos de pruebas estándar no detectaron.
Ripple está trabajando junto a la firma de seguridad blockchain Common Prefix en el esfuerzo. Juntos, los equipos construyen un modelo abstracto del protocolo y lo comparan continuamente con la implementación en C++ de xrpld — el software del servidor del XRP Ledger — usando un marco de verificación creado para detectar discrepancias y vulnerabilidades potenciales antes de que lleguen a los usuarios.
Por qué las pruebas tradicionales son insuficientes
Tumas explicó que las pruebas convencionales solo cubren los escenarios que los desarrolladores piensan anticipar. La verificación formal, por el contrario, utiliza pruebas matemáticas para confirmar que el código se comporta correctamente en un conjunto mucho más amplio de condiciones, incluidos los casos límite que los testers humanos pueden nunca considerar.
La técnica se utiliza en campos donde el fracaso no es una opción, entre ellos sistemas aeronáuticos, plantas de energía nuclear y software de grado militar.
¡El próximo Protocolo de Préstamos está recibiendo Verificación Formal 👀!!
La tecnología usada para proteger plantas nucleares, aviones y sistemas militares se está aplicando al $XRP Ledger.
Llámalo Fortaleza XRP.
El DeFi nativo de XRP (sin contratos inteligentes) cumple con los estándares de seguridad de primera clase… https://t.co/KSAm0UuJC1 pic.twitter.com/D3aSFOUePS
— Vet (@Vet_X0) 8 de junio de 2026
El trabajo de verificación cubre dos funciones centrales del impulso nativo de DeFi de XRPL: el Protocolo de Préstamos y las Bóvedas de Activo Único. Ambas están diseñadas para llevar el préstamo y el endeudamiento directamente a la arquitectura Layer‑1 de XRPL, eludiendo la necesidad de contratos inteligentes tradicionales por completo.
Como la funcionalidad DeFi está incrustada a nivel del protocolo y no en capas de aplicación separadas, una falla tendría consecuencias para toda la red, no solo para una única aplicación.
IA y Verificación Formal
El validador dUNL de XRPL, Vet, quien dio mayor visibilidad a la iniciativa mediante una publicación en X, dijo que la inteligencia artificial está desempeñando un papel creciente al hacer que la verificación formal sea más práctica y accesible a gran escala.
Sugirió que combinar IA con verificación formal podría reforzar la confianza institucional en el ecosistema del XRP Ledger en el futuro.
La comunidad de XRPL ha visto lo que el análisis de seguridad asistido por IA puede lograr. A principios de este año, una herramienta de IA identificó una vulnerabilidad en la enmienda Batch propuesta que podría haber expuesto los fondos de los usuarios a riesgo.
### El Préstamo Nativo Avanza Hacia su Activación
El protocolo de préstamo se introdujo bajo la enmienda XLS‑66 y entró en la fase de votación de los validadores a principios de este año tras el lanzamiento de la versión 3.1.0 de XRPL.
Según Vet, los desarrolladores siguen en la fase de pruebas mientras se implementan las salvaguardas de seguridad necesarias antes de que la función se active.
Se espera que tanto usuarios institucionales como minoristas puedan acceder a crédito usando activos como XRP y RLUSD una vez que el protocolo esté activado.
Imagen destacada de Biotech Healthcare, gráfico de TradingView
