Zcash is set to activate its Ironwood upgrade on July 28, replacing the Orchard pool that was once susceptible to an “infinity” bug.

Zcash details its plan to formally verify Ironwood's shielded pool, aiming to eliminate undetectable counterfeiting vulnerabilities.

Zcash founder Zooko Wilcox says formal verification of Ironwood's shielded pool circuits is nearly done, sending ZEC higher after its post-Orchard crash.