Der neue Privacy Pool Ironwood von Zcash wird formale Verifikation verwenden, um nicht nachweisbare Inflationslücken vollständig zu beseitigen.

Odaily berichtet, dass das Entwicklungsteam von Zcash plant, durch den bevorstehenden neuen Privacy Pool Ironwood formale Verifizierung einzuführen, um das Risiko der „Undetectable Counterfeiting“-Schwachstelle mathematisch zu eliminieren.

Früheren Angaben zufolge wurde die in der Orchard Shielded Pool bestehende Schwachstelle zwar bereits behoben und es gibt bisher keine Hinweise auf deren Ausnutzung. Da jedoch theoretisch nicht über die On-Chain-Historie bestätigt werden kann, ob es zu einer versteckten zusätzlichen Ausgabe kam, hat die Community beschlossen, einen völlig neuen Ironwood Shielded Pool zu entwickeln und das Protokoll umfassend formell zu verifizieren.