Por Canuto  

Centrifuge afirma haber verificado formalmente 1.589 propiedades de su protocolo central V3 con Certora Prover y sometido sus reglas a un análisis de 1.445 mutantes. El trabajo se suma a auditorías y revisiones existentes, aunque no cubre por sí solo todas las integraciones ni los procesos externos que sostienen un sistema de activos del mundo real.
***

  • El análisis de octubre de 2026 comprendió 1.589 propiedades y 1.445 versiones deliberadamente alteradas del código.
  • Las propiedades apuntan a funciones centrales como distribución de fondos, gestión de carteras y mandatos de inversión multichain.
  • Centrifuge mantiene auditorías, revisiones de seguridad y un programa de recompensas por errores; la verificación no implica riesgo cero ni un anuncio sobre su token.

Centrifuge informó que verificó formalmente 1.589 propiedades de los componentes centrales de su protocolo V3 mediante Certora Prover, una herramienta para comprobar matemáticamente reglas definidas sobre el código. El trabajo, documentado en octubre de 2026 y realizado por el investigador independiente Alex Zoid, también incluyó el análisis de 1.445 mutantes, versiones alteradas de manera deliberada para poner a prueba esas reglas.

La iniciativa busca aportar garantías sobre funciones que sostienen la gestión de activos en cadena y la infraestructura de activos del mundo real, un ámbito donde los errores de programación pueden tener consecuencias financieras. Sin embargo, verificar propiedades no equivale a demostrar que un sistema completo es infalible: el resultado depende de qué condiciones se examinan y no abarca automáticamente cada dependencia externa.

Qué revisó Centrifuge y por qué importan los mutantes

La verificación formal consiste en expresar determinadas condiciones como propiedades y usar herramientas matemáticas para comprobar si el código las satisface. En lugar de limitarse a ejecutar algunos escenarios de prueba, este enfoque busca verificar las reglas dentro del alcance definido para el análisis, una diferencia relevante cuando un protocolo administra fondos y aplica instrucciones de inversión.

Según reportó Crypto Briefing, el trabajo abarcó 1.589 propiedades de los componentes centrales de Centrifuge. La cifra señala el volumen de condiciones verificadas, aunque por sí sola no revela cuán completas son ni qué riesgos quedan fuera: para entender su alcance también importa conocer los módulos revisados y la calidad de las propiedades seleccionadas.

El análisis de 1.445 mutantes añadió otra prueba al proceso. Un mutante es una versión modificada intencionalmente del código; si la alteración introduce un fallo que debería contradecir una regla, las verificaciones tendrían que detectarlo, mientras que una modificación que pasa inadvertida podría indicar que esa regla no distingue adecuadamente el comportamiento esperado.

Por eso, el número de mutantes no representa otros tantos errores reales encontrados en el protocolo. Funciona como una prueba de resistencia de las reglas de verificación, al medir si reaccionan ante cambios introducidos para ponerlas a prueba; el material disponible no detalla cuántos mutantes fueron detectados ni ofrece resultados individuales para cada propiedad.

El vínculo con la hoja de ruta V3

Centrifuge relaciona el análisis con su serie V3, que se extiende a lo largo de 2026 y distribuye distintas mejoras entre varias versiones. La V3.1 se enfocó en la distribución multichain escalable, mientras que la V3.2 abordó la gestión de carteras con múltiples activos y la V3.3 puso el foco en mandatos de inversión exigibles. La presentación de Centrifuge sobre V3 describe una infraestructura de gestión de activos que combina distribución, administración de carteras y reglas de inversión.

Las propiedades verificadas se orientan a la lógica central que da soporte a esas funciones, de acuerdo con la información publicada sobre el trabajo. En concreto, el protocolo utiliza esa lógica para distribuir fondos, gestionar carteras y aplicar mandatos de inversión en varias cadenas; revisar esos componentes conecta las pruebas con características que Centrifuge ha desarrollado dentro de su hoja de ruta.

La distribución multichain implica que ciertas operaciones se organizan a través de más de una cadena, mientras que una cartera multiactivo debe gestionar diferentes activos conforme a las reglas previstas. En ese contexto, las propiedades verificadas pueden servir para comprobar comportamientos específicos del protocolo, pero no permiten concluir, sin información adicional, que toda interacción entre redes o activos quedó cubierta.

Los mandatos de inversión exigibles representan otra parte del alcance descrito: instrucciones que el sistema busca hacer cumplir mediante su lógica. La noticia no presenta un inventario de las propiedades individuales ni explica cada caso de uso, por lo que el dato más preciso disponible es que el trabajo cubrió aspectos de esas funciones centrales y no la totalidad de las operaciones asociadas a los activos del mundo real.

Una capa adicional, no una garantía absoluta

La verificación formal se suma a controles de seguridad previos, en vez de reemplazarlos. La documentación de seguridad de Centrifuge registra revisiones de Sherlock y BurraSec para V3.3 en septiembre de 2026 y una revisión de yAudit para esa versión en junio de 2026. También enumera revisiones de recompensas por errores que abarcan versiones de V3.

Cada mecanismo puede examinar riesgos desde un ángulo distinto, pero ninguno elimina por sí solo la posibilidad de fallos. Las auditorías revisan el sistema bajo su alcance y metodología, mientras que las revisiones y las recompensas pueden contribuir a identificar problemas; la verificación matemática, por su parte, comprueba propiedades formuladas previamente para partes concretas del código.

Ese límite es especialmente importante para los protocolos de activos del mundo real, que pueden depender de integraciones, oráculos y procesos fuera de la cadena. Centrifuge indicó que la verificación cubre los componentes incluidos en el análisis, no cada una de esas dependencias ni todas las operaciones externas que pueden influir en un sistema de esta clase.

También importa quién define las propiedades: una herramienta puede confirmar que el código cumple las reglas especificadas, pero no demostrar que se eligieron las reglas correctas para cada riesgo. Por ello, la cifra de 1.589 condiciones es un hito técnico reportado por el proyecto, no una calificación independiente de seguridad integral ni una promesa de que nunca ocurrirá un incidente.

Qué implica el anuncio para el sector de activos reales

Los protocolos de activos del mundo real buscan conectar operaciones financieras con infraestructura en cadena, y para ello necesitan que sus reglas sean comprensibles y verificables. El reporte presenta la revisión como una medida dirigida a fortalecer la confianza en el código que administra activos, pero no aporta una evaluación de clientes institucionales ni evidencia de que el trabajo haya cambiado la adopción del protocolo.

Certora anunció que su Prover pasó a ser de código abierto en febrero de 2025. Ese antecedente sitúa el trabajo de Centrifuge dentro de un panorama más amplio de métodos de análisis, aunque no permite inferir que todas las organizaciones utilicen la herramienta ni que los resultados sean comparables entre proyectos.

El anuncio tampoco vino acompañado de una medida comercial o de una actualización específica sobre el token de Centrifuge. La comunicación presenta la verificación como un hito de seguridad: su relevancia depende de cómo se integra con el resto de las defensas y de que las propiedades examinadas sigan correspondiendo con las funciones y riesgos del protocolo.

En términos prácticos, el avance documenta un esfuerzo cuantificado para comprobar partes del núcleo V3 y someter las reglas a pruebas con código mutado. Para valorar su alcance completo harían falta detalles adicionales sobre las propiedades individuales, los resultados del análisis de mutantes y los componentes excluidos; mientras tanto, las auditorías, las revisiones y el programa de recompensas siguen formando parte de la estrategia descrita.


ADVERTENCIA: DiarioBitcoin ofrece contenido informativo y educativo sobre diversos temas, incluyendo criptomonedas, IA, tecnología y regulaciones. No brindamos asesoramiento financiero. Las inversiones en criptoactivos son de alto riesgo y pueden no ser adecuadas para todos. Investigue, consulte a un experto y verifique la legislación aplicable antes de invertir. Podría perder todo su capital.

Suscríbete a nuestro boletín

Artículos Relacionados