Qu’est-ce qu’un nullificateur empêche vraiment de se produire deux fois

J’ai vérifié plus précisément ce qu’un nullificateur empêche sur Dusk, puisque « empêche la double‑dépense » est souvent dit sans beaucoup de précision.

Il empêche la même note chiffrée d’être dépensée plus d’une fois — rien de plus large que cela.

J’ai retracé comment Dusk le fait sans révéler quelle note a été dépensée. Le propre dépôt de Dusk indique que le nullificateur est calculé de façon spécifique pour qu’un observateur externe ne puisse pas le relier à une note particulière. Le réseau ne vérifie pas la note elle‑même par rapport à une liste ; il vérifie si ce nullificateur exact est déjà apparu.

J’ai confirmé que la note ne disparaît d’aucun endroit une fois dépensée. Elle reste enregistrée dans l’arbre Merkle des notes de Dusk. Seul le nullificateur est ajouté à un enregistrement distinct, qui s’enrichit au fil du temps.

Cette distinction compte. Si les notes étaient supprimées lors de la dépense, je m’attendrais à ce que cela divulgue des informations temporelles rien qu’en observant la structure se réduire. Conserver chaque note en place, dépensée ou non, supprime ce signal précis.

J’ai recherché si cela crée un risque de collision — deux notes différentes produisant accidentellement le même nullificateur. Je n’ai trouvé aucun cas documenté de ce type dans les propres documents de Dusk, même si la garantie repose sur les mêmes hypothèses cryptographiques sous‑jacentes dont dépend le reste du système.

Ainsi, un nullificateur sur Dusk ne « marque » pas vraiment une note comme dépensée au sens visible. Il prouve qu’une dépense a eu lieu, sans identifier ce qui a été dépensé.

Empêcher les doubles‑dépenses de cette manière protège‑t‑il plus la confidentialité que ce qu’elle coûte en stockage permanent, qui ne cesse de croître ?

@Dusk #dusk $DUSK #dusk