Woofun AI reports that the Zcash development team plans to implement formal verification within the upcoming Ironwood privacy pool. This initiative utilizes mathematical proof methods to eradicate the risk of "Undetectable Counterfeiting."

Although the Orchard shielded pool's vulnerability was previously patched with no evidence of exploitation, the community opted for a new pool. This decision addresses the theoretical impossibility of confirming covert counterfeiting through on-chain history.