Vou contar uma minha própria “zona cega”. Eu sempre achei que as soluções de privacidade dependiam de quem fazia o melhor ZK, até recentemente investigar o módulo Hedger da Dusk e perceber que eu estava pensando de forma estreita desde a raiz—uma camada de criptografia não basta.
Primeiro, entenda o que o ZK realmente faz. Pense assim: você pede para um contador calcular suas contas. Ele calcula, e depois te entrega uma prova de que as contas estão corretas. A conta está certa? Ótimo, você pode verificar à vontade. Isso é ZK: a prova garante que o processo de cálculo está correto. Mas atenção: o contador calculou com os olhos abertos. Sua movimentação de receitas e despesas, do começo ao fim, foi vista por ele. A prova é verdadeira, mas a privacidade é falsa—os dados já foram expostos a quem executa o cálculo.
Esse é o ponto fraco de usar apenas ZK: ele garante se está certo ou não, mas não consegue garantir se dá para ver ou não.
A criptografia homomórfica completa exatamente a outra metade. Ainda com o contador: desta vez, você dá a ele uma caixa com cadeado. Ele coloca os valores dentro, usa uma máscara nos olhos e opera a caixa por fora. As operações de adição, subtração, multiplicação e divisão são feitas da mesma forma, mas ele não vê nenhum número durante todo o processo. No fim, você recebe a caixa de volta, leva a chave e abre para ver o resultado. É assim que a camada de ElGamal homomórfica no Hedger funciona: do momento em que os dados entram até saírem, eles permanecem como texto cifrado.
Somar as duas camadas é o “produto completo”. A criptografia homomórfica faz com que os dados não apareçam em lugar nenhum durante o tempo todo; o ZK, por sua vez, prova que os cálculos feitos nesses textos cifrados não foram adulterados. Uma camada cuida do “não ver”, a outra cuida do “estar correto”. Falta qualquer uma delas, fica manca.
Hoje, na maioria das soluções de privacidade em DeFi, só é colocada essa camada de ZK. A Dusk, através do Hedger, equipa a EVM com um motor de dupla confidencialidade: enquanto saldos e detalhes das transações ficam realmente ocultos, ainda é possível provar aos validadores e à supervisão que há conformidade.
Essa ideia tem um significado considerável para o DeFi. Antes, você tinha que escolher: para ter privacidade, precisava sair para a rede em busca de mixers; para garantir conformidade, tinha que ser totalmente transparente—no fim, só dava para escolher um dos lados. O Hedger tenta ficar com os dois.
Claro, o custo também é real: o custo computacional da criptografia homomórfica é notoriamente alto, e a perda de desempenho não dá para esconder. Além disso, esse conjunto ainda não passou por uso prático em mainnet; em termos de engenharia, será que ele aguenta cenários de DeFi com alta frequência? Fica uma interrogação.
Se a privacidade e o desempenho tiverem que ser escolhidos entre um e outro, qual você sacrifica? Comente e vamos discutir.
#dusk $DUSK @Dusk
Primeiro, entenda o que o ZK realmente faz. Pense assim: você pede para um contador calcular suas contas. Ele calcula, e depois te entrega uma prova de que as contas estão corretas. A conta está certa? Ótimo, você pode verificar à vontade. Isso é ZK: a prova garante que o processo de cálculo está correto. Mas atenção: o contador calculou com os olhos abertos. Sua movimentação de receitas e despesas, do começo ao fim, foi vista por ele. A prova é verdadeira, mas a privacidade é falsa—os dados já foram expostos a quem executa o cálculo.
Esse é o ponto fraco de usar apenas ZK: ele garante se está certo ou não, mas não consegue garantir se dá para ver ou não.
A criptografia homomórfica completa exatamente a outra metade. Ainda com o contador: desta vez, você dá a ele uma caixa com cadeado. Ele coloca os valores dentro, usa uma máscara nos olhos e opera a caixa por fora. As operações de adição, subtração, multiplicação e divisão são feitas da mesma forma, mas ele não vê nenhum número durante todo o processo. No fim, você recebe a caixa de volta, leva a chave e abre para ver o resultado. É assim que a camada de ElGamal homomórfica no Hedger funciona: do momento em que os dados entram até saírem, eles permanecem como texto cifrado.
Somar as duas camadas é o “produto completo”. A criptografia homomórfica faz com que os dados não apareçam em lugar nenhum durante o tempo todo; o ZK, por sua vez, prova que os cálculos feitos nesses textos cifrados não foram adulterados. Uma camada cuida do “não ver”, a outra cuida do “estar correto”. Falta qualquer uma delas, fica manca.
Hoje, na maioria das soluções de privacidade em DeFi, só é colocada essa camada de ZK. A Dusk, através do Hedger, equipa a EVM com um motor de dupla confidencialidade: enquanto saldos e detalhes das transações ficam realmente ocultos, ainda é possível provar aos validadores e à supervisão que há conformidade.
Essa ideia tem um significado considerável para o DeFi. Antes, você tinha que escolher: para ter privacidade, precisava sair para a rede em busca de mixers; para garantir conformidade, tinha que ser totalmente transparente—no fim, só dava para escolher um dos lados. O Hedger tenta ficar com os dois.
Claro, o custo também é real: o custo computacional da criptografia homomórfica é notoriamente alto, e a perda de desempenho não dá para esconder. Além disso, esse conjunto ainda não passou por uso prático em mainnet; em termos de engenharia, será que ele aguenta cenários de DeFi com alta frequência? Fica uma interrogação.
Se a privacidade e o desempenho tiverem que ser escolhidos entre um e outro, qual você sacrifica? Comente e vamos discutir.
#dusk $DUSK @Dusk
隐私最重要,慢一点就慢一点
100%
卡一卡难受啊,性能为王
0%
2 Votos • Votação encerrada