Wu Blockchain has learned that the Zcash development team announced plans to introduce formal verification (Formal Verification) through the upcoming new privacy pool, Ironwood. This aims to mathematically eliminate the risk of 'Undetectable Counterfeiting.' The team stated that while the vulnerability in the previous Orchard shielded pool has been fixed and there is currently no evidence of exploitation, it is theoretically impossible to confirm through on-chain history whether hidden counterfeiting ever occurred. Therefore, the community has decided to launch the brand-new Ironwood shielded pool and conduct comprehensive formal verification of its protocol. https://(wublock123.com)/news/variational-onchain-derivatives-protocol-launches-onchain-swaps-q3-64106