Zcash Nears Completion of Mathematical Proof to Prevent Forgery Vulnerability

CoinFeed reported on July 8, citing The Block, that Zcash developers are nearing completion of a mathematical proof for the Ironwood privacy pool to confirm that it does not contain the undetectable counterfeit vulnerability disclosed in the Orchard pool last month. Zcash founder Zooko Wilcox said the project is 'about to produce a mathematical proof.' Affected by this news, ZEC briefly rose above $500, its highest since early June, and is now at $483.45. After the Orchard pool vulnerability was disclosed last month, ZEC plummeted over 40% in two days. Project Tachyon stated that AI-assisted proof generation has shortened the work that used to take years to weeks, and is verifying the security of the Ironwood pool.