La nueva piscina de privacidad Ironwood de Zcash implementará verificación formal, con el objetivo de eliminar las vulnerabilidades de emisión indetectables.

Odaily informó que el equipo de desarrollo de Zcash anunció planes para introducir verificación formal en el próximo nuevo pool privado Ironwood, con el objetivo de eliminar el riesgo de “emisión indetectable (Undetectable Counterfeiting)” mediante pruebas matemáticas.

Según información anterior, aunque ya se corrigió la vulnerabilidad existente en el pool protegido Orchard y no hay pruebas de que haya sido explotada, dado que teóricamente no es posible confirmar en el historial on-chain si hubo emisión oculta, la comunidad decidió lanzar un nuevo pool protegido Ironwood y someter su protocolo a una verificación formal completa.