Zcash completa la verificación formal de Ironwood: reglas de pruebas de 2.700 teoremas que descartan la falsificación indetectable

Según Project Tachyon, el martes, los investigadores de Zcash completaron la verificación formal de Ironwood, publicando una demostración verificada por máquina que la nueva piscina blindada de la red no contiene errores de falsificación indetectables bajo sus supuestos criptográficos declarados.

La prueba, escrita en el lenguaje de programación Lean, consta de más de 2.700 teoremas y fue completada por tres equipos de investigadores y criptógrafos a lo largo de más de un mes. El trabajo establece la integridad del balance, garantizando que la piscina blindada no puede pagar más valor del que se ha introducido públicamente en ella. La prueba cubre el sistema de pruebas de conocimiento cero de Ironwood, las reglas de los circuitos y la contabilidad a nivel de libro mayor, aunque no aborda las garantías de privacidad.