Zcash Surges 12% as Project Nears Mathematical Proof Against Counterfeiting Bug

Zcash rose more than 12% after developers said work to mathematically verify a critical network security vulnerability was nearing completion.

The Block reported on July 7 that Project Tachyon, the Zcash development effort, said security verification for Ironwood, its next-generation privacy pool, had entered the final stage. Zcash founder Zooko Wilcox said the team was close to completing a mathematical proof that the latest Zcash privacy pool does not contain an undetectable counterfeiting bug.

The update helped lift Zcash more than 12% and back above $500, its highest level since early June. The token had fallen more than 40% in two days earlier that month after a serious vulnerability was discovered in Orchard, the existing privacy pool.

The flaw meant an attacker could potentially create counterfeit ZEC within the Orchard privacy pool without detection. Developers applied a patch immediately and said they found no evidence of actual exploitation. Because of Zcash's privacy features, however, it was cryptographically impossible to prove whether the bug had been abused.

Project Tachyon aims to mathematically prove that Ironwood, which is set to replace Orchard, does not share the same type of vulnerability. The developers said advances in artificial intelligence-based proof techniques now allow a verification process that once took years to be completed within weeks.

Vadim Zacodil, a former NEAR Protocol developer, compared the issue to the inflation bug that struck Bitcoin in 2010. In that case, 184 billion counterfeit Bitcoin were created, but the problem was detected immediately thanks to Bitcoin's public ledger structure and the blockchain was rolled back. Zcash differs because it uses zero-knowledge proofs to conceal transaction amounts, making it difficult to publicly verify counterfeit coins if the proof system itself is flawed.