TechFlow news, July 08. According to The Block, the Zcash development team stated that they are close to completing a mathematical proof to verify that the new version of the privacy pool does not have undetectable forgery vulnerabilities. This progress is related to the application of AI-assisted formal verification, significantly shortening the verification cycle that could originally take years.
Influenced by this news, ZEC rose over 12% at one point on Tuesday.
Previously, a critical vulnerability was disclosed in Zcash's Orchard privacy pool, causing the token price to drop significantly within two days.




