Les fondateurs de Gemini, Tyler et Cameron Winklevoss, ont publiquement soutenu la vérification formelle comme moyen de sécuriser Zcash (ZEC), approuvant la lecture par un développeur du bug de contrefaçon récemment corrigé de la pièce de confidentialité.
Leurs commentaires sont arrivés lors d'une forte vente de ZEC et ont recadré l'épisode autour d'un correctif de sécurité à long terme plutôt que de la faille elle-même.
Pourquoi l'approbation de Winklevoss est importante pour Zcash
Tyler Winklevoss était d'accord avec Haseeb Qureshi, associé directeur de Dragonfly, qui a fait valoir que le bug aurait principalement nui aux détenteurs protégés, et non au marché transparent.
Les jumeaux Winklevoss ont cofondé Gemini, une bourse américaine réglementée. Leur soutien pèse donc auprès des institutions qui détiennent désormais les réserves de la ZEC.
« Mais même si l'IA a trouvé ce bug, l'IA fournira également le correctif pour l'ensemble de la catégorie : vérification formelle… La cryptographie formellement vérifiée ne peut pas avoir de bugs d'implémentation par construction », a déclaré le dirigeant de Dragonfly.
Suivez-nous sur X pour recevoir les dernières nouvelles au fur et à mesure
La vérification formelle comme feuille de route
Cameron Winklevoss a déclaré que la vérification formelle rendrait impossible la contrefaçon de bugs dans les pools protégés. Les développeurs de Zcash prévoient d'ajouter la méthode lors de la prochaine mise à niveau du réseau.
Selon Qureshi, la mise à niveau associe une nouvelle piscine protégée à un nouveau tourniquet. Le mécanisme migrerait les fonds du pool Orchard actuel et prouverait en chaîne qu'aucune ZEC contrefaite n'a été créée.
Le plan fait suite au correctif d'urgence du bug Orchard de l'équipe, qui a corrigé la faille avant tout exploit connu.
Zcash venait également d'enregistrer une offre protégée record avant que la peur ne frappe.
« À l'ère de l'IA, la vérification formelle est la voie à suivre pour sécuriser les logiciels et Zcash ouvre la voie. Zcash introduira la vérification formelle dans la prochaine mise à niveau du réseau, rendant impossibles les bugs d' »impression d'argent » dans les pools protégés. L'argent crypté avec une exactitude prouvable est imparable », a ajouté Cameron Winklevoss.
La vente de Zcash vendredi a effacé une partie du rallye de ZEC de 2026. Qureshi a également révélé que Dragonfly détient ZEC et qu'il investit personnellement dans un véhicule connexe.
Ce contexte est important lorsqu’il s’agit de peser les soutiens haussiers des grands détenteurs de ZEC.
La prochaine mise à niveau testera si l’exactitude prouvable peut restaurer la confiance dans l’argent privé. Jusqu'à ce qu'un nouveau pool confirme l'offre, les détenteurs évaluent le doute.
Le message Winklevoss Twins Back Zcash After Security Bug Scare apparaît en premier sur BeInCrypto.
Voir l’article original en anglais
