Zcash completa la prueba de verificación de Ironwood contra fallos de falsificación

Los investigadores de Zcash completaron la verificación formal de Ironwood el martes, publicando una prueba comprobada por máquina que demuestra que la nueva pool (piscina) blindada de la red no contiene errores de falsificación (counterfeiting) indetectables bajo sus suposiciones criptográficas declaradas. Project Tachyon dijo que la prueba garantiza que la pool blindada no puede pagar más valor del que ha entrado públicamente en ella. Ironwood se introdujo mediante la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su pool blindada Orchard que, teóricamente, podría haber permitido falsificación indetectable de ZEC.

Project Tachyon publica una prueba basada en Lean con más de 2.700 teoremas

Project Tachyon dijo el martes que la prueba, escrita en el lenguaje de programación Lean, comprende más de 2.700 teoremas y requirió más de un mes de trabajo de tres equipos de investigadores y criptógrafos. El trabajo establece una propiedad de seguridad conocida como integridad del balance (balance integrity), diseñada para garantizar que la pool blindada no pueda pagar más valor del que ha entrado públicamente.

La verificación cubre el sistema de pruebas de conocimiento cero y las reglas del circuito

Los investigadores dijeron que la prueba cubre los componentes necesarios para esa propiedad, incluida la implementación del sistema de pruebas de conocimiento cero de Ironwood, las reglas del circuito y la contabilidad a nivel de libro mayor (ledger). La prueba no cubre las garantías de privacidad separadas de Ironwood.

Ironwood responde a la vulnerabilidad de la pool blindada Orchard

Ironwood se introdujo mediante la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su pool blindada Orchard que, teóricamente, podría haber permitido falsificación indetectable de ZEC. Los desarrolladores de Zcash dijeron que no encontraron evidencias de que el fallo hubiera sido explotado. La nueva pool fue diseñada para restablecer la confianza en la integridad del suministro de Zcash.

El mecanismo de turnstile bloquea monedas hipotéticas en exceso en Ironwood

Los fondos que migran desde Orchard deben pasar por un punto de control público de contabilidad conocido como turnstile, que está diseñado para impedir que cualquier moneda hipotética en exceso entre en Ironwood. A medida que los fondos salen de Orchard, el proceso también podría aportar evidencia cada vez mayor sobre si la pool antigua fue explotada.

Preguntas frecuentes

¿Qué completaron los investigadores de Zcash el martes?
Los investigadores de Zcash completaron la verificación formal de Ironwood el martes, publicando una prueba comprobada por máquina que demuestra que la nueva pool blindada de la red no contiene errores de falsificación indetectables bajo sus suposiciones criptográficas declaradas.

¿Por qué se introdujo Ironwood mediante la actualización NU6.3 de Zcash?
Ironwood se introdujo mediante la actualización NU6.3 de Zcash en respuesta a una vulnerabilidad descubierta en su pool blindada Orchard que, teóricamente, podría haber permitido falsificación indetectable de ZEC. La nueva pool fue diseñada para restablecer la confianza en la integridad del suministro de Zcash.

¿Qué es el mecanismo de turnstile en Ironwood?
El turnstile es un punto de control público de contabilidad que los fondos que migran desde Orchard deben atravesar. Está diseñado para impedir que cualquier moneda hipotética en exceso entre en Ironwood.