La actualización Ironwood de Zcash reemplaza el grupo Orchard por un sistema verificado.

Los desarrolladores de Zcash activaron la actualización Ironwood en la altura de bloque 3,428,143 como parte de la actualización de red NU6.3, reemplazando el pool protegido Orchard por una alternativa verificada formalmente. El reemplazo siguió al descubrimiento del investigador Taylor Hornby, a finales de mayo, de un bug de “infinity” en Orchard que planteaba un riesgo teórico de creación de ZEC falsificada e indetectable. La vulnerabilidad en uno de los mecanismos centrales de privacidad de Zcash provocó lo que los desarrolladores describieron como un sprint de desarrollo en “modo de guerra” para desplegar un reemplazo completo en lugar de un parche.

Hornby descubrió el bug de infinity en Orchard a finales de mayo

Taylor Hornby, investigador en Shielded Labs, descubrió el bug de infinity de Orchard a finales de mayo. El fallo existía profundamente dentro del circuito de conocimiento cero de Orchard y planteaba un riesgo teórico de acuñar ZEC falsificada sin dejar ningún rastro detectable públicamente. No surgió evidencia de que la vulnerabilidad hubiera sido explotada alguna vez. ZEC perdió más de la mitad de su valor después de que el anuncio se hiciera público.

Los parches de emergencia desplegados a principios de junio deshabilitaron temporalmente Orchard. Un circuito corregido llegó a través del hard fork NU6.2 en cinco días. Los desarrolladores señalaron que era matemáticamente imposible demostrar con certeza que la inflación oculta nunca había ocurrido dentro del pool antiguo, por lo que el reemplazo completo era la única vía para restaurar la integridad verificable del suministro.

El cofundador de Shielded Labs, Zooko Wilcox, propuso inicialmente reemplazar Orchard directamente. Lo que siguió fueron aproximadamente 60 días de desarrollo coordinado entre Shielded Labs, el Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group y la Zcash Foundation. El director ejecutivo de ZODL, Josh Swihart, indicó que ingenieros de su organización aportaron el 82% de los cambios fusionados en los repositorios de protocolo y billetera de Zcash durante el esfuerzo de reemplazo.

Ironwood introdujo un sistema de contabilidad separado y notas recuperables por quantum

Ironwood introdujo un sistema de contabilidad completamente separado con su propio árbol de compromiso de notas, conjunto de nulificadores y pool de valor de la cadena. La estructura permite que cualquier nodo rastree el nuevo pool protegido de forma independiente de todo lo que ocurrió antes.

La actualización instaló un checkpoint de contabilidad pública descrito por el proyecto como un torniquete (“turnstile”). Los fondos pueden salir de Orchard a través de ese torniquete, pero el mecanismo impide matemáticamente que salga más valor del que se ingresó legítimamente en el pool anterior. Cualquier moneda falsificada hipotética acuñada dentro de Orchard antes o durante la ventana de vulnerabilidad quedaría atrapada allí permanentemente, incapaz de contaminar la contabilidad del suministro de Ironwood.

El nuevo pool incorporó las notas recuperables por quantum de ZIP 2005. La función no hace hoy que las transacciones de Zcash sean seguras frente a computación cuántica; aun así, en el futuro habría que diseñar y activar un protocolo de recuperación separado. La actualización NU6.3 hizo que Zebra fuera la implementación requerida del nodo, terminando el soporte del software antiguo zcashd en toda la red.

Project Tachyon completó una verificación formal de 2,700 teoremas

Project Tachyon completó una prueba matemática verificada por máquina junto con los desarrolladores de Zcash. Escrita en el lenguaje de programación Lean, la prueba consta de más de 2,700 teoremas desarrollados durante más de un mes por tres equipos de investigadores y criptógrafos. La prueba verifica formalmente que Ironwood no puede crear ZEC falsificada indetectable bajo sus supuestos de diseño declarados.

La prueba cubre los componentes necesarios para la integridad del balance: el sistema de pruebas de conocimiento cero de Ironwood, sus reglas de circuito y la contabilidad a nivel de libro mayor. El cofundador de Zcash Sean Bowe afirmó: “Una colaboración entre equipos acaba de cambiar la historia de Zcash para siempre, eliminando todas las fuentes de errores de falsificación indetectable del nuevo protocolo Ironwood”.

La verificación formal cubre la integridad del balance, pero no se extiende a las garantías de privacidad separadas de Ironwood. La solidez del suministro y la privacidad transaccional son propiedades distintas, y la prueba aborda solo la primera.

Un rastreador de migración muestra 40,207 ZEC movidos a Ironwood

Orchard entró en una fase de salida únicamente. El pool ya no acepta actividad protegida nueva, pero los usuarios aún pueden retirar fondos a su propia discreción. Según el rastreador de migración de Zcash, aproximadamente 40,207 ZEC se han movido a Ironwood desde la activación. Aproximadamente 3,6 millones de ZEC permanecen dentro de Orchard a la espera de migración.

En su punto máximo, Orchard representaba casi el 88% del suministro de token protegido de Zcash, según datos de The Block, y el resto lo aportaban los pools antiguos Sapling y Sprout.

FAQ

¿Qué es la actualización Zcash Ironwood?

Ironwood es una actualización de la red de Zcash que reemplazó el pool protegido vulnerable Orchard por un pool protegido verificado formalmente. Se activó en la altura de bloque 3,428,143 como parte del hard fork NU6.3.

¿Por qué fue necesaria la actualización Ironwood?

La actualización era necesaria porque un bug de infinity descubierto en el pool Orchard a finales de mayo planteaba un riesgo teórico de creación de ZEC falsificada e indetectable. Los desarrolladores indicaron que era matemáticamente imposible demostrar que el bug nunca se explotó, por lo que era necesario un reemplazo completo en lugar de confiar solo en un parche.

¿Qué ocurre con los fondos que aún están en el pool Orchard?

Orchard entró en una fase de salida únicamente. Los usuarios aún pueden retirar fondos desde allí, pero el pool ya no acepta nuevas transacciones protegidas. Aproximadamente 3,6 millones de ZEC permanecen en Orchard a la espera de migración a Ironwood, mientras que alrededor de 40,207 ZEC ya se han movido al otro lado.