Zcash says Ironwood privacy pool will use formal verification against hidden inflation risk
Tachyon’s July 7 technical update said a mathematical proof for Zcash’s next-generation shielded pool is nearing completion after last month’s Orchard vulnerability disclosure.
Zcash’s planned Ironwood shielded pool is moving closer to a formal mathematical proof designed to show it does not contain an “Undetectable Counterfeiting” flaw, a class of bug that could enable hidden inflation. Project Tachyon, which is working on upgrades for the privacy-focused cryptocurrency, published a technical blog on July 7 about formal verification for Ironwood, and Zcash founder Zooko Wilcox said the proof is nearing completion. The effort follows last month’s disclosure of a critical vulnerability in the older Orchard shielded pool that could have allowed counterfeit ZEC to be created without detection, though developers said no exploitation was confirmed. Ironwood is intended to replace Orchard with a corrected shielded pool whose cryptographic design is verified to rule out this category of supply-integrity risk.
- formal verification: A method of using mathematical proofs to show a protocol or system meets its intended security properties.
- Undetectable Counterfeiting: A flaw that could allow hidden creation of coins without leaving evidence visible on-chain.
- shielded pool: A privacy-focused transaction pool that hides details such as amounts using cryptographic techniques.