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

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

Project Tachyon outlined new details of its verification effort for Zcash's upcoming Ironwood shielded pool.