DiarioBitcoin
Centrifuge verifica 1.589 propiedades de su protocolo y refuerza su apuesta por la seguridad
xCruzo Brief
Centrifuge informó que verificó formalmente 1.589 propiedades del protocolo central V3 con Certora Prover y que sometió sus reglas a un análisis de 1.445 mutantes, documentado en octubre de 2026 por el investigador independiente Alex Zoid. La verificación busca dar garantías matemáticas sobre funciones clave relacionadas con la distribución de fondos, la gestión de carteras y los mandatos de inversión multichain, vinculadas a la infraestructura de activos en cadena y a la gestión de activos del mundo real. La empresa subraya que el resultado depende de las condiciones analizadas y que no cubre por sí solo todas las integraciones ni procesos externos, por lo que no implica riesgo cero.
xCruzo quick-read summary • Source: DiarioBitcoin • Read the full article for complete information.






