Glossary
Nullifier
Un marcador único y no vinculable que se publica al gastar una nota protegida, permitiendo a la red evitar el doble gasto sin revelar qué compromiso se consumió.
En un sistema protegido, el valor existe como compromisos ocultos en lugar de saldos de cuenta públicos. Para gastar una nota, el usuario revela un nullifier — un valor determinista derivado del secreto de la nota y de una clave de gasto — y demuestra en conocimiento cero que corresponde a algún compromiso no gastado del árbol, sin decir a cuál.
La red mantiene un conjunto público de nullifiers vistos. Si un nullifier ya aparece, el gasto es un doble gasto y se rechaza. Como el nullifier no es vinculable a su compromiso, los observadores solo saben que se gastó una nota válida. Zcash, Tornado Cash y Semaphore dependen todos de los nullifiers para un gasto privado y resistente a la repetición.