#dusk $DUSK @Dusk
Tenho investigado como o Dusk mantém uma transação privada de verdade, e a primeira camada disso é exatamente o que você esperaria — o Piecrust gera uma prova, valores e contraparte permanecem ocultos na cadeia (on-chain), e os provisioners verificam a matemática sem ver os dados subjacentes. Os saldos ficam confidenciais. Ninguém está observando a quantia se mover.
Esse é o trecho que todo mundo cita. E é onde a maioria dos explicadores para.
O que eu não tinha pensado: a prova não “teleporta” para a cadeia. Antes de chegar ao consenso, ela precisa ser transmitida pela rede ponto a ponto — retransmitida de nó para nó (gossip) até cair em um bloco. E essa etapa não roda sobre o PLONK. Ela roda sobre TCP/IP.
Então aqui está a parte que me fez pausar. Um validador observando o mempool não consegue ler o que está dentro da sua transação. Mas um validador (ou qualquer pessoa rodando nós suficientes) observando a camada de rede ainda consegue ver que uma transação se originou do seu par, aproximadamente quando, e como ela se propagou. A criptografia de conhecimento zero esconde o conteúdo. Ela não esconde o fato de que o conteúdo existe, nem onde ele entrou no grafo.
Isso não é uma falha na criptografia — é um limite que a criptografia nunca foi projetada para cobrir. Provas ZK respondem “esta transação é válida sem revelar seu conteúdo?”. Elas não respondem “quem iniciou isso e quando”. Esses são dois problemas de privacidade separados, empilhados um sobre o outro, resolvidos por duas camadas completamente diferentes — uma criptográfica e outra topológica.
O que levanta a pergunta para a qual eu ainda não tenho uma resposta clara: a privacidade financeira no nível de conformidade realmente exige resolver as duas coisas? Se o interesse real do regulador é o conteúdo da transação, ZK resolve. Mas se o interesse — ou o adversário — se preocupa com o timing, correlação e origem, isso é um problema de privacidade de rede, não um problema de sistema de provas, e a arquitetura do Dusk não afirma de forma óbvia que resolve isso.
@Dusk_Foundation hoje. Mas é o tipo de coisa que deixa de importar menos, e não mais, à medida que o volume institucional cresce em $DUSK #dusk @Dusk hoje
Tenho investigado como o Dusk mantém uma transação privada de verdade, e a primeira camada disso é exatamente o que você esperaria — o Piecrust gera uma prova, valores e contraparte permanecem ocultos na cadeia (on-chain), e os provisioners verificam a matemática sem ver os dados subjacentes. Os saldos ficam confidenciais. Ninguém está observando a quantia se mover.
Esse é o trecho que todo mundo cita. E é onde a maioria dos explicadores para.
O que eu não tinha pensado: a prova não “teleporta” para a cadeia. Antes de chegar ao consenso, ela precisa ser transmitida pela rede ponto a ponto — retransmitida de nó para nó (gossip) até cair em um bloco. E essa etapa não roda sobre o PLONK. Ela roda sobre TCP/IP.
Então aqui está a parte que me fez pausar. Um validador observando o mempool não consegue ler o que está dentro da sua transação. Mas um validador (ou qualquer pessoa rodando nós suficientes) observando a camada de rede ainda consegue ver que uma transação se originou do seu par, aproximadamente quando, e como ela se propagou. A criptografia de conhecimento zero esconde o conteúdo. Ela não esconde o fato de que o conteúdo existe, nem onde ele entrou no grafo.
Isso não é uma falha na criptografia — é um limite que a criptografia nunca foi projetada para cobrir. Provas ZK respondem “esta transação é válida sem revelar seu conteúdo?”. Elas não respondem “quem iniciou isso e quando”. Esses são dois problemas de privacidade separados, empilhados um sobre o outro, resolvidos por duas camadas completamente diferentes — uma criptográfica e outra topológica.
O que levanta a pergunta para a qual eu ainda não tenho uma resposta clara: a privacidade financeira no nível de conformidade realmente exige resolver as duas coisas? Se o interesse real do regulador é o conteúdo da transação, ZK resolve. Mas se o interesse — ou o adversário — se preocupa com o timing, correlação e origem, isso é um problema de privacidade de rede, não um problema de sistema de provas, e a arquitetura do Dusk não afirma de forma óbvia que resolve isso.
@Dusk_Foundation hoje. Mas é o tipo de coisa que deixa de importar menos, e não mais, à medida que o volume institucional cresce em $DUSK #dusk @Dusk hoje