Un error de solidez casi rompió la integridad del suministro de ZEC — hard fork…

Un error de solidez dentro del circuito de prueba de conocimiento cero Orchard de Zcash — encontrado por el investigador de Shielded Labs, Taylor Hornby, utilizando Opus 4.8 de Anthropic junto con un arnés de IA personalizado — podría haber permitido que se acuñara ZEC falso ilimitado dentro del pool protegido sin ser detectado. Hornby descubrió la falla el 29 de mayo; los ingenieros de ZODL la confirmaron en pocas horas. Zcash ejecutó un hard fork suave de emergencia en el bloque 3,363,426 el 2 de junio, y luego el hard fork NU6.2 en el bloque 3,364,600 el 3 de junio, restaurando la funcionalidad completa de Orchard en menos de cinco días. ZEC cayó de un máximo intradía de $611 a alrededor de $421 tras la divulgación.

Por qué es importante

El incidente se sitúa en la intersección de dos tendencias aceleradas: la generación de exploits asistida por IA que llega a la capa de prueba y dinero, y la imposibilidad estructural de auditar la historia protegida de una moneda de privacidad después de un error de solidez. La posición oficial de Zcash es que el límite de suministro de 21 millones de ZEC sigue intacto, protegido por el mecanismo de torniquete que rastrea los flujos de valor agregados entre los pools. Shielded Labs mantiene una postura más dura: las propiedades de privacidad de Orchard hacen que sea criptográficamente imposible probar que el suministro nunca fue manipulado durante la ventana de exposición. Una actualización de seguimiento propuesta redirigiría las monedas existentes de Orchard a través de la contabilidad de torniquete, convirtiendo una garantía probabilística en una criptográfica. Hasta que esa actualización se implemente, la brecha entre "sin explotación detectada" y "suministro comprobablemente limpio" permanece abierta.

Impacto en el mercado

La fuerte caída intradía de ZEC refleja el mercado fijando un descuento de confianza residual que un parche por sí solo no puede cerrar: la garantía que debe proporcionar una moneda de privacidad es precisamente la más difícil de dar para un sistema de privacidad.