Zcash ha completado su actualización de red Ironwood, reemplazando su vulnerable fondo blindado Orchard con una alternativa formalmente verificada diseñada para prevenir la falsificación indetectable mientras comienza la migración de fondos blindados al nuevo fondo.
Según Project Tachyon y el equipo de desarrollo de Zcash, Ironwood se activó según lo programado en la altura de bloque 3.428.143 a través de la actualización de red NU6.3 el martes, introduciendo un nuevo fondo blindado que, según los desarrolladores, restaura la confianza en la integridad del suministro de Zcash después de las preocupaciones en torno a Orchard.
La activación siguió a meses de trabajo de múltiples organizaciones de Zcash después de que los investigadores revelaran una falla que, teóricamente, podría haber permitido la creación de ZEC falsificados sin detección pública.
Si bien Ironwood ya está activo, Orchard ha entrado en una fase de solo salida. Los usuarios aún pueden retirar fondos del fondo blindado anterior a su discreción, pero ya no acepta nuevas actividades blindadas. Los datos del rastreador de migración de Zcash muestran que aproximadamente 40.207 ZEC ya se han movido a Ironwood, mientras que casi 3,6 millones de ZEC permanecen dentro de Orchard esperando la migración.
ZEC (ZEC) cayó brevemente un 9% hasta alrededor de $460 después de la actualización antes de recuperarse a aproximadamente $475, según la página de precios de crypto.news. El token ya había experimentado una volatilidad significativa después de que la vulnerabilidad de Orchard se hiciera pública, perdiendo más de la mitad de su valor antes de recuperarse de alrededor de $45 en septiembre del año pasado a casi $700 a finales de año.
El nuevo fondo blindado reemplaza a Orchard después de que los investigadores identificaran lo que se conoció como el error "infinito" de Orchard. Según Shielded Labs, el investigador Taylor Hornby descubrió la falla a finales de mayo dentro del circuito de conocimiento cero de Orchard. Los desarrolladores dijeron que el problema teóricamente podría haber permitido a un atacante acuñar ZEC falsificados sin detección inmediata, aunque también afirmaron que no encontraron evidencia de que la vulnerabilidad hubiera sido explotada alguna vez.
Las actualizaciones de emergencia a principios de junio deshabilitaron temporalmente Orchard antes de que los desarrolladores implementaran el código de circuito corregido a través del hard fork NU6.2. Incluso después de parchear la falla, los desarrolladores dijeron que el modelo de privacidad de Zcash impedía a cualquiera probar con certeza que la inflación oculta nunca había ocurrido, lo que impulsó el trabajo en un fondo blindado de reemplazo en lugar de depender únicamente de la implementación parcheada de Orchard.
Ironwood introduce un sistema contable separado con su propio árbol de compromiso de notas, conjunto de nulificadores y fondo de valor en cadena, permitiendo a los nodos rastrear el nuevo fondo blindado de forma independiente. Según la documentación técnica del proyecto, la actualización también instala un punto de control contable público conocido como torno, permitiendo que los fondos salgan de Orchard mientras evita que salga más valor del que se ingresó legítimamente en el fondo anterior.
Los desarrolladores han dicho que el mecanismo tiene la intención de atrapar cualquier moneda falsificada hipotética dentro de Orchard, al tiempo que permite la verificación independiente de que el suministro circulante de Zcash continúa respetando el límite de emisión de 21 millones de ZEC de la red.
Junto con la activación de la red, Project Tachyon anunció que los investigadores completaron una prueba matemática verificada por máquina que cubre la integridad del balance de Ironwood, brindando una garantía adicional de que el nuevo fondo blindado no puede crear valor más allá de lo que ha entrado públicamente en él bajo sus supuestos criptográficos establecidos.
Según Project Tachyon, la prueba fue escrita en el lenguaje de programación Lean y consta de más de 2.700 teoremas desarrollados durante más de un mes por tres equipos de investigadores y criptógrafos.
Los investigadores dijeron que su trabajo verifica formalmente los componentes necesarios para la integridad del balance, incluyendo el sistema de prueba de conocimiento cero de Ironwood, las reglas de circuito y la contabilidad a nivel de libro mayor. También aclararon que la verificación no se extiende a las garantías de privacidad separadas de Ironwood.
Comentando el trabajo, el cofundador de Zcash, Sean Bowe, dijo que el esfuerzo colaborativo de los equipos eliminó las fuentes de errores de falsificación indetectables del nuevo protocolo Ironwood.
El nuevo fondo blindado también incorpora notas recuperables cuánticamente ZIP 2005, lo que permite un futuro mecanismo de recuperación si los avances en la computación cuántica eventualmente debilitan las protecciones criptográficas actuales. Según la especificación ZIP, la característica no hace que las transacciones actuales de Zcash sean cuánticamente seguras porque un protocolo de recuperación separado aún necesitaría ser diseñado y activado en el futuro.
Ironwood fue desarrollado a través de la colaboración entre Shielded Labs, el Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group y la Zcash Foundation.
Shielded Labs, cofundada por el fundador de Zcash, Zooko Wilcox, propuso inicialmente reemplazar Orchard para restaurar la contabilidad verificable del suministro después de que la vulnerabilidad se hiciera pública.
Mientras tanto, el director ejecutivo de ZODL, Josh Swihart, dijo en X que los ingenieros de su organización contribuyeron con el 82% de los cambios fusionados en los repositorios de protocolo y billetera de Zcash durante el esfuerzo de reemplazo de Orchard. Swihart añadió que Orchard había sido parcheado en cinco días antes de que los desarrolladores completaran el proceso de reemplazo en aproximadamente 60 días.
La actualización NU6.3 también completa otra transición largamente planificada en toda la red. Según la Fundación Zcash, el software de nodo zcashd más antiguo ya no es compatible con las nuevas reglas de consenso, lo que convierte a Zebra en la implementación de nodo requerida después de la activación.
Antes de que Ironwood llegara a la red, el director ejecutivo de Shielded Labs, Jason McGee, había advertido que los intercambios, proveedores de billeteras y pools de minería se estaban preparando simultáneamente para migrar de zcashd a la nueva pila de software Z3 y también para actualizar a Ironwood. McGee dijo que algunos operadores de infraestructura necesitaban tiempo adicional, aunque finalmente no se tomó ninguna decisión para posponer la actualización de la red.
Con Ironwood ya en funcionamiento y la migración de Orchard en curso, el enfoque se ha desplazado a mover los fondos blindados restantes a través del torno mientras la red retira gradualmente el fondo anterior bajo el nuevo modelo contable.
