Formal verification + new pool, Zcash is pushing the privacy coin's security standard to the mathematical level this time, finally offering a thorough solution to Orchard's vulnerabilities.

Wu learned that the Zcash development team stated it plans to introduce formal verification through the upcoming new privacy pool Ironwood, using mathematical proofs to eliminate the risk of "undetectable counterfeiting." The team said that although the previously discovered 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 inflation has occurred. Therefore, the community has decided to launch a new Ironwood shielded pool and conduct a comprehensive formal verification of its protocol.