Wu learned that the Zcash development team stated that 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 noted that although the vulnerability in the previous Orchard shielded pool has been fixed and there is no evidence of exploitation, since it is theoretically impossible to confirm through on-chain history whether covert inflation has occurred, the community has decided to launch a brand new Ironwood shielded pool and conduct a comprehensive formal verification of its protocol.