Autores originales: Jason McGee, CEO de Shielded Labs, y Zooko Wilcox, fundador de Zcash
Compilado por | Odaily Planet Daily Qin Xiaofeng (@QinXiaofeng 888 )
Nota del editor: El 5 de junio, hora de Beijing, se reveló que la nueva pila de privacidad Orchard del proyecto de privacidad Zcash tenía una vulnerabilidad crítica de falsificación, lo que hizo que el token ZEC de Zcash cayera a la mitad, alcanzando un mínimo de alrededor de 250 dólares. Después de unos 10 días, el pánico en el mercado se ha calmado un poco y el precio de ZEC se ha recuperado, volviendo a superar los 500 dólares hoy.
Esta mañana, el fundador de Zcash, Zooko Wilcox, publicó nuevamente un extenso artículo respondiendo a las preocupaciones del mercado. Señaló que es muy probable que la vulnerabilidad de Orchard no haya sido explotada antes, 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 excede el límite, pero la actualización Ironwood sellará la piscina Orchard y restaurará esta capacidad de verificación; en las revisiones continuas no se han encontrado otras vulnerabilidades de falsificación, pero se necesita más trabajo para estar completamente seguros.
A continuación, el texto original de Zooko Wilcox, compilado por Odaily Planet Daily, ¡disfruten!~
————————————
La reciente vulnerabilidad de Orchard ha planteado importantes cuestiones 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 entender el impacto real de esta vulnerabilidad en los usuarios. Este artículo intenta separar estas cuestiones y explicar una por una su significado para los usuarios.
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 aumentada?
- ¿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 podemos descartarlo 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 había sido 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 pudiera hacerlo. Taylor utilizó técnicas avanzadas de investigación de seguridad asistida por IA y herramientas personalizadas especialmente construidas, 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 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 pools de minería para congelar temporalmente el pool 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 obtener ganancias de esta vulnerabilidad, un atacante necesitaría cambiar los ZEC falsificados por activos de valor, lo que generalmente haría que los ZEC salieran del pool Orchard a través del mecanismo de torniquete (turnstile). Si la vulnerabilidad hubiera sido explotada antes de ser parcheada, esperaríamos que para ahora hubiera evidencia. Históricamente, las explotaciones en criptomonedas suelen ser operaciones de "asalto", 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 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 pool. 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 sus ZEC fuera de Orchard. Pero antes de hacerlo, deben entender lo siguiente:
- Transferir fondos a un pool transparente (es decir, a una dirección t) revela tanto el monto como el momento de la transferencia, y esos fondos quedarán públicamente asociados a esa dirección t.
- Transferir fondos desde el pool Orchard al pool Sapling revela el monto y el momento de la transferencia, pero a diferencia de transferir a una dirección t, no asocia esos fondos a una dirección específica o a un historial de transacciones.
- El pool Sapling depende de la ceremonia de configuración de confianza realizada en 2018. Confiar en la seguridad de esta configuración de confianza es un riesgo adicional que los usuarios deben tener en cuenta.
- Hasta donde sabemos, YWallet y Zkool son actualmente las únicas billeteras de autocustodia de Zcash ampliamente utilizadas que admiten el pool Sapling.
- Transferir fondos a una nueva billetera o a un 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 anteriormente es moderado. Si tus fondos están actualmente en una billetera de autocustodia blindada, dejarlos allí 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, también podría ser razonable transferirlos a otro lugar. Los usuarios pueden llegar a conclusiones diferentes según su situación.
¿Pueden los usuarios verificar que la oferta de Zcash no ha sido aumentada?
Actualmente no. La existencia previa de esta vulnerabilidad impedía que los usuarios verificaran de forma independiente si la cantidad de ZEC en circulación en los pools blindados actuales no supera la cantidad correcta.
Sin embargo, como señalamos en un artículo anterior, la actualización Ironwood restaura esta capacidad. El siguiente gráfico explica por qué.
La actualización de red propuesta aborda este problema al agregar la garantía de que "no existen más vulnerabilidades de falsificación desconocidas" y al sellar el pool Orchard. Los nuevos fondos ya no pueden entrar, y los fondos dentro del pool ya no pueden circular. El único camino restante es salir a través del mecanismo de torniquete existente, que garantiza que no salga más ZEC del pool Orchard del que entró legítimamente.
Este cambio restaura la capacidad de verificar la solidez de la oferta de Zcash.
Actualmente, si hay fondos falsificados en el pool Orchard, pueden continuar circulando dentro del mismo. 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 excede la cantidad correcta.
Los usuarios no necesitan esperar a que los fondos migren desde Orchard, ni inferir el posible comportamiento de atacantes u otros usuarios. El protocolo en sí proporciona una garantía verificable: el exceso de ZEC no puede continuar 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 solidez de su oferta. Ironwood restaura la capacidad de los usuarios para verificar de forma independiente si se cumplen 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 hay otras. 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 lanzado para buscar vulnerabilidades adicionales poco antes de que Mythos fuera pausado. Planeamos compartir más detalles sobre esta revisión y sus hallazgos en una publicación de blog posterior.
Hasta ahora, no se han encontrado otras vulnerabilidades de falsificación. El alto nivel de experiencia involucrado en esta búsqueda, el esfuerzo realizado y el análisis avanzado asistido por IA nos dan mayor confianza en que no hay vulnerabilidades similares que sigan sin ser descubiertas.
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 explicaremos esto más a fondo en futuras publicaciones de blog.
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 aumentada, y si existen otras vulnerabilidades de falsificación no descubiertas.
Creemos que es poco probable que haya sido explotada 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 tenemos cada vez más confianza en que no existen otras vulnerabilidades de falsificación no descubiertas. Sin embargo, actualmente los usuarios 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 actualización de red propuesta resuelve este problema. Al sellar el pool 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 cumplen los límites de oferta del protocolo.
