Zcash's New Privacy Pool Ironwood to Adopt Formal Verification, Aiming to Eradicate Undetectable Counterfeiting Vulnerabilities

Odaily reported that the Zcash development team has announced plans to introduce formal verification through the upcoming new privacy pool, Ironwood, using mathematical proofs to eliminate the risk of "undetectable counterfeiting vulnerabilities."

Previously, although the vulnerability in the Orchard shielded pool has been fixed and there is no evidence of exploitation, it is theoretically impossible to confirm through on-chain history whether covert counterfeiting has occurred. Therefore, the community has decided to launch a new Ironwood shielded pool and conduct a comprehensive formal verification of its protocol.