El Protocolo de Préstamos de XRP Ledger Pasa por una Verificación Formal

Un hito clave se está desarrollando para el XRP Ledger. Vet, un validador en el dUNL de XRPL, ha revelado que el próximo protocolo de préstamos nativo está siendo sometido a verificación formal. Esto no es simplemente una verificación de seguridad simple. Los desarrolladores de Ripple están aplicando técnicas típicamente utilizadas en plantas nucleares, sistemas de aeronaves y software militar. El objetivo es hacer que el ecosistema DeFi nativo en XRPL sea lo más seguro posible.

¿Qué es la Verificación Formal?

La verificación formal es un método que prueba matemáticamente que el código de software se comporta correctamente bajo todas las condiciones posibles. Esto es diferente de las pruebas regulares, donde los desarrolladores solo pueden verificar los escenarios que anticipan. El ingeniero de software de Ripple, Vito Tumas, lo explicó directamente. Señaló que las pruebas tradicionales por sí solas no pueden asegurar completamente los complejos protocolos financieros de Capa 1. Los fallos en este nivel pueden afectar a toda la red, no solo a una aplicación.

Para llevar a cabo este trabajo, Ripple está colaborando con Common Prefix. Juntos, construyen un modelo abstracto del protocolo de Empréstitos y préstamos y lo comparan con el código C++ real de xrpld. Este proceso ya ha encontrado casos límite complejos que las pruebas estándar pasaron por alto, según Tumas.

El Papel de la IA en la Seguridad

Vet también destacó cómo el Agente de IA está haciendo que la verificación formal sea más práctica y escalable. Él cree que esta combinación podría impulsar la adopción institucional en XRPL. La comunidad XRPL ya ha visto los beneficios antes. A principios de este año, una herramienta de IA descubrió un fallo en la propuesta de enmienda XRPL Batch. Ese fallo podría haber puesto en riesgo los fondos de los usuarios. Después de que el investigador de seguridad Pranamya Keshkamat encontrara el problema, los desarrolladores lo corrigieron y ampliaron las auditorías de IA a otros procesos de revisión.

El Protocolo de Préstamos y los Próximos Pasos

El ecosistema XRPL está trabajando para llevar los Empréstitos y préstamos nativos directamente procesamiento en cadena. Esto permitiría a las instituciones y usuarios minoristas acceder al crédito utilizando activos como XRP y RLUSD sin depender de contratos inteligentes tradicionales. La iniciativa, introducida bajo la enmienda XLS-66, entró en la fase de votación de validadores a principios de este año tras el lanzamiento de la versión 3.1.0 de XRPL.

Vet mencionó que los desarrolladores están actualmente probando el protocolo de préstamos. Están implementando salvaguardas para garantizar que los fondos de los usuarios permanezcan seguros antes de que la función sea activada. La visión, tal como la describió Vet, es construir "Fortress $XRP". Esto significa operar la infraestructura DeFi nativa de XRPL bajo los más altos estándares de seguridad y garantía.

The post XRP Ledger Lending Protocol Undergoes Formal Verification appeared first on TheCryptoUpdates.