O que são ZK-SNARKs? Provas de privacidade e mineração explicadas

1O Que É Um ZK-SNARK?

Um ZK-SNARK é uma prova criptográfica que permite que um provador convença um verificador de que uma declaração é verdadeira, e que o provador conhece a informação secreta necessária, sem revelar esse segredo. O nome completo é Zero-Knowledge Succinct Non-Interactive Argument of Knowledge (Argumento de Conhecimento Sucinto Não Interativo de Conhecimento Zero). É uma família de construções de prova, não um algoritmo universal.

Em uma transação de blockchain, a declaração pública pode ser: “Esta transferência segue as regras do protocolo.” A testemunha privada pode incluir chaves secretas, anotações, saldos ou um rastreamento de execução. Uma prova válida pode mostrar que os dados ocultos satisfazem as regras sem colocar os próprios dados em um registro público. É por isso que os ZK-SNARKs são úteis para pagamentos privados, computação verificável, reivindicações de identidade e sistemas de escalonamento.

2O Que Significa Cada Parte do ZK-SNARK

“Sucinto” não garante o mesmo tamanho de prova ou tempo de verificação em todos os sistemas. Groth16, sistemas da família PLONK, sistemas da família Marlin e Halo 2 fazem escolhas diferentes. Os custos exatos dependem do circuito, curvas, esquema de compromisso, implementação, hardware e alvo de segurança.

3Como Um ZK-SNARK Funciona?

A matemática é avançada, mas o fluxo de trabalho pode ser compreendido em cinco etapas.

1. Defina a declaração. Os desenvolvedores expressam as regras como um circuito aritmético ou sistema de restrição. Para um pagamento, as regras podem verificar a propriedade, a conservação de valor e que uma entrada ainda não foi gasta.
2. Separe as entradas públicas e privadas. As entradas públicas são visíveis para o verificador. A testemunha privada contém os valores secretos necessários para satisfazer o circuito.
3. Prepare os parâmetros de prova. Dependendo do sistema de prova, isso pode envolver parâmetros específicos do circuito, uma string de referência estruturada universal ou uma configuração que não dependa de aleatoriedade secreta.
4. Gere a prova. O provador calcula um objeto criptográfico compacto mostrando que uma testemunha válida satisfaz todas as restrições.
5. Verifique a prova. Um nó ou contrato inteligente verifica a prova usando entradas públicas e uma chave de verificação. Ele aceita ou rejeita sem aprender a testemunha.

Isso não significa que o verificador confia no provador. A prova é útil porque um provador desonesto não deveria ser capaz de fazer uma declaração falsa passar, assumindo que a criptografia e a implementação são sólidas.

4Completude, Solidez e Conhecimento Zero

Essas garantias se aplicam à declaração codificada pelo circuito. Se o circuito omitir uma regra de negócio, usar o intervalo errado ou aceitar uma condição insegura, a prova pode ser criptograficamente válida, enquanto a aplicação permanece errada. O design do circuito, a revisão da implementação, a geração de parâmetros, o comportamento da carteira e a segurança operacional são, portanto, parte do limite de segurança.

5O Que É Uma Configuração Confiável?

Alguns ZK-SNARKs exigem uma string de referência estruturada gerada antes do início da prova. Sistemas mais antigos específicos de circuito usavam cerimônias que produziam parâmetros públicos enquanto os participantes tentavam destruir a aleatoriedade secreta, às vezes chamada de "lixo tóxico". Se todos os colaboradores coludissem ou o processo fosse comprometido, certos sistemas poderiam perder a solidez.

A computação multipartidária reduz esse risco: uma cerimônia pode permanecer segura se pelo menos um participante se comportar honestamente e destruir sua contribuição secreta. Projetos mais recentes oferecem diferentes modelos de configuração. Uma configuração universal pode suportar muitos circuitos, enquanto projetos transparentes ou sem confiança evitam a aleatoriedade de configuração oculta. Essas escolhas afetam o tamanho da prova, a velocidade do provador, o custo de verificação, a recursão e a complexidade da implementação.

6Como Zcash Usa ZK-SNARKs e Mineração

Zcash é o exemplo de produção mais conhecido de ZK-SNARKs para privacidade de pagamento. Em uma transação blindada, os compromissos representam notas privadas, os anulações impedem que a mesma nota seja gasta duas vezes, e uma prova mostra que a transação obedece às regras do protocolo. Dependendo do tipo de transação e das informações de visualização divulgadas, endereços, valores e dados de memorando podem permanecer protegidos enquanto os nós ainda verificam a validade.

ZK-SNARKs não são o algoritmo de mineração da Zcash. A mineração da Zcash usa prova de trabalho Equihash. Os mineradores competem para produzir blocos, ordenar transações válidas e proteger o histórico da cadeia. Os nós verificam as provas de conhecimento zero dentro das transações blindadas antes de aceitá-las. A camada de prova estabelece a correção da transação; a camada de consenso e mineração decide quais transações válidas se tornam parte da cadeia canônica.

Essa distinção é importante para o hardware. Um ASIC Equihash acelera a hash de prova de trabalho; ele não serve como um gerador de prova Halo 2 geral. Da mesma forma, um dispositivo que gera uma prova de carteira não está minerando ZEC automaticamente. Nosso guia de segurança de mineração da Zcash explica como o Orchard, o software de carteira, os nós e a mineração Equihash se encaixam.

Para a razão voltada para o usuário por trás das transações blindadas e da divulgação seletiva, consulte Valor da Privacidade da Zcash em 2026.

7Aleo, Rollups, Identidade e Computação Verificável

Aleo utiliza provas de conhecimento zero para execução privada de programas. Um usuário pode criar uma prova de que uma transição de estado seguiu um programa publicado, mantendo os dados de registro elegíveis privados. A rede verifica a prova e processa a lógica de finalização pública por meio de seu sistema de consenso. A prova ZK demonstra a execução correta; o AleoBFT fornece o acordo da rede. Tratar essas como a mesma operação repetiria a confusão entre mineração e prova vista em explicações mais antigas do Zcash.

O Panorama da Rede Aleo mais amplo aborda seu modelo de privacidade, descentralização e participação na rede sem reduzir o projeto a um acrônimo de prova.

ZK-SNARKs também suportam outros designs:

• Rollups de validade: provam que um lote de transições de estado off-chain foi executado corretamente antes que um contrato de camada base aceite a nova raiz de estado.
• Identidade privada: provam idade, filiação, jurisdição ou posse de credenciais sem revelar a credencial completa.
• Prova de reservas ou passivos: demonstram que os dados comprometidos satisfazem uma relação, limitando a divulgação, desde que o compromisso e o escopo contábil estejam completos.
• Computação verificável: provam que o software produziu uma saída a partir de entradas comprometidas sem exigir que cada verificador repita o trabalho caro.

Um "ZK rollup" não é automaticamente privado. Muitos rollups de validade publicam dados de transação suficientes para reconstrução e usam provas principalmente para correção e escalabilidade. A privacidade depende do que é público, do que é oculto e do que o circuito prova.

8Limites, Custos e Riscos de Segurança

Os ZK-SNARKs comprimem a verificação, mas a geração de provas pode ser intensiva em computação e memória. Os desenvolvedores devem traduzir programas em restrições, gerenciar chaves de prova e verificação, selecionar curvas e esquemas de compromisso, e otimizar circuitos. Aplicações complexas podem precisar de hardware especializado ou infraestrutura de prova distribuída.

• Bugs no circuito: uma restrição ausente pode permitir que uma testemunha inválida satisfaça a declaração implementada.
• Bugs na implementação: erros de serialização, aleatoriedade, carteira, verificador ou biblioteca podem minar a matemática sólida.
• Suposições de configuração: sistemas que usam um SRS dependem do modelo de segurança e da execução da geração de parâmetros.
• Vazamento de metadados: tempo de rede, dados de IP, comportamento da carteira, entradas públicas e registros de troca podem revelar informações fora da prova.
• Risco de atualização: a alteração de circuitos ou sistemas de prova requer planejamento cuidadoso de compatibilidade, auditoria e migração.

9ZK-SNARKs, STARKs e Provas ZK Gerais

O sistema de prova certo depende da aplicação. Um protocolo de pagamento pode priorizar a privacidade e a prova móvel. Um rollup pode priorizar o throughput e o custo de verificação on-chain. Um protocolo de longa duração pode valorizar a configuração transparente ou a recursão. "Usa ZK" é um ponto de partida para análise, não uma descrição técnica completa.