Passei uma hora fuçando no Hedger, a nova camada confidencial de transações que a Dusk lançou no ar no DuskEVM conforme a atualização de 15 de agosto deles, e a coisa que realmente me travou não foi a criptografia — foi o que ainda precisa ser verificado. A Dusk Network $DUSK @Dusk Foundation #dusk construiu o Hedger usando criptografia homomórfica combinada com provas de zero conhecimento, e eu entrei achando que isso significava que os dados da transação simplesmente somem da visualização. Não somem, não exatamente.
Abri o explorador do testnet da DuskEVM para dar uma olhada e, hmm… o registro da transação ainda está lá, ainda com o carimbo de data e hora, ainda vinculado a uma chamada de contrato. O que fica oculto é o payload — o valor, os valores específicos dentro. A prova ZK é o que permite que a rede confirme que a transação é válida, que os saldos batem, que nenhuma regra foi quebrada, sem nunca ver os números reais. Então não é "ninguém consegue auditar isso". É "o protocolo audita matematicamente em vez de um humano ler o valor bruto".
Essa distinção importa mais do que eu esperava. Anonimato total e isso não são a mesma coisa — a cadeia ainda sabe que algo aconteceu, só não os detalhes, e aparentemente esse é exatamente o ponto do design para casos de uso regulados.
Ainda estou pensando se "a matemática verifica para que ninguém precise ver" realmente atende a auditores reais, ou se é uma tranquilidade que só vale até alguém exigir o número bruto de qualquer jeito.