Zcash's new privacy pool Ironwood to adopt formal verification, aiming to eliminate undetectable counterfeiting vulnerabilities

the Zcash development team announced plans to introduce formal verification through the upcoming new privacy pool Ironwood, using mathematical proof methods to eliminate the risk of "Undetectable Counterfeiting."Previously, although the vulnerability in the Orchard shielded pool has been fixed and there is no evidence of exploitation, the community decided to launch a completely new Ironwood shielded pool and perform comprehensive formal verification on its protocol, as it is theoretically impossible to confirm through on-chain history whether covert counterfeiting has occurred.