XRPL apuesta por verificación formal con Common Prefix para blindar su seguridad

XRPL dio un paso técnico de gran calado al iniciar un proceso de verificación formal junto a Common Prefix, una firma especializada en métodos formales y protocolos blockchain. El trabajo ya produjo primeras pruebas sobre componentes clave de xrpld, descubrió errores corregidos en la versión 3.2.0 y abre una nueva etapa para reforzar la seguridad del libro mayor, su aritmética y futuras funciones como préstamos y bóvedas. *** Common Prefix y XRPL Foundation avanzan en verificación formal del protocolo, la implementación xrpld y el consenso de XRPL. El equipo eligió Lean 4 para modelar componentes críticos como la clase Number...