O que um anulador realmente impede que aconteça duas vezes

Eu verifiquei o que especificamente um anulador impede na Dusk, já que “impede gastos duplos” é dito sem muita precisão.

Ele impede que a mesma nota blindada seja gasta mais de uma vez — nada mais amplo do que isso.

Eu rastreei como a Dusk faz isso sem revelar qual nota foi gasta. O próprio repositório da Dusk afirma que o anulador é calculado especificamente para que um observador externo não consiga vinculá-lo a nenhuma nota em particular. A rede não verifica a nota em si contra uma lista; ela verifica se este exato anulador já apareceu.

Eu confirmei que a nota não é removida de lugar nenhum depois de ser gasta. Ela permanece registrada na árvore Merkle de notas da Dusk. Apenas o anulador é adicionado a um registro separado, que cresce.

Essa distinção importa. Se as notas fossem excluídas ao serem gastas, eu esperaria que isso vazasse informações de tempo apenas por observar a estrutura diminuir. Manter toda nota no lugar, gasta ou não, elimina esse sinal.

Eu procurei se isso cria algum risco de colisão — duas notas diferentes produzindo acidentalmente o mesmo anulador. Não encontrei nenhum caso documentado disso nos próprios materiais da Dusk, embora a garantia dependa das mesmas suposições criptográficas subjacentes das quais o restante do sistema depende.

Então um anulador na Dusk não é realmente “marcar” uma nota como gasta de um modo visível. Ele está provando que um gasto aconteceu, sem identificar o que foi gasto.

Impedir gastos duplos dessa forma protege mais privacidade do que vale a pena em um armazenamento permanente que cresce indefinidamente?

@Dusk_Foundation #dusk $DUSK #dusk