há um conceito na arquitetura de privacidade da Starknet que é fácil de ignorar, mas que talvez seja a peça mais elegante de todo o sistema: anuladores. Aqui está o problema. Em um pool de privacidade, você guarda notas criptografadas que representam seus tokens. Quando você gasta uma nota, o sistema precisa evitar gastos duplos. Mas também precisa esconder qual nota você está gastando. Esses dois objetivos estão em tensão direta. A solução: quando você gasta uma nota, você publica um anulador. um valor único derivado da nota e da sua chave de visualização privada. O anulador marca a nota como esgotada. Mas ninguém que assista consegue vincular o anulador de volta à nota original porque calculá-lo requer sua chave privada. Então o sistema sabe que algo foi gasto. Só não sabe o quê. E a pessoa que enviou a nota também não sabe quando você gastou porque não tem sua chave de visualização. Esse é o tipo de design criptográfico que leva anos para ser acertado. e está disponível na especificação STRK20s, escrito inteiramente no Cairo, auditável em um único código.