Desarrolladores de Zcash se acercan a una prueba matemática contra errores de falsificación

Los desarrolladores de Zcash anunciaron el martes que se están acercando a una prueba matemática de que el próximo shielded pool Ironwood del protocolo no contiene un bug de falsificación indetectable. El Proyecto Tachyon detalló nuevos aspectos de su esfuerzo de verificación para el shielded pool Ironwood de Zcash, con el fundador Zooko Wilcox afirmando que el proyecto está a punto de producir una prueba matemática de que no hay bugs de falsificación indetectables en los últimos shielded pools de Zcash. El anuncio aborda las preocupaciones derivadas de una falla crítica revelada el mes pasado en el shielded pool Orchard de Zcash, que planteó preguntas sobre la integridad del sistema de privacidad de la red y la dificultad de probar criptográficamente la ausencia de vulnerabilidades ocultas en arquitecturas basadas en pruebas de conocimiento cero.

El token nativo de Zcash, ZEC, subió más del 12% el martes tras el anuncio, elevando la criptomoneda por encima de los 500 dólares. Esto marca el nivel más alto de ZEC desde principios de junio, cuando la divulgación de una falla crítica en el shielded pool Orchard de Zcash hizo que la criptomoneda centrada en la privacidad se desplomara más del 40% en solo dos días.

El Proyecto Tachyon Detalla el Enfoque de Verificación de Ironwood

El Proyecto Tachyon detalló nuevos aspectos de su esfuerzo de verificación para el próximo shielded pool Ironwood de Zcash. El proyecto tiene como objetivo demostrar que Ironwood no puede contener el mismo tipo de bug de falsificación indetectable encontrado en el pool Orchard. El Proyecto Tachyon declaró que el enfoque se ha vuelto más práctico gracias a los avances en la generación de pruebas asistida por IA, reduciendo el trabajo que antes tomaba años a cuestión de semanas.

La Vulnerabilidad de Orchard en Junio Causó una Caída del 40%

La vulnerabilidad revelada a principios de junio podría haber permitido a un atacante crear ZEC falsificados dentro del shielded pool Orchard sin ser detectado. Los desarrolladores parchearon rápidamente la falla y afirmaron que creen que nunca fue explotada. Sin embargo, el diseño de privacidad de Zcash hizo imposible probar criptográficamente la ausencia de explotación. Los shielded pools de Zcash dependen de pruebas de conocimiento cero que ocultan los montos de las transacciones, lo que significa que las fallas en esas pruebas podrían permitir la creación de monedas falsificadas sin dejar evidencia detectable públicamente.

Excolaborador de NEAR Compara Zcash con el Bug de Inflación de Bitcoin de 2010

El excolaborador del Protocolo NEAR, Vadim Zacodil, comparó la situación de Zcash con el bug de inflación de Bitcoin de 2010, cuando se crearon 184 mil millones de bitcoins falsificados antes de que la cadena de bloques se revirtiera. Debido a que las transacciones de Bitcoin son públicas, el exploit fue detectado de inmediato. Sin embargo, los shielded pools de Zcash ocultan los montos de las transacciones mediante pruebas de conocimiento cero, lo que hace que la detección de exploits similares sea más desafiante sin métodos de verificación matemática.

Preguntas Frecuentes

¿Qué anunciaron los desarrolladores de Zcash el martes? Los desarrolladores de Zcash anunciaron que se están acercando a una prueba matemática de que el próximo shielded pool Ironwood del protocolo no contiene un bug de falsificación indetectable. El Proyecto Tachyon detalló nuevos aspectos de su esfuerzo de verificación, con el fundador Zooko Wilcox afirmando que el proyecto está a punto de producir una prueba matemática para los últimos shielded pools de Zcash.

¿Por qué ZEC cayó un 40% a principios de junio? ZEC cayó más del 40% en solo dos días a principios de junio tras la divulgación de una falla crítica en el shielded pool Orchard de Zcash. La vulnerabilidad podría haber permitido a un atacante crear ZEC falsificados dentro del shielded pool Orchard sin ser detectado, aunque los desarrolladores parchearon rápidamente la falla y afirmaron que creen que nunca fue explotada.

¿Cómo difiere el diseño de privacidad de Zcash de la transparencia de Bitcoin? Los shielded pools de Zcash dependen de pruebas de conocimiento cero que ocultan los montos de las transacciones, lo que significa que las fallas en esas pruebas podrían permitir la creación de monedas falsificadas sin dejar evidencia detectable públicamente. Las transacciones de Bitcoin son públicas, por lo que exploits como el bug de inflación de 2010 que creó 184 mil millones de bitcoins falsificados fueron detectados de inmediato y la cadena de bloques se revirtió.