hay un concepto en la arquitectura de privacidad de Starknet que es fácil de pasar por alto pero que podría ser la pieza más elegante de todo el sistema: los anuladores. Aquí está el problema. En un pool de privacidad, tienes notas cifradas que representan tus tokens. Cuando gastas una nota, el sistema debe evitar el doble gasto. Pero también debe ocultar qué nota estás gastando. Esos dos objetivos están en tensión directa. La solución: cuando gastas una nota, publicas un anulador. un valor único derivado de la nota y de tu clave de visualización privada. El anulador marca la nota como gastada. Pero nadie que esté viendo puede vincular el anulador a la nota original porque calcularlo requiere tu clave privada. Así que el sistema sabe que algo se gastó. simplemente no sabe qué. Y la persona que te envió la nota tampoco puede saber cuándo la gastas porque no tiene tu clave de visualización. Este es el tipo de diseño criptográfico que tarda años en acertar. y está disponible en la especificación STRK20s, escrito íntegramente en El Cairo, auditable en una sola base de código.