Zcash ha completado su actualización de red Ironwood, reemplazando su vulnerable pool blindado Orchard con una alternativa verificada formalmente diseñada para prevenir la falsificación indetectable, mientras comienza la migración de fondos blindados al nuevo pool.
Resumen
- Zcash ha activado la actualización Ironwood y ha reemplazado Orchard con un nuevo pool blindado verificado formalmente.
- Ironwood añade nuevas salvaguardas de suministro mientras que Orchard ahora solo admite retiros de fondos.
- Los investigadores completaron una prueba verificada por máquina que confirma que Ironwood no puede crear ZEC falsificados indetectables bajo sus supuestos de diseño.
- Más de 40,000 ZEC ya se han movido a Ironwood, mientras que alrededor de 3.6 millones de ZEC permanecen en Orchard.
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 pool blindado que los desarrolladores dicen que 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 en 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.
Mientras Ironwood está ahora activo, Orchard ha entrado en una fase de solo salida. Los usuarios aún pueden retirar fondos del pool blindado anterior a su discreción, pero ya no acepta nueva actividad blindada. 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 migración.
ZEC (ZEC) cayó brevemente alrededor del 9% a aproximadamente $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 posteriormente desde aproximadamente $45 en septiembre del año pasado a casi $700 para fin de año.
Ironwood añade un nuevo límite contable
El nuevo pool 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 fines 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 declararon que no encontraron evidencia de que la vulnerabilidad hubiera sido explotada.
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 que cualquiera pudiera probar con certeza que la inflación oculta nunca había ocurrido, lo que impulsó el trabajo en un pool 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 anuladores y pool de valor de cadena, lo que permite a los nodos rastrear el nuevo pool 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 torniquete, que permite que los fondos salgan de Orchard mientras evita que salga más valor del que se ingresó legítimamente en el pool anterior.
Los desarrolladores han dicho que el mecanismo está diseñado para atrapar cualquier moneda falsificada hipotética dentro de Orchard mientras 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.
La verificación formal ha fortalecido el modelo de seguridad de Ironwood
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 saldo de Ironwood, proporcionando una garantía adicional de que el nuevo pool blindado no puede crear valor más allá de lo que ha entrado públicamente bajo sus supuestos criptográficos declarados.
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 saldo, incluido 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.
Al comentar sobre el trabajo, el cofundador de Zcash, Sean Bowe, dijo que el esfuerzo de colaboración entre equipos eliminó las fuentes de errores de falsificación indetectables del nuevo protocolo Ironwood.
El nuevo pool blindado también incorpora notas recuperables cuánticamente ZIP 2005, lo que permite un mecanismo de recuperación futuro si los avances en 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 seguras cuánticamente porque un protocolo de recuperación separado aún tendría que ser diseñado y activado en el futuro.
Los equipos del ecosistema coordinaron el despliegue
Ironwood fue desarrollado mediante la colaboración entre Shielded Labs, el Zcash Open Development Lab (ZODL), Project Tachyon, Valar Group y la Fundación Zcash.
Shielded Labs, cofundado 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 agregó que Orchard había sido parcheado en cinco días antes de que los desarrolladores completaran el proceso de reemplazo en unos 60 días.
La actualización NU6.3 también completa otra transición planificada desde hace mucho tiempo en la red. Según la Fundación Zcash, el software de nodo más antiguo zcashd ya no admite 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, los proveedores de billeteras y los pools de minería se estaban preparando simultáneamente para migrar de zcashd a la nueva pila de software Z3 mientras también actualizaban para 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 ahora activo y la migración de Orchard en curso, el enfoque se ha desplazado a mover los fondos blindados restantes a través del torniquete mientras la red retira gradualmente el pool más antiguo bajo el nuevo modelo contable.
