Les développeurs de Zcash sont sur le point de finaliser une preuve mathématique garantissant que la nouvelle version de leur pool de confidentialité est exempte de vulnérabilités liées à la falsification indétectable. Cette avancée s'appuie sur une vérification formelle assistée par intelligence artificielle, ce qui a considérablement réduit le délai de vérification, passant de plusieurs années à une période beaucoup plus courte. Ce développement marque une étape cruciale dans l'amélioration de la sécurité et de la fiabilité des fonctionnalités de confidentialité de Zcash.