ZEC« faille de faux monnaie » frappante : la forteresse de confiance du récit de confidentialité est dévoilée par l'IA

Récemment, la plus grosse nouvelle dans le monde de la cryptographie, vient de la vieille monnaie privée Zcash ($ZEC).

Point clé :
Un chercheur en sécurité utilisant le dernier modèle Claude Opus 4.8 d'Anthropic lors d'un audit a découvert une faille fatale dans le pool de confidentialité Orchard — une clause « trop laxiste » dans le manuel de règles, permettant à un attaquant de falsifier à l'infini des ZEC localement, sans possibilité de détection.

Chronologie :

· 1-2 juin correction d'urgence
· 5 juin divulgation publique par le fondateur Zooko
· En 24 heures, chute de 26%-36% du ZEC
· Le gros détenteur Arthur Hayes, « Trinité », a liquidé ses positions, déclarant : « La confidentialité face à l'IA/gouvernement/grandes entreprises nécessite la perfection, pas une probabilité élevée d'absence de problème. »

Réponse de l'équipe :
Le développeur principal Josh Swihart n'a pas évité la question, admettant qu'il s'agit d'un « défaut du manuel de règles lui-même », et non d'un problème de cryptographie ou de moteur de preuve.
Sa solution à long terme est la vérification formelle — utiliser une preuve mathématique pour remplacer l'examen visuel, afin d'assurer que le manuel de règles est sans faille. À court terme, il envisage de lancer dans la mise à niveau NU7 un deuxième pool Orchard vérifié formellement, ainsi qu'une nouvelle génération de circuits plus simples, Tachyon.

Une réflexion :

· La rapidité de réponse et la transparence de la divulgation sont à saluer
· Mais pour le secteur de la confidentialité, « existence d'une faille d'émission supplémentaire » constitue déjà une fissure dans le récit
· L'humeur du marché, la sortie des gros détenteurs et la baisse du marché rendent l'optimisme difficile à court terme
· À long terme, si la vérification formelle peut vraiment être mise en œuvre, Zcash pourrait retrouver le titre de « monnaie privée la plus robuste » — mais la reconstruction de la confiance est toujours plus difficile que la correction du code. $ZEC