Le nouveau pool de confidentialité Ironwood de Zcash adoptera la vérification formelle afin d’éradiquer les failles de création indétectable de jetons.
Odaily rapporte que l’équipe de développement de Zcash a annoncé son intention d’introduire la vérification formelle avec le nouveau pool de confidentialité Ironwood, afin d’éliminer, par des preuves mathématiques, le risque de « vulnérabilité d’augmentation indétectable (Undetectable Counterfeiting) ».
Selon des informations précédentes, la faille existante dans le pool masqué Orchard a été corrigée et aucune preuve n’a montré son exploitation. Cependant, il est impossible de confirmer théoriquement via l’historique on-chain si une augmentation cachée s’est déjà produite. La communauté a donc décidé de lancer le nouveau pool masqué Ironwood et de procéder à une vérification formelle complète de son protocole.
Avertissement : le contenu de cet article reflète uniquement le point de vue de l'auteur et ne représente en aucun cas la plateforme. Cet article n'est pas destiné à servir de référence pour prendre des décisions d'investissement.
Vous pourriez également aimer
La croissance de Nvidia (NVDA.US) est-elle loin d’être terminée ? Jensen Huang prévoit un doublement des ventes de puces l’année prochaine
Le PDG de Nvidia, Jensen Huang, prévoit qu’avec l’accélération de la pénétration de l’intelligence artificielle dans divers secteurs, les ventes de puces de l’entreprise pourraient doubler au cours de l’année à venir. Cela montre que la demande mondiale pour les infrastructures d’IA continue d’enregistrer une forte croissance.
