Zcash afirma que la prueba de Ironwood descarta errores de falsificación indetectables

Los investigadores de Zcash han completado la verificación formal de Ironwood, publicando una prueba verificada por máquina de que la nueva pool blindada de la red no contiene errores de falsificación indetectables bajo sus supuestos criptográficos declarados.

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

Los investigadores dijeron que la prueba cubre los componentes necesarios para esa propiedad, incluyendo el sistema de prueba de conocimiento cero de Ironwood, las reglas de circuito y la contabilidad a nivel de ledger. No cubre las garantías de privacidad separadas de Ironwood.

Ironwood fue introducido a través de 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 la falsificación indetectable de ZEC. Los desarrolladores de Zcash dijeron que no encontraron evidencia de que el fallo hubiera sido explotado. La nueva pool fue diseñada para restaurar la confianza en la integridad del suministro de Zcash.

Los fondos que migran desde Orchard deben pasar por un punto de control de contabilidad pública conocido como turnstile, diseñado para evitar que cualquier exceso hipotético de monedas entre en Ironwood. A medida que los fondos salen de Orchard, el proceso también puede proporcionar evidencia creciente sobre si la pool antigua fue explotada.