超 12.9 万枚 ZEC 迁移至 Ironwood 屏蔽池，价值逾 6000 万美元
Related
Zcash is nearing completion of its mathematical proof to prevent hidden issuance vulnerabilities; ZEC rises 12%.
According to Odaily Odaily, Zcash's native token ZEC rose more than 12% on Tuesday after the team responsible for developing its privacy pools said they were close to completing a mathematical proof to confirm that there was no undetectable forgery or over-issuance vulnerability in the latest Zcash shielded pools. This verification work is being carried out by Project Tachyon, targeting Zcash's upcoming Ironwood shielded pool. Zcash founder Zooko Wilcox stated that the project is on the verge of producing a mathematical proof, aiming to demonstrate that the latest Zcash privacy pool does not have undetectable proliferation vulnerabilities. This development stems from the disclosure last month of a serious forgery vulnerability in Zcash Orchard's shielded pool. At the time, this vulnerability caused market concerns that Zcash's privacy system might have undetectable hidden inflation risks, causing ZEC to fall by more than 40% within two days. Developers say that with the help of AI-assisted formal verification, proof work that might have previously taken years can now be compressed into weeks. This news pushed the ZEC back above $500, its highest level since early June. (The Block)
ZODL has proposed launching a new privacy pool, Ironwood, with plans to activate and enhance Zcash security by the end of July 2026.
ChainCatcher reports that ZODL, a core contributor to the Zcash ecosystem, has announced a new network upgrade solution and privacy pool, Ironwood, in collaboration with Tachyon, Valar Group, Zcash Foundation, and Shielded Labs. Ironwood will be built on the existing Orchard protocol and further enhanced for security through formal verification and additional independent audits.
Zcash's new privacy pool, Ironwood, will employ formal verification to eradicate undetectable proliferation vulnerabilities.
Mars Finance reports that the Zcash development team has announced plans to introduce formal verification through the upcoming new privacy pool, Ironwood, to eliminate the risk of "undetectable issuance vulnerabilities" through mathematical proof. Previously, it was reported that while the vulnerability in the Orchard shielding pool had been patched and there was no evidence of exploitation, the community decided to launch the new Ironwood shielding pool and conduct comprehensive formal verification of its protocol because it is theoretically impossible to confirm whether covert issuance has occurred through on-chain history.
The Zcash Ironwood upgrade will be deployed to the testnet tomorrow.
According to Foresight News , Zcash core developer Sean Bowe tweeted that the Ironwood upgrade will be deployed to the testnet tomorrow. He also stated that the Ironwood upgrade will be activated on the mainnet around July 21st. All consensus rule changes have been implemented and have undergone a period of auditing. The specification/ZIP has been released and is nearing its final state. According to a previous Foresight News report, Zcash core developer Sean Bowe tweeted that Ironwood will introduce a new shielded pool using the Orchard protocol. Simultaneously, the Orchard circuit will add a flag controllable by consensus rules, which can disable payments to other users within the pool (while retaining change) as a privacy protection mechanism. After the upgrade, old Orchard pools will enable this restriction and prohibit fund transfers to old pools by constraining valueBalance. New user payments must be made through the new pool, while migrating funds from the old pool to the new pool is encouraged. Furthermore, users can gradually prove that no fraudulent minting has occurred by migrating funds.
Zcash core developer: New progress made in Ironwood upgrade; multiple organizations have reached an agreement on key changes.
According to Odaily Odaily, Zcash core developer Sean Bowe updated the Ironwood upgrade progress, stating that in the past 48 hours, the developers of various organizations' protocols have held two meetings and reached an agreement on several specifications and implementation details of Ironwood, including disabling Orchard pool binding in Coinbase transactions, using anchor points as authentication data for hardware wallet migration, and the processing order of ZIPs and specifications. Currently, the Ironwood circuitry and ZIP 2005 integration draft are under review. Valar Group has completed testnet setup and implemented some wallet-side changes. Meanwhile, formal verification work continues, and the development team plans to hold a meeting tomorrow to finalize the verification strategy. Furthermore, at least three major auditing firms are conducting security audits of Orchard, and multiple AI auditing tools have been deployed. Sean Bowe stated that overall development is progressing smoothly.
Zcash developers have reached a consensus on the Ironwood upgrade, which will introduce a new Orchard pool and restrict payment functionality in the old pool.
According to Foresight News , Sean Bowe, a core developer of Zcash, tweeted that Zcash organizations and protocol developers have reached an agreement on specific consensus rule changes for the Ironwood upgrade. Ironwood will introduce a new shielded pool using the Orchard protocol. Simultaneously, the Orchard circuit will add a consensus rule-controlled flag that disables payments to other users within the pool (while retaining change functionality) as a privacy protection mechanism. After the upgrade, the old Orchard pool will enable this restriction and prohibit fund transfers to the old pool by constraining valueBalance. New user payments must be made through the new pool, while migrating funds from the old pool to the new pool is encouraged. Furthermore, users can gradually prove that no fraudulent minting has occurred by migrating funds. Currently, all parties are in the implementation, specification development, and ecosystem support phase, and are advancing multiple auditing and formal verification processes.