Glossary
Nullifier
Un marqueur unique et non reliable, publié lors de la dépense d'une note protégée, qui permet au réseau d'empêcher la double dépense sans révéler quel engagement a été consommé.
Dans un système protégé, la valeur existe sous forme d'engagements cachés plutôt que de soldes de comptes publics. Pour dépenser une note, l'utilisateur révèle un nullifier — une valeur déterministe dérivée du secret de la note et d'une clé de dépense — et prouve en connaissance nulle qu'il correspond à un engagement non dépensé de l'arbre, sans dire lequel.
Le réseau tient un ensemble public de nullifiers déjà vus. Si un nullifier y figure déjà, la dépense est une double dépense et elle est rejetée. Comme le nullifier n'est pas reliable à son engagement, les observateurs apprennent seulement qu'une note valide a été dépensée. Zcash, Tornado Cash et Semaphore reposent tous sur les nullifiers pour des dépenses privées et résistantes au rejeu.