Los investigadores de Zcash han completado la verificación formal de Ironwood, publicando una prueba verificada por máquina de que el nuevo grupo protegido (shielded pool) de la red no contiene errores de falsificación indetectables bajo sus supuestos criptográficos establecidos.
El martes, el Proyecto Tachyon anunció que la prueba, escrita en el lenguaje de programación Lean, comprende más de 2.700 teoremas y llevó a tres equipos de investigadores y criptógrafos más de un mes completarla. El trabajo establece una propiedad de seguridad conocida como integridad del saldo, diseñada para garantizar que el grupo protegido no pueda pagar más valor del que ha entrado en él de manera pública.
Los investigadores dijeron que la prueba cubre los componentes necesarios para esa propiedad, incluidos el sistema de prueba de conocimiento cero de Ironwood, las reglas de circuito y la contabilidad a nivel de libro mayor. No cubre las garantías de privacidad separadas de Ironwood.
Ironwood se introdujo mediante la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su grupo protegido Orchard que, en teoría, podría haber permitido la falsificación indetectable de ZEC. Los desarrolladores de Zcash afirmaron que no encontraron evidencia de que la falla hubiera sido explotada. El nuevo grupo fue diseñado para restaurar la confianza en la integridad del suministro de Zcash.
Los fondos que migren desde Orchard deben pasar por un punto de control de contabilidad pública conocido como torniquete (turnstile), diseñado para evitar que cualquier moneda hipotética en exceso ingrese a Ironwood. A medida que los fondos salen de Orchard, el proceso también podría proporcionar evidencia creciente sobre si el grupo antiguo fue explotado.
Relacionado: Por qué ZEC cayó un 40% incluso después de que Zcash parcheó un error en el grupo protegido
