Zcash publica 2700 verificaciones mecánicas para fortalecer la confianza en el suministro

Zcash (ZEC) ha publicado más de 2700 pruebas de verificación mecánica sobre la integridad del equilibrio del nuevo fondo anónimo Ironwood. Esto se interpreta como una medida para reforzar la confianza en el suministro dentro de una estructura de privacidad que oculta el monto de las transacciones y los participantes. El proyecto Tachyon, desarrollado por un equipo de tres investigadores y criptógrafos, presentó los resultados de más de un mes de trabajo el día 28, y las pruebas fueron redactadas en el lenguaje de prueba de resumen Lean. El núcleo de la verificación es la 'integridad del equilibrio', que establece que un fondo anónimo no puede enviar más valor del que ha recibido públicamente. Los investigadores explicaron que esta prueba abarca el sistema de prueba de conocimiento cero de Ironwood, las reglas del circuito y la contabilidad de unidades del libro mayor. Ironwood fue introducido con la actualización NU6.3 de Zcash, y se planteó una vulnerabilidad en el fondo Orchard que permitía la falsificación de ZEC. Los desarrolladores de Zcash afirmaron que no se ha confirmado que esta falla haya sido explotada en la práctica. Los fondos que pasan de Orchard a Ironwood deben atravesar un umbral contable público llamado turnstile, que es un procedimiento para verificar el flujo de fondos que provienen del fondo existente. La reacción del mercado ha sido cautelosa, y ZEC ha caído casi un 40% desde la corrección de la vulnerabilidad. Se espera que la publicación de esta prueba reduzca las dudas sobre la integridad del suministro, lo cual se confirmará en el proceso de transferencia de fondos de Orchard.