Selon TechFlow, le 8 juillet, d'après The Block, l'équipe de développement de Zcash a indiqué qu'elle était sur le point de finaliser une preuve mathématique visant à vérifier que la nouvelle version du pool de confidentialité ne contenait pas de vulnérabilités de falsification indétectables. Cette avancée est liée à l'application de la vérification formelle assistée par AI, réduisant considérablement le cycle de vérification qui aurait pu prendre plusieurs années.
Suite à cette nouvelle, le ZEC a connu une hausse de plus de 12% mardi.
Auparavant, une vulnérabilité critique avait été divulguée dans le pool de confidentialité Orchard de Zcash, provoquant une chute importante du prix du token en deux jours.




