Zcash ZEC вырос на 12% по мере приближения к завершению формальной верификации Ironwood.

Zcash's ZEC token rose about 12% after developers behind Project Tachyon announced they are close to formally proving that the network's incoming Ironwood shielded pool carries no undetectable counterfeiting bug. The price gain follows progress on formal verification work aimed at ruling out a soundness bug in Zcash's zk-SNARK circuit that could have allowed hidden ZEC minting. The Orchard flaw, discovered by researcher Taylor Hornby, was a vulnerability in the circuit Zcash uses to shield transactions, though developers believe no exploitation occurred. Ironwood is set to activate at the end of July with a turnstile mechanism that lets users migrate funds from the vulnerable Orchard pool and helps demonstrate no counterfeiting took place.

Orchard Flaw Enabled Potential Hidden Counterfeiting

The Orchard flaw was a soundness bug in the zk-SNARK circuit Zcash uses to shield transactions. A soundness bug lets a dishonest prover convince the network of a false statement, which in this case could have allowed an attacker to mint counterfeit ZEC with no on-chain trace. Because any exploitation would be invisible, developers could patch the flaw, but could not prove it had never been used. Taylor Hornby discovered the vulnerability.

Ironwood Introduces Formal Verification and Turnstile Mechanism

Ironwood is a fresh shielded pool based on Orchard, rebuilt with the flaw fixed. The Tachyon team said it has "primarily undertaken a comprehensive effort to formally verify Ironwood, ruling out undetectable counterfeiting bugs," and noted that such bugs "can only exist in the specification" because implementation errors leave detectable evidence on the ledger.

To handle the coins already in the vulnerable pool, Ironwood includes a turnstile. Wallets migrate funds from Orchard into Ironwood, and disabling payments in the old pool sets an upper bound on how much ZEC can be in circulation, which helps demonstrate that no counterfeiting occurred. Developers say they believe no exploitation happened, and the turnstile is designed to turn that belief into something the network can check.

Developers say they expect to activate Ironwood at the end of July, and that the formal verification of the new pool is the work that will settle whether the counterfeiting flaw was ever a live risk.

ZEC Price Recovered About Half of Post-Disclosure Losses

ZEC fell from about $600 to roughly $300 within two days of the disclosure, then recovered to around $457. The token has now regained about half of what it lost. The 12% gain followed the announcement from Project Tachyon developers about the formal verification progress.

Development Teams Behind Ironwood Upgrade

The upgrade is being built by a group of Zcash teams, including the Zcash Open Development Lab, a spinout of former Electric Coin Company engineers that raised $25 million this year to fund privacy work. Taylor Hornby, who found the Orchard flaw, works at Shielded Labs.

FAQ

What is the Orchard flaw in Zcash?

The Orchard flaw was a soundness bug in Zcash's zk-SNARK circuit that could have allowed an attacker to mint counterfeit ZEC with no on-chain trace. Discovered by researcher Taylor Hornby, the bug lets a dishonest prover convince the network of a false statement, though developers believe no exploitation occurred.

How does the Ironwood turnstile mechanism work?

The turnstile allows wallets to migrate funds from the vulnerable Orchard pool into the new Ironwood pool. Disabling payments in the old pool sets an upper bound on how much ZEC can be in circulation, which helps demonstrate that no counterfeiting occurred during the vulnerability period.

When will Zcash activate the Ironwood upgrade?

Developers expect to activate Ironwood at the end of July. The formal verification of the new pool is the work that will settle whether the counterfeiting flaw was ever a live risk.