¿Qué es lo que realmente impide un anulador que ocurra dos veces?

Revisé qué es específicamente lo que impide un anulador en Dusk, ya que “evita el doble gasto” se dice sin mucha precisión.

Impide que una misma nota protegida se gaste más de una vez: nada más amplio que eso.

Seguí cómo Dusk hace esto sin revelar qué nota se gastó. El propio repositorio de Dusk indica que el anulador se calcula específicamente para que un observador externo no pueda vincularlo con ninguna nota en particular. La red no comprueba la nota en sí contra una lista; comprueba si este anulador exacto ya ha aparecido.

Confirmé que la nota no se elimina de ningún lugar una vez gastada. Permanece registrada en el árbol de Merkle de notas de Dusk. Solo se agrega el anulador a un registro separado, que va creciendo.

Esa distinción importa. Si las notas se borraran al gastarse, esperaría que eso filtrara información temporal solo con observar cómo se encoge la estructura. Mantener todas las notas en su lugar, se gasten o no, elimina esa señal en particular.

Busqué si esto crea algún riesgo de colisión: dos notas distintas que, por accidente, produzcan el mismo anulador. No encontré ningún caso documentado de eso en los propios materiales de Dusk, aunque la garantía se basa en las mismas suposiciones criptográficas subyacentes de las que depende el resto del sistema.

Así que un anulador en Dusk no está “marcando” una nota como gastada en un sentido visible. Está demostrando que ocurrió un gasto, sin identificar qué fue lo gastado.

¿Evitar el doble gasto de esta manera protege más privacidad de la que vale en un almacenamiento permanente y que crece para siempre?

@Dusk #dusk $DUSK #dusk