existe um conceito na arquitetura de privacidade do Starknet que é fácil de perder, mas pode ser a parte mais elegante de todo o sistema: os nullifiers. aqui está o problema. em um pool de privacidade, você possui notas criptografadas que representam seus tokens. quando você gasta uma nota, o sistema precisa evitar o gasto duplo. 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 nullifier. um valor único derivado da nota e da sua chave de visualização privada. o nullifier marca a nota como gasta. mas ninguém assistindo pode vincular o nullifier de volta à nota original porque calcular isso requer sua chave privada. então, o sistema sabe que algo foi gasto. ele apenas não sabe o quê. e a pessoa que lhe enviou a nota também não pode saber quando você a gasta, porque ela não tem sua chave de visualização. este é o tipo de design criptográfico que leva anos para ser aperfeiçoado. e está ativo na especificação STRK20s, escrita inteiramente em Cairo, auditável em uma única base de código.