Como o Zcash usa provas de conhecimento zero para ocultar transações à vista de todos

Zcash (ZEC) acabou de superar os 1.320 dólares. Operadores estão rodando capital de novo para moedas de privacidade, e o apetite por sigilo financeiro on-chain claramente voltou a esquentar.

Mas a realidade é dura: a maior parte de quem está comprando ZEC hoje não consegue explicar minimamente como a tecnologia por baixo do protocolo funciona.

As provas de conhecimento zero são possivelmente o avanço mais contraintuitivo da criptografia moderna. E o Zcash foi a primeira criptomoeda a aplicá-las em escala real.

Entender a lógica por trás desse mecanismo vai muito além de uma moeda em alta. É a chave para decifrar rollups ZK, DeFi privada e uma fatia cada vez maior de toda a pilha de blocos.

Resumo rápido

Uma prova de conhecimento zero permite que uma parte convença outra de que uma afirmação é verdadeira sem revelar nenhum dado subjacente – um truque criptográfico que torna transações totalmente privadas na blockchain matematicamente possíveis.

O Zcash usa uma variante específica chamada zk‑SNARKs para alimentar endereços blindados, em que valores e contraparte são ocultados da blockchain pública, mas ainda assim verificáveis pela rede.

O mesmo “primitivo” ZK hoje sustenta rollups Layer 2 no Ethereum, protocolos de DeFi privada e sistemas de identidade on-chain, tornando-se uma das tecnologias mais decisivas do setor, indo muito além das moedas de privacidade.

O que é, de fato, uma prova de conhecimento zero

Uma prova de conhecimento zero permite que uma pessoa, o provador, convença outra, o verificador, de que conhece uma informação específica — sem jamais revelar qual é essa informação.

O nome é propositalmente paradoxal. Você prova que sabe algo revelando exatamente zero sobre esse “algo”.

O conceito surgiu em 1985, em um artigo acadêmico de Shafi Goldwasser, Silvio Micali e Charles Rackoff. Eles mostraram que sistemas de prova interativos podiam ser redesenhados de forma que o verificador não aprendesse nada além de um único fato binário: a afirmação do provador é verdadeira.

Por quase três décadas, provas ZK ficaram confinadas quase exclusivamente ao mundo teórico.

A blockchain lhes deu um caso de uso real.

Em essência, uma prova de conhecimento zero responde à pergunta: “Você consegue provar que sabe o segredo sem me contar o segredo?” A resposta, matematicamente, é sim.

Para concretizar, vale uma analogia clássica. Imagine uma caverna com uma porta interna que só abre com uma palavra-passe secreta. Você fica na entrada; eu entro por um dos lados. Sem revelar a palavra, consigo provar que a conheço saindo repetidamente pelo lado que você gritar, porque só quem sabe a senha pode escolher livremente por onde sair. Depois de rodadas suficientes, você está estatisticamente convencido de que eu sei a senha — sem que eu tenha dito uma sílaba sobre qual é.

As três propriedades que toda prova ZK precisa ter

Nem todo truque criptográfico é uma prova de conhecimento zero. O artigo de 1985 definiu três propriedades rígidas que qualquer sistema precisa cumprir para receber esse rótulo. Entender cada uma ajuda a explicar por que provas ZK são tão difíceis de construir — e tão poderosas quando funcionam.

Completude significa que, se a afirmação é verdadeira e o provador age honestamente, um verificador honesto sempre será convencido. Não há “falsos negativos”: quem realmente detém o conhecimento consegue gerar uma prova válida.

Solidez (soundness) significa que, se a afirmação é falsa, um provador desonesto não consegue enganar o verificador, exceto com probabilidade negligenciavelmente pequena. É a garantia de segurança. Falsificar uma prova sem conhecer o segredo por trás deve ser computacionalmente inviável.

Conhecimento zero é a terceira e mais surpreendente propriedade. Mesmo depois de aceitar a prova, o verificador não aprende nada além do fato binário de que a afirmação é verdadeira. Não consegue reconstruir o segredo, nem sequer inferir fragmentos de informação sobre ele. A prova revela o mínimo logicamente necessário — e nada mais.

As três propriedades, combinadas, criam um canal de informação assimétrico. O fluxo é de mão única. O verificador ganha certeza; o provador não entrega informação sensível.

Como os zk‑SNARKs levaram provas ZK para a blockchain

Os protocolos ZK originais eram interativos: provador e verificador trocavam várias mensagens. Isso funciona bem em um cenário ponto a ponto entre dois computadores. Não funciona em uma blockchain, onde cada transação precisa ser verificada por milhares de nós, sem interação direta.

A virada veio com os zk‑SNARKs, sigla para Zero‑Knowledge Succinct Non‑Interactive Arguments of Knowledge. O “non‑interactive” é o que os torna adequados ao ambiente blockchain. Um zk‑SNARK condensa toda a prova em uma única cadeia curta de dados que qualquer nó pode verificar de forma independente, sem “pingue‑pongue” de mensagens.

A parte “succinct” é igualmente crítica. Uma prova zk‑SNARK é minúscula, tipicamente alguns centenas de bytes, independentemente da complexidade do cálculo subjacente. A verificação leva milissegundos. Essa combinação de tamanho reduzido e validação rápida é o que torna a tecnologia viável na escala de uma rede pública.

zk‑SNARKs exigem uma cerimônia de configuração inicial (“trusted setup”) para gerar parâmetros públicos. Se esse processo for comprometido, um atacante poderia, em teoria, forjar provas válidas. A cerimônia “Powers of Tau” original do Zcash teve 87 participantes justamente para diluir esse risco.

O Zcash foi a primeira grande criptomoeda a colocar zk‑SNARKs em produção, em outubro de 2016. Sua base criptográfica nasceu de pesquisas de um time com professores do MIT, Johns Hopkins e Universidade de Tel Aviv, com um setup projetado para distribuir o risco de comprometimento de parâmetros entre muitos participantes independentes.

(Image: Shutterstock)

Endereços blindados x transparentes: como o Zcash esconde transações

O Zcash opera com dois tipos de endereço. Endereços transparentes, que começam com “t”, funcionam basicamente como endereços de Bitcoin (BTC). Cada transação entre eles é totalmente visível na blockchain — remetente, destinatário e valor.

Já os endereços blindados, que começam com “z”, são onde entra a mágica ZK. Quando você envia ZEC de um endereço blindado para outro, a transação é registrada na blockchain, mas o endereço do remetente, o do destinatário e o montante transferido ficam criptografados. A única coisa que a blockchain pública enxerga é que a transação é válida: não houve criação de moedas do nada e não houve gasto duplo.

O mecanismo por trás disso é um compromisso de Pedersen. O remetente “se compromete” com o valor usando uma função criptográfica que esconde o número, mas o vincula ao provador. Em seguida, um zk‑SNARK prova que esses valores comprometidos obedecem à lei de conservação — entradas igualam saídas — sem revelar os montantes.

Mais tarde, o Zcash implementou o upgrade Sapling, que reduziu drasticamente o consumo de memória e o tempo para gerar transações blindadas. Antes do Sapling, criar uma prova exigia vários gigabytes de RAM e mais de um minuto de processamento. Depois, o mesmo processo passou a levar menos de três segundos em um smartphone comum. Foi um salto de engenharia crucial para tornar endereços blindados usáveis no dia a dia, e não apenas por experts.

Um ponto importante: nem toda transação Zcash é blindada. Historicamente, a maioria das transferências de ZEC usou endereços transparentes, já que muitas exchanges e carteiras adotavam, por padrão, o formato t‑address, mais simples de integrar. A “pool blindada” exige escolha ativa do usuário e suporte consistente por parte dos provedores de software.

Além das moedas de privacidade: ZK em rollups e DeFi

A mesma base matemática que esconde transações do Zcash está redesenhando o ecossistema Ethereum via ZK rollups. Um ZK rollup é uma solução de escalabilidade de Layer 2 que processa milhares de transações fora da chain principal e, depois, envia uma única prova zk‑SNARK para a rede do Ethereum. Essa única prova garante, criptograficamente, a correção de cada transação no lote.

O resultado é uma queda brutal na quantidade de dados on-chain. Em vez de publicar cada transação uma a uma, publica-se só a prova. Validadores do Ethereum verificam a prova, sem precisar reexecutar todas as operações. As taxas caem, a capacidade de processamento dispara e a segurança de camada base do Ethereum é preservada.

Projetos como zkSync, StarkNet e Polygon zkEVM já operam ZK rollups em produção, processando milhões de transações por semana. Em boa parte da comunidade, o modelo é visto como mais robusto do que optimistic rollups, que dependem de provas de fraude e de uma janela de contestação de até sete dias. Uma prova ZK é instantânea e, uma vez aceita, praticamente final.

ZK rollups herdam a segurança do Ethereum ao processar transações fora da rede principal. Uma única prova verificada on-chain cobre potencialmente milhares de operações.

A mesma tecnologia começa a ser aplicada a DeFi privada, sistemas de identidade e outras infraestruturas on-chain que exigem, ao mesmo tempo, verificabilidade pública e sigilo de dados. …em que os utilizadores querem fazer trades, contratar empréstimos ou abrir posições de yield sem expor todo o seu portefólio num registo público. Protocolos construídos sobre primitivas de zero‑knowledge permitem, por exemplo, que um utilizador prove que cumpre um requisito de colateral sem revelar o seu saldo exato, ou comprove que uma transação é legítima sem divulgar quem são as contrapartes.

Zcash vs. Monero: duas vias diferentes para o mesmo problema

Zcash não é a única “privacy coin” sob os holofotes. O Monero (XMR) tem sido, há anos, a principal criptomoeda de privacidade em termos de adoção, mas os dois projetos seguem caminhos técnicos profundamente distintos para ocultar transações.

No Monero, a privacidade é o padrão. Todas as transações recorrem simultaneamente a três tecnologias. As ring signatures disfarçam o remetente ao misturar a sua transação com saídas falsas de outros utilizadores. Os stealth addresses criam endereços de destino descartáveis para cada transação, impedindo que observadores associem pagamentos à chave pública do destinatário. Já o RingCT, “Ring Confidential Transactions”, oculta o montante transferido usando compromissos de Pedersen – a mesma construção criptográfica em que o Zcash também assenta.

No Zcash, a privacidade forte é opcional, mas tende a ser matematicamente mais robusta quando ativada. Uma transação totalmente “shielded” em Zcash é considerada, por muitos investigadores, criptograficamente superior ao modelo de privacidade do Monero, porque a prova de zero‑knowledge oferece uma garantia matemática direta, e não apenas uma proteção probabilística baseada em ofuscação. As ring signatures do Monero criam uma “negabilidade plausível” via mistura. Os zk‑SNARKs do Zcash produzem uma prova formal de não divulgação.

Na prática, o trade‑off está na adoção e nos defaults. Como a privacidade no Monero é automática, todo o grafo de transações beneficia das respetivas propriedades de confidencialidade. No Zcash, o nível máximo de privacidade exige que o utilizador opte ativamente por endereços shielded, e o ecossistema foi mais lento a generalizar o seu uso.

Há ainda uma terceira dimensão: o enquadramento regulatório. Várias grandes exchanges decidiram deslistar o Monero por pressão de compliance. O Zcash, por outro lado, preservou uma presença mais ampla em plataformas centralizadas, em parte porque a camada de endereços transparentes permite auditoria quando reguladores a exigem.

Quem realmente precisa de privacidade ZK – e porque é que importa para lá da especulação

A tese de valor da privacidade suportada por provas de zero‑knowledge vai muito para além de utilizadores que queiram fugir ao escrutínio de Estados ou reguladores. A procura real abrange várias categorias legítimas, que começam a ser reconhecidas por utilizadores de massa e por instituições.

Empresas que operam em blockchains públicas enfrentam uma desvantagem competitiva clara quando pagamentos a fornecedores, valores de salários e movimentos de tesouraria ficam expostos a qualquer pessoa com acesso a um blockchain explorer.

Uma empresa que paga a um fornecedor de software em stablecoins numa rede pública está, na prática, a divulgar a sua estrutura de custos a todos os concorrentes.

As provas ZK permitem que empresas transacionem sobre infraestrutura pública sem expor dados comercialmente sensíveis.

Aplicações em saúde e identidade constituem uma segunda categoria em crescimento. Provas de zero‑knowledge podem confirmar que uma pessoa tem mais de determinada idade, detém uma certa credencial ou passou num controlo de compliance, sem revelar a data de nascimento, os detalhes da credencial ou a natureza exata dessa verificação. A camada emergente de identidade ZK no ecossistema Ethereum (ETH) é construída precisamente sobre este princípio.

A privacidade financeira individual está no centro da visão original dos cypherpunks. Por defeito, blockchains públicas funcionam como infraestrutura de vigilância: cada saldo, cada transação, cada interação com um protocolo fica registada para sempre. Num contexto em que data brokers, bolsas e empresas de analytics constroem perfis financeiros detalhados a partir de dados on‑chain, as provas ZK surgem como um contrapeso tecnológico.

O capítulo regulatório é delicado. Nos EUA, as autoridades têm encarado as privacy coins com crescente desconfiança, e a Financial Crimes Enforcement Network tem sinalizado mixers e protocolos de privacidade como potenciais vetores de branqueamento de capitais. A funcionalidade de divulgação seletiva do Zcash, que permite a utilizadores shielded partilhar uma viewing key que revela detalhes de transações a uma entidade específica, foi desenhada precisamente para abrir uma via de conformidade para agentes regulados.

Conclusão

As provas de zero‑knowledge resolvem uma das tensões mais antigas da criptografia: como provar que se sabe alguma coisa sem revelar o que se sabe. O Zcash levou essa solução para uma blockchain em produção em 2016. Desde então, a tecnologia evoluiu para uma das primitivas mais decisivas de todo o setor.

A mesma matemática que esconde uma transação ZEC shielded hoje permite comprimir milhares de transações de rollups do Ethereum numa única prova verificável. Permite posições privadas em DeFi. É o alicerce de sistemas de identidade on‑chain que estão agora a nascer.

Leia a seguir: Bitget lança concurso “Gold Fast Or Go Home” para traders de cripto