Zcash afirma que la prueba de Ironwood descarta la existencia de errores de falsificación indetectables
Los investigadores de Zcash han completado la verificación formal de Ironwood, publicando una prueba verificada por máquina que demuestra que la nueva 'piscina blindada' de la red no contiene errores indetectables de falsificación bajo sus supuestos criptográficos declarados. 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. Establece una propiedad de seguridad llamada integridad del saldo, diseñada para garantizar que la reserva blindada no pueda pagar más valor del que ha entrado públicamente en ella. La prueba cubre los componentes necesarios para esa propiedad, incluido el sistema de prueba de conocimiento cero de Ironwood. Ironwood se introdujo a través de la actualización NU6.3 en respuesta a una vulnerabilidad descubierta en su piscina blindada anterior, Orchard, que teóricamente podría haber permitido la falsificación indetectable de ZEC. Los fondos que migran desde Orchard deben pasar por un punto de control contable público, diseñado para evitar que cualquier exceso hipotético de monedas ingrese a Ironwood.
cointelegraphHace 22 hora(s)
