Les développeurs de Zcash approchent d'une preuve mathématique contre les bugs de contrefaçon

Les développeurs de Zcash ont annoncé mardi qu'ils approchent d'une preuve mathématique que le futur pool shielded Ironwood du protocole ne contient pas de bug de contrefaçon indétectable. Le projet Tachyon a détaillé de nouvelles informations sur son effort de vérification pour le pool shielded Ironwood de Zcash, le fondateur Zooko Wilcox déclarant que le projet est sur le point de produire une preuve mathématique qu'il n'y a pas de bugs de contrefaçon indétectables dans les derniers pools shielded de Zcash. Cette annonce répond aux inquiétudes soulevées par une faille critique révélée le mois dernier dans le pool shielded Orchard de Zcash, qui a remis en question l'intégrité du système de confidentialité du réseau et la difficulté de prouver cryptographiquement l'absence de vulnérabilités cachées dans les architectures basées sur les preuves à divulgation nulle de connaissance.

Le token natif de Zcash, ZEC, a bondi de plus de 12 % mardi suite à cette annonce, faisant remonter la cryptomonnaie au-dessus de 500 dollars. Cela marque le plus haut niveau de ZEC depuis début juin, lorsque la révélation d'une faille critique dans le pool shielded Orchard de Zcash a fait chuter la cryptomonnaie axée sur la confidentialité de plus de 40 % en seulement deux jours.

Le projet Tachyon détaille l'approche de vérification d'Ironwood

Le projet Tachyon a détaillé de nouvelles informations sur son effort de vérification pour le futur pool shielded Ironwood de Zcash. Le projet vise à prouver qu'Ironwood ne peut pas contenir le même type de bug de contrefaçon indétectable que celui trouvé dans le pool Orchard. Le projet Tachyon a indiqué que l'approche est devenue plus pratique grâce aux avancées dans la génération de preuves assistée par IA, réduisant un travail qui prenait autrefois des années à quelques semaines.

La vulnérabilité d'Orchard en juin a provoqué une baisse de 40 % du prix

La vulnérabilité révélée début juin aurait pu permettre à un attaquant de créer des ZEC contrefaits dans le pool shielded Orchard sans être détecté. Les développeurs ont rapidement corrigé la faille et ont déclaré qu'ils pensent qu'elle n'a jamais été exploitée. Cependant, la conception de confidentialité de Zcash rendait impossible de prouver cryptographiquement l'absence d'exploitation. Les pools shielded de Zcash reposent sur des preuves à divulgation nulle de connaissance qui masquent les montants des transactions, ce qui signifie que des défauts dans ces preuves pourraient permettre la création de pièces contrefaites sans laisser de preuves détectables publiquement.

Un ancien contributeur de NEAR compare Zcash au bug d'inflation de Bitcoin de 2010

Vadim Zacodil, ancien contributeur du protocole NEAR, a comparé la situation de Zcash au bug d'inflation de Bitcoin de 2010, lorsque 184 milliards de bitcoins contrefaits ont été créés avant que la blockchain ne soit restaurée. Comme les transactions Bitcoin sont publiques, l'exploit a été immédiatement détecté. Les pools shielded de Zcash, cependant, masquent les montants des transactions via des preuves à divulgation nulle de connaissance, rendant la détection d'exploits similaires plus difficile sans méthodes de vérification mathématique.

FAQ

Qu'ont annoncé les développeurs de Zcash mardi ? Les développeurs de Zcash ont annoncé qu'ils approchent d'une preuve mathématique que le futur pool shielded Ironwood du protocole ne contient pas de bug de contrefaçon indétectable. Le projet Tachyon a détaillé de nouvelles informations sur son effort de vérification, le fondateur Zooko Wilcox déclarant que le projet est sur le point de produire une preuve mathématique pour les derniers pools shielded de Zcash.

Pourquoi ZEC a-t-il chuté de 40 % début juin ? ZEC a chuté de plus de 40 % en seulement deux jours début juin suite à la révélation d'une faille critique dans le pool shielded Orchard de Zcash. La vulnérabilité aurait pu permettre à un attaquant de créer des ZEC contrefaits dans le pool shielded Orchard sans être détecté, bien que les développeurs aient rapidement corrigé la faille et aient déclaré qu'ils pensent qu'elle n'a jamais été exploitée.

En quoi la conception de confidentialité de Zcash diffère-t-elle de la transparence de Bitcoin ? Les pools shielded de Zcash reposent sur des preuves à divulgation nulle de connaissance qui masquent les montants des transactions, ce qui signifie que des défauts dans ces preuves pourraient permettre la création de pièces contrefaites sans laisser de preuves détectables publiquement. Les transactions Bitcoin sont publiques, donc les exploits comme le bug d'inflation de 2010 qui a créé 184 milliards de bitcoins contrefaits ont été immédiatement détectés et la blockchain a été restaurée.