El CTO Emérito de Ripple, David Schwartz, destaca la validación por consenso de XRPL mientras el precio de XRP se mantiene en $1,41

Los ingenieros de software que trabajan en el XRP Ledger ampliaron las pruebas comprobadas por máquina para verificar el código central en toda la red. La ingeniera de RippleX, Mayukha Vadari, confirmó una colaboración con la firma de investigación CommonPrefix para demostrar matemáticamente que las partes fundamentales del XRP Ledger funcionan según lo previsto.

El sistema de verificación utiliza pruebas matemáticas comprobadas por máquina para evaluar las especificaciones del software ante todas las entradas posibles. A diferencia de los conjuntos de pruebas estándar que comprueban ejecuciones de datos específicas, las pruebas matemáticas completas verifican todo el rango de entradas. Los equipos de ingeniería emplean la misma tecnología central para formalizar teoremas matemáticos complejos.

David Schwartz destaca la prueba de consenso del XRP Ledger

El desarrollo atrajo la atención de miembros de la comunidad de XRP (XRP-USD) y del ex CTO de Ripple, David Schwartz. Schwartz ayudó a diseñar la arquitectura original del XRP Ledger antes de pasar a su puesto de emérito. En respuesta al anuncio, David Schwartz declaró: “He descubierto una prueba fantástica de la validez formal del algoritmo de consenso de XRPL, pero las limitaciones de longitud de los posts en X hacen que las publicaciones sean demasiado cortas para contenerla”.

Schwartz continúa ejecutando su propio nodo en la red para recolectar datos y ajustar el rendimiento. Su aporte técnico contribuyó previamente al lanzamiento del software 3.2.1, que resolvió picos de tráfico en la red observados a fines de julio.

La red de XRP supera revisiones independientes de seguridad

Los equipos de seguridad también completaron revisiones independientes de las características del protocolo para el XRP Ledger. La firma de seguridad Cantina Security realizó una auditoría independiente de la función Permission Delegation junto con pruebas internas de control de calidad. El equipo de auditoría verificó correcciones en la versión 1.1, mientras que pruebas automatizadas completaron 5.088 test sin errores de código.

El jefe de ingeniería de Ripple, JA Akinyele, señaló que configurar la delegación a nivel de protocolo exigía altos estándares de seguridad porque modifica el manejo central de las transacciones. Mientras tanto, XRP cotiza cerca de 1,41 dólares mientras mantiene soporte sobre su media móvil exponencial de 200 días cerca de 1,35 dólares.