Nota del editor: El 5 de junio, hora de Beijing, se reveló que el nuevo grupo de privacidad Orchard del proyecto Zcash tenía una vulnerabilidad crítica de falsificación, lo que provocó que el token ZEC se desplomara hasta cerca de los 250 dólares.
Tras unos 10 días de agitación, el pánico en el mercado se ha atenuado y el precio de ZEC se ha recuperado, volviendo hoy a los 500 dólares. (Lectura recomendada: «Vulnerabilidad de "impresión infinita" latente durante cuatro años, la moneda de privacidad ZEC se desploma en un día»)
Esta mañana, el fundador de Zcash, Zooko Wilcox, publicó nuevamente un extenso artículo para responder a las preocupaciones del mercado.
Señaló que es probable que la vulnerabilidad de Orchard no haya sido explotada anteriormente y que los fondos legítimos de Orchard pueden recuperarse; actualmente, los usuarios aún no pueden verificar por sí mismos si la oferta de Zcash supera el límite, pero la actualización Ironwood sellará el grupo Orchard, restaurando esta capacidad de verificación; en las revisiones continuas no se han encontrado otras vulnerabilidades de falsificación, pero para estar completamente seguros se necesita más trabajo.
La reciente vulnerabilidad de Orchard ha planteado cuestiones importantes sobre la oferta de Zcash y la seguridad de los fondos de los usuarios. En la discusión se mezclan múltiples temas diferentes, lo que dificulta comprender el impacto real de la vulnerabilidad en los usuarios. Este artículo intenta separar estas cuestiones y explicar su significado para los usuarios.
La vulnerabilidad de Orchard plantea cuatro preguntas importantes:
1. ¿Se ha explotado la vulnerabilidad de Orchard?
2. ¿Se pueden recuperar los fondos legítimos de Orchard?
3. ¿Pueden los usuarios verificar que no se ha emitido Zcash en exceso?
4. ¿Cómo sabemos que no existen otras vulnerabilidades de falsificación?
¿Se ha explotado la vulnerabilidad de Orchard?
Desconocido. Creemos que es poco probable que se haya explotado antes, aunque no podemos descartarlo por completo. Creemos que es probable que la vulnerabilidad no haya sido explotada por tres razones:
A pesar de la revisión continua durante años por parte de muchos de los principales criptógrafos e investigadores de seguridad del mundo, esta vulnerabilidad no fue descubierta previamente. Su descubrimiento final no fue casual; fue encontrada por Taylor Hornby de Shielded Labs, con el propósito de identificar proactivamente este tipo de vulnerabilidades de seguridad antes de que un atacante malintencionado lo hiciera.
Taylor utilizó técnicas avanzadas de investigación de seguridad asistidas por IA y herramientas personalizadas diseñadas específicamente para detectar defectos sutiles que otros podrían haber pasado por alto, lo que sería más difícil para quienes no estén profundamente familiarizados con el código base de Zcash.
Una vez descubierta la vulnerabilidad, los desarrolladores de Zcash (liderados por el equipo de Zcash Open Development Labs) coordinaron rápidamente con los grupos de minería para congelar temporalmente el grupo Orchard y desplegar una solución, limitando así la ventana de oportunidad para cualquier ataque.
Las explotaciones de vulnerabilidades en criptomonedas son comunes, y los atacantes suelen monetizarlas lo más rápido posible, especialmente después de que se hagan públicas. Para obtener ganancias de esta vulnerabilidad, un atacante necesitaría intercambiar ZEC falsificado por activos valiosos, lo que generalmente resultaría en que el ZEC saliera del grupo Orchard a través del mecanismo de torniquete (turnstile).
Si la vulnerabilidad hubiera sido explotada antes de la solución, esperaríamos que ya hubiera aparecido evidencia. Históricamente, las explotaciones en criptomonedas suelen ser operaciones de "saqueo", no estrategias ocultas durante meses o años como en un "ajedrez 4D".
¿Se pueden recuperar los fondos legítimos de Orchard?
Creemos que sí, porque creemos que la vulnerabilidad nunca fue explotada. Si esta evaluación es correcta, todos los fondos legítimos de Orchard aún pueden recuperarse por completo.
Por otro lado, si realmente ocurrió una falsificación en Orchard, el mecanismo de torniquete existente limitaría la cantidad total migrada al monto de ZEC que ingresó legítimamente a ese grupo.
Por lo tanto, si los fondos falsificados se migran antes que los legítimos, los usuarios no podrán recuperar parte o la totalidad de sus fondos legítimos de Orchard.
Creemos que este escenario es poco probable. Sin embargo, para los usuarios más cautelosos, aún se recomienda transferir su ZEC fuera de Orchard.
Pero antes de hacerlo, deben comprender lo siguiente:
· Transferir fondos a un grupo transparente (es decir, a una dirección t) revelará tanto el monto como el momento de la transacción, y estos fondos quedarán públicamente asociados a esa dirección t.
· Transferir fondos desde el grupo Orchard al grupo Sapling revelará el monto y el momento de la transacción, pero a diferencia de transferir a una dirección t, no asociará estos fondos a una dirección específica o a su historial de transacciones.
· El grupo Sapling depende de una ceremonia de configuración confiable realizada en 2018. Depender de la seguridad de esta configuración confiable es un riesgo adicional que los usuarios deben considerar.
· Según nuestro conocimiento, YWallet y Zkool son actualmente las únicas carteras de autocustodia de Zcash ampliamente utilizadas que admiten el grupo Sapling.
· Transferir fondos a una nueva cartera o servicio de custodia introduce riesgos adicionales, incluidos errores del usuario, defectos del software, riesgos del custodio u otros problemas imprevistos.
En general, creemos que el nivel de riesgo mencionado es moderado.
Si tus fondos están actualmente en una cartera de autocustodia blindada, dejarlos allí es una opción razonable, dado que evaluamos que es poco probable que haya ocurrido una falsificación previa. Si tienes una forma segura de transferirlos a otro lugar, también puede ser razonable. Los usuarios pueden llegar a conclusiones diferentes según sus circunstancias.
¿Pueden los usuarios verificar que no se ha emitido Zcash en exceso?
Actualmente no. La existencia previa de esta vulnerabilidad impide que los usuarios verifiquen de forma independiente si la cantidad de ZEC en circulación en los grupos blindados actuales no supera la cifra correcta.
Sin embargo, como señalamos en nuestro artículo anterior, la actualización Ironwood restaura esta capacidad. El siguiente gráfico ilustra por qué.
La propuesta de actualización de la red resuelve este problema al agregar la garantía de que "no existen más vulnerabilidades de falsificación desconocidas" y al sellar el grupo Orchard. No puede entrar nuevo dinero ni circular el dinero dentro del grupo.
El único camino restante es salir a través del mecanismo de torniquete existente, que garantiza que la cantidad de ZEC que sale del grupo Orchard no supere la cantidad que ingresó legítimamente.
Este cambio restaura la capacidad de verificar la integridad de la oferta de Zcash.
Actualmente, si hay fondos falsificados en el grupo Orchard, pueden continuar circulando dentro del grupo. Después de la actualización, esto ya no será posible. Independientemente de si ocurrió o no una falsificación, cualquier persona que ejecute un nodo podrá verificar que la cantidad de ZEC en circulación no supera la cifra correcta.
Los usuarios no necesitan esperar a que los fondos migren desde Orchard, ni inferir el posible comportamiento de los atacantes u otros usuarios. El protocolo en sí proporciona una garantía verificable: el ZEC excedente no puede seguir circulando dentro de Orchard e inflar la oferta.
Esto es importante porque la credibilidad a largo plazo de Zcash depende de que los usuarios puedan verificar por sí mismos la integridad de su oferta. Ironwood restaura la capacidad de los usuarios para verificar de forma independiente si se cumple el límite de oferta del protocolo.
¿Cómo sabemos que no existen otras vulnerabilidades de falsificación?
Actualmente no podemos estar completamente seguros, pero tenemos razones para creer que no existen otras vulnerabilidades. Shielded Labs y otros equipos han estado revisando cuidadosamente el protocolo de Zcash en busca de otras vulnerabilidades de falsificación.
Esto incluye, con la ayuda de Anthropic, el uso de un modelo de IA Mythos aún no publicado para buscar vulnerabilidades adicionales poco antes de que Mythos fuera suspendido. Planeamos compartir más detalles sobre esta revisión y sus hallazgos en una futura publicación.
Hasta ahora, no se han encontrado otras vulnerabilidades de falsificación. El alto nivel de experiencia, el esfuerzo y el análisis avanzado asistido por IA involucrados en esta búsqueda nos dan mayor confianza en que no hay vulnerabilidades similares aún por descubrir.
Además, estamos colaborando con proyectos como Tachyon Project para proporcionar garantías adicionales de que no existen más vulnerabilidades de falsificación en Zcash. También lo explicaremos más a fondo en futuras publicaciones.
Conclusión
La vulnerabilidad de Orchard plantea cuatro preguntas importantes: si la vulnerabilidad fue explotada, si se pueden recuperar los fondos legítimos de Orchard, si los usuarios pueden verificar que no se ha emitido Zcash en exceso, y si existen otras vulnerabilidades de falsificación no descubiertas.
Creemos que es poco probable que se haya explotado anteriormente, por lo que los fondos legítimos de Orchard pueden recuperarse y la oferta actual de Zcash es segura. Basándonos en las revisiones continuas de múltiples investigadores y equipos independientes, también estamos cada vez más convencidos de que no existen otras vulnerabilidades de falsificación no descubiertas.
Sin embargo, los usuarios aún no pueden verificar la seguridad de la oferta de Zcash, y no deberían depender de nuestra evaluación, ni de la de cualquier otra persona.
La propuesta de actualización de la red resuelve este problema. Al sellar el grupo Orchard, restaura la capacidad de los usuarios para verificar de forma independiente la seguridad de la oferta de Zcash. Los usuarios ya no necesitan determinar si ha ocurrido una falsificación para verificar si se respetan los límites de oferta del protocolo.
