#dusk $DUSK @Dusk Il existe une découverte d’audit Dusk à propos de laquelle l’idée « vérifier par l’arithmétique » paraît plus intéressante qu’elle n’en a l’air.
L’argument est simple : l’émission est fixe, les récompenses sont proportionnelles à la mise, donc chacun peut reconstruire ce qu’un validateur a gagné à partir de chiffres publics. Pas de tableau de bord. Pas de confiance. Juste de l’arithmétique.
Mais il y a une couche sous cette hypothèse : les chiffres eux-mêmes sont-ils corrects ?
La revue d’Oak Security de la couche de consensus de Dusk et de la bibliothèque de nœuds de Rusk a mis en évidence des problèmes de logique de validation dans la couche chargée de déterminer si les transitions d’état sont valides.
Ces problèmes ont été repérés avant le mainnet et corrigés, avec la résolution de tous les enjeux critiques/majeurs avant le lancement.
C’est bien. Mais cela met en lumière une distinction importante :
Transparence et exactitude ne sont pas des garanties identiques.
Un registre peut rendre ses chiffres entièrement visibles. Cela ne signifie pas automatiquement que la logique qui produit ces chiffres est irréprochable.
La propriété « vérifier par l’arithmétique » est précieuse précisément parce que les règles de consensus sous-jacentes sont correctes. Un audit aide à l’établir — mais une découverte d’audit montre aussi pourquoi cette garantie ne peut pas être simplement présumée.
Alors, où tracer la ligne de confiance ?
Un deuxième audit indépendant, des années de production sans incident, ou autre chose ?
#dusk @Dusk $DUSK