Following the Orchard hidden bug, Zcash said Ironwood’s official verification is close to proving that there are no undetectable fake bugs.
Zcash (ZEC) briefly rose above $500 after founder Zooko Wilcox-O’Hearn said Tachyon’s official verification initiative for the project is close to providing mathematical proof that Zcash’s latest protected pools do not contain undetectable counterfeiting bugs.
Wilcox said the project is “on the verge of producing a mathematical proof” that would eliminate the long-standing trade-off between privacy and the ability to verify the cryptocurrency money supply.
Fear of hidden mistakes
Project Tachyon has subscriber New details about the verification work for Ironwood’s upcoming protected Zcash pool, following the recent discovery of a security vulnerability in Orchard.
In May, Taylor Hornby, a security researcher at Shielded Labs It has been identified A forgery vulnerability in Orchard, Zcash’s leading protected pool. Although the issue was patched through a network upgrade and the team believes it was never exploited, its undetectable nature prompted the community to develop Ironwood as a new protected pool with the vulnerability removed.
Ironwood is based on Orchard but starts with the corrected design. The protocol also includes a revolving door mechanism that allows users to move funds from Orchard to Ironwood, and helps prove that no counterfeiting is occurring. As part of the transition, payments within the older Orchard pool will be disabled, providing an upper limit to the supply of ZEC in circulation.
According to the project, fixing the bug alone was not enough to ensure future security. Instead, the community has launched a “multi-pronged” verification effort that combines extensive security audits, analysis using frontier AI tools, and formal verification to confirm Ironwood’s authenticity.
Bullish setup?
ZEC has risen steadily over the past week. The privacy coin rose from around $410 to briefly surpass the $500 mark before giving up some of its gains to settle near $480. Even after the pullback, ZEC rose almost 20% during this period.
You may also like:
Merchant “Ardi” He said ZEC is facing major resistance around $480, where the downtrend line and horizontal resistance level meet. This created “combined resistance.” The trader believes that the recent rejection at this level has already reinforced the setup by bringing the price back to retest the trend line.
According to RD, if the token crosses $480 and holds this level as support, it may regain momentum and rise back above $500.
Limited offer for Bybit’s CryptoPotato readers: Use this link To register and open a free position worth $500 on any currency!
