Autores originales: Jason McGee, CEO de Shielded Labs; Zooko Wilcox, fundador de Zcash
Compilado por|Odaily Planet Daily Qin Xiaofeng (@QinXiaofeng 888 )
Nota del editor: El 5 de junio (hora de Pekín), se descubrió que el proyecto de privacidad Zcash había tenido una vulnerabilidad crítica de falsificación en su nuevo grupo de privacidad Orchard, lo que provocó que el token ZEC de Zcash cayera a la mitad, llegando a un mínimo de alrededor de 250 dólares. Después de unos 10 días, el pánico en el mercado se ha disipado en cierta medida, y el precio del ZEC también se ha recuperado, volviendo a los 500 dólares hoy.
Esta mañana, Zooko Wilcox, fundador de Zcash, publicó nuevamente un extenso artículo respondiendo a las inquietudes del mercado. Indicó que es muy probable que la vulnerabilidad de Orchard no haya sido explotada anteriormente, y que los fondos legítimos de Orchard pueden ser recuperados; actualmente, los usuarios aún no pueden verificar por sí mismos si la oferta de Zcash ha excedido el límite, pero la actualización Ironwood sellará el grupo Orchard, restaurando esta capacidad de verificación; revisiones continuas no han encontrado otras vulnerabilidades de falsificación, pero para estar completamente seguros se requiere más trabajo.
A continuación, el texto original de Zooko Wilcox, compilado por Odaily Planet Daily, ¡disfrútenlo~
————————————
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 varios temas diferentes, lo que dificulta comprender el impacto real de esta vulnerabilidad para los usuarios. Este artículo intenta separar estas preguntas y explicar su significado para los usuarios una por una.
La vulnerabilidad de Orchard plantea cuatro preguntas importantes:
- ¿Fue explotada la vulnerabilidad de Orchard?
- ¿Se pueden recuperar los fondos legítimos de Orchard?
- ¿Pueden los usuarios verificar que la oferta de Zcash no ha sido inflada?
- ¿Cómo sabemos que no existen otras vulnerabilidades de falsificación?
¿Fue explotada la vulnerabilidad de Orchard?
Desconocido. Creemos que es poco probable que haya sido explotada anteriormente, aunque no se puede descartar por completo. Creemos que es muy probable que la vulnerabilidad no haya sido explotada, por tres razones:
A pesar de años de revisión continua por parte de muchos de los mejores criptógrafos e investigadores de seguridad del mundo, esta vulnerabilidad no se había descubierto antes. Su descubrimiento final no fue accidental; fue encontrada por Taylor Hornby de Shielded Labs, con el propósito de identificar proactivamente tales vulnerabilidades de seguridad antes de que un atacante malintencionado lo hiciera. Taylor utilizó técnicas avanzadas de investigación de seguridad asistida por IA y herramientas personalizadas diseñadas específicamente para encontrar defectos sutiles que otros podrían haber pasado por alto, algo que sería más difícil para alguien que no esté profundamente familiarizado con la base de código 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 un parche, 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 hacen públicas. Para beneficiarse de esta vulnerabilidad, un atacante necesitaría cambiar los ZEC falsificados por activos de valor, lo que normalmente provocaría que los ZEC salieran del grupo Orchard a través del mecanismo de torniquete (turnstile). Si la vulnerabilidad hubiera sido explotada antes de la corrección, esperaríamos que ya hubiera pruebas visibles. 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 pueden recuperarse por completo.
Por otro lado, si realmente ocurrió una falsificación dentro de Orchard, el mecanismo de torniquete existente limitaría la migración total a la cantidad de ZEC que entró legítimamente en ese grupo. Por lo tanto, si los fondos falsificados migraran antes que los legítimos, los usuarios no podrían 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 entender lo siguiente:
- Transferir fondos al grupo transparente (es decir, a una dirección t) revelaría tanto el monto como el momento de la transferencia, y estos fondos quedarían públicamente vinculados a esa dirección t.
- Transferir fondos desde el grupo Orchard al grupo Sapling revelaría el monto y el momento de la transferencia, pero a diferencia de transferir a una dirección t, no vincularía estos fondos a una dirección o historial de transacciones específicos.
- El grupo Sapling depende de la ceremonia de configuración confiable realizada en 2018. Confiar en la seguridad de esta configuración confiable es un riesgo adicional que los usuarios deben tener en cuenta.
- Según nuestro conocimiento, YWallet y Zkool son actualmente las únicas carteras de Zcash de autocustodia ampliamente utilizadas que admiten el grupo Sapling.
- Transferir fondos a una nueva cartera o servicio de custodia introduce riesgos adicionales, incluyendo errores del usuario, defectos del software, riesgos de la entidad custodial u otros problemas imprevistos.
En general, consideramos que el nivel de riesgo anterior es moderado. Si tus fondos están actualmente en una cartera de autocustodia blindada, creemos que dejarlos ahí es una opción razonable, dada nuestra evaluación de que es poco probable que haya ocurrido una falsificación previa. Si tienes una forma segura de hacerlo, transferirlos a otro lugar también podría ser razonable. Los usuarios pueden llegar a conclusiones diferentes según sus circunstancias.
¿Pueden los usuarios verificar que la oferta de Zcash no ha sido inflada?
Actualmente no. La existencia previa de esta vulnerabilidad hace que los usuarios no puedan verificar de forma independiente si la cantidad de ZEC en circulación en los grupos blindados actuales no excede la cantidad correcta.
Sin embargo, como señalamos en una publicación anterior, la actualización Ironwood restaura esta capacidad. El siguiente diagrama ilustra por qué.
La actualización de red propuesta aborda este problema al añadir la garantía de que "no existen más vulnerabilidades de falsificación desconocidas" y al sellar el grupo Orchard. Los nuevos fondos ya no pueden entrar, y los fondos dentro del grupo ya no pueden circular. La única ruta restante es salir a través del mecanismo de torniquete existente, que garantiza que no salga más ZEC del grupo Orchard del que entró legítimamente.
Este cambio restaura la capacidad de verificar la integridad de la oferta de Zcash.
Actualmente, si hubiera fondos falsificados en el grupo Orchard, podrían seguir circulando dentro de él. Después de la actualización, esto ya no sería posible. Independientemente de si ocurrió o no una falsificación, cualquiera que ejecute un nodo puede verificar que la cantidad de ZEC en circulación no excede la cantidad correcta.
Los usuarios no necesitan esperar a que los fondos salgan de Orchard, ni inferir el comportamiento potencial de atacantes u otros usuarios. El protocolo mismo 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 están cumpliendo los límites 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 Zcash en busca de otras vulnerabilidades de falsificación. Esto incluye, con la ayuda de Anthropic, el uso del modelo de IA Mythos (aún no publicado) poco antes de su pausa, para buscar vulnerabilidades adicionales. Planeamos compartir más detalles sobre esta revisión y sus hallazgos en una publicación futura.
Hasta ahora, no se han encontrado otras vulnerabilidades de falsificación. El alto nivel de experiencia involucrado en esta búsqueda, el esfuerzo dedicado y el análisis avanzado asistido por IA nos dan mayor confianza en que no quedan vulnerabilidades similares sin 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 hablaremos más sobre esto en publicaciones futuras.
Conclusión
La vulnerabilidad de Orchard presenta cuatro preguntas importantes: si la vulnerabilidad fue explotada, si se pueden recuperar los fondos legítimos de Orchard, si los usuarios pueden verificar que la oferta de Zcash no ha sido inflada, y si existen otras vulnerabilidades de falsificación sin descubrir.
Creemos que es poco probable que haya sido explotada anteriormente, por lo tanto, los fondos legítimos de Orchard son recuperables 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 sin descubrir. 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 evaluación de nadie más.
La actualización de red propuesta 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 juzgar si ocurrió una falsificación para verificar si se están cumpliendo los límites de oferta del protocolo.
