Yellow.com

Zcash (ZEC) acaba de ultrapassar US$ 1.320. O fluxo de capital volta a girar para as moedas de privacidade e a demanda por confidencialidade financeira on-chain está claramente em alta.

Mas há um detalhe: a maior parte de quem está comprando ZEC hoje não sabe explicar como a tecnologia por trás do ativo realmente funciona.

As provas de conhecimento zero talvez sejam o avanço mais contraintuitivo da criptografia moderna. E o Zcash foi a primeira criptomoeda a colocá-las para rodar em escala.

Entender como elas funcionam vai muito além de explicar um ativo em alta. É a chave para compreender a lógica dos rollups ZK, do DeFi privado e de uma fatia cada vez maior de toda a pilha de infraestrutura blockchain.

Resumo rápido

Uma prova de conhecimento zero permite que uma parte convença outra de que uma afirmação é verdadeira sem revelar nenhum dos dados subjacentes — truque criptográfico que torna possíveis transações totalmente privadas na blockchain, com garantias matemáticas.

O Zcash usa um tipo específico chamado zk-SNARKs para alimentar endereços blindados, em que valores e contraparte das transações ficam ocultos da blockchain pública, mas ainda assim são verificáveis pela rede.

O mesmo “bloco de construção” ZK hoje sustenta rollups de Camada 2 do Ethereum, protocolos de DeFi privado e sistemas de identidade on-chain, tornando-se uma das tecnologias mais relevantes do setor, 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 é paradoxal de propósito. Você prova que sabe algo revelando literalmente zero sobre esse algo.

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

Por quase três décadas, provas ZK viveram basicamente no papel, como ferramenta teórica.

A blockchain acabou dando a elas um uso prático.

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

Para tornar isso mais intuitivo, imagine uma analogia clássica, simplificada. Pense em uma caverna com uma porta interna que só abre com uma senha secreta. Você fica na entrada. Eu escolho um dos lados da caverna e entro. Sem nunca revelar a senha, consigo provar que a conheço saindo, repetidas vezes, exatamente pelo lado que você gritar de fora — porque só quem sabe a senha consegue escolher livremente por qual saída passar. Depois de rodadas suficientes, você fica estatisticamente convencido de que eu sei a senha. E eu nunca precisei dizer uma palavra 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 merecer esse rótulo. Entender essas três características ajuda a ver por que provas ZK são difíceis de construir — e tão poderosas quando funcionam.

Completude significa que, se a afirmação é verdadeira e o provador é honesto, um verificador honesto sempre será convencido. Não há “falsos negativos”. Quem tem o conhecimento válido sempre consegue gerar uma prova aceita.

Solidez significa que, se a afirmação é falsa, um provador desonesto não consegue enganar o verificador para que ele aceite, exceto com probabilidade desprezível. Essa é a garantia de segurança: é computacionalmente inviável fabricar uma prova válida sem realmente conhecer o segredo subjacente.

Conhecimento zero é a terceira e mais surpreendente propriedade. Mesmo depois de verificar a prova com sucesso, o verificador não aprendeu nada além do fato binário de que a afirmação é verdadeira. Ele não consegue reconstituir o segredo, nem obter informações parciais sobre ele. A prova revela apenas o mínimo logicamente necessário — e nada mais.

Juntas, essas três propriedades criam um canal de informação assimétrico. A informação flui em uma direção só. O verificador ganha certeza. O provador não entrega conteúdo algum do que sabe.

Como os zk-SNARKs levaram as provas ZK para a blockchain

Os protocolos ZK originais eram interativos: exigiam uma troca de mensagens de ida e volta entre provador e verificador. Isso funciona bem entre duas partes em computadores. Não funciona em blockchain, onde cada transação precisa ser verificada, de forma idêntica, por milhares de nós, sem interação extra.

A virada veio com os zk-SNARKs, sigla para Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. O “non-interactive” (não interativo) é o que os torna compatíveis com blockchains. Um zk-SNARK condensa toda a prova em uma única string curta de dados que qualquer nó consegue verificar de forma independente, sem conversa adicional.

A parte “succinct” (sucinta) é igualmente crítica. Uma prova zk-SNARK é minúscula — tipicamente alguns centenas de bytes — independentemente de quão complexa seja a computação original. A verificação leva milissegundos. Essa combinação de tamanho reduzido e validação rápida torna zk-SNARKs viáveis na escala de uma blockchain pública.

zk-SNARKs exigem uma cerimônia de configuração inicial para gerar parâmetros públicos. Se essa cerimônia for comprometida, um atacante poderia, em tese, forjar provas válidas. A cerimônia “Powers of Tau” original do Zcash contou com 87 participantes justamente para minimizar essa suposição de confiança.

O Zcash foi a primeira grande criptomoeda a usar zk-SNARKs em produção, no lançamento de outubro de 2016. A base criptográfica veio de pesquisas conduzidas por um time que incluía professores do MIT, Johns Hopkins e Universidade de Tel Aviv, com uma configuração confiável desenhada para distribuir o risco de comprometimento dos parâmetros entre muitos participantes independentes.

(Image: Shutterstock)

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

O Zcash oferece dois tipos de endereços. Os endereços transparentes, que começam com “t”, funcionam praticamente 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 a mágica ZK acontece. 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 consegue checar é que a transação é válida: não houve criação de moedas do nada, nem gasto duplo.

O mecanismo que permite isso é o chamado compromisso de Pedersen. O remetente “se compromete” com o valor da transação por meio de um hash criptográfico que esconde o número, mas o vincula de forma irrefutável. Um zk-SNARK então prova que esses valores comprometidos obedecem à lei de conservação — entradas iguais às saídas — sem revelar quais são esses valores.

Mais tarde, o Zcash introduziu o upgrade Sapling, que reduziu de forma drástica o tempo e os recursos necessários para gerar transações blindadas. Antes do Sapling, criar uma prova blindada exigia vários gigabytes de RAM e mais de um minuto de processamento. Depois do upgrade, a mesma operação passou a levar menos de três segundos em um smartphone comum. Esse salto de engenharia foi crucial para tornar os endereços blindados utilizáveis no dia a dia, e não apenas por usuários altamente técnicos.

Há uma ressalva importante: nem todas as transações de Zcash usam endereços blindados. Historicamente, a maioria das transferências de ZEC foi feita via endereços transparentes, porque muitas corretoras e carteiras optaram, por padrão, pelo formato t-address, mais simples. O “pool” blindado depende de uma escolha ativa do usuário e de suporte amplo por parte das plataformas.

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

O mesmo bloco de construção matemático que esconde transações do Zcash está redesenhando o ecossistema Ethereum por meio dos rollups ZK. Um ZK rollup é uma solução de escalabilidade de Camada 2 que processa milhares de transações fora da mainnet e depois envia uma única prova zk-SNARK para o Ethereum. Essa prova única garante criptograficamente a correção de todas as transações daquele lote.

O resultado é uma redução dramática na quantidade de dados on-chain. Em vez de publicar cada transação individualmente, publica-se uma prova. Os validadores do Ethereum verificam a prova, em vez de reexecutar todos os cálculos. O custo por transação despenca, a vazão aumenta em ordens de grandeza e, ainda assim, a segurança da Camada 1 é preservada.

Projetos como zkSync, StarkNet e Polygon zkEVM já colocaram rollups ZK em produção, processando milhões de transações por semana. A abordagem é amplamente vista como mais robusta do que a dos rollups otimistas, que dependem de provas de fraude e de uma “janela de contestação” que pode chegar a sete dias. A prova ZK é instantânea e criptograficamente final.

Rollups ZK herdam a segurança do Ethereum enquanto processam transações fora da mainnet. Uma única prova validada na Camada 1 cobre um lote com potencialmente milhares de operações individuais.

A mesma tecnologia começa a ser aplicada ao DeFi privado, identity on-chain e modelos de compliance em que usuários conseguem provar que atendem a certos critérios regulatórios — KYC, limites de exposição, solvência — sem abrir, linha a linha, todos os seus dados financeiros. onde usuários desejam executar trades, tomar empréstimos ou abrir posições de yield sem expor todo o portfólio em um livro‑razão público. Protocolos construídos sobre primitivas de ZK permitem, por exemplo, que o investidor comprove que atende a um requisito de colateral sem revelar o saldo exato, ou que demonstre que uma transação é legítima sem divulgar quem são as partes envolvidas.

Zcash vs. Monero: duas abordagens distintas para o mesmo problema

Zcash não é a única criptomoeda de privacidade em evidência. Monero (XMR) há anos ocupa a liderança em adoção nesse nicho, e os dois projetos adotam caminhos técnicos fundamentalmente diferentes para ocultar transações.

No Monero, a privacidade é padrão. Cada transação combina, ao mesmo tempo, três tecnologias. As ring signatures (assinaturas em anel) obscurecem o remetente ao misturar sua transação com saídas falsas de outros usuários. Os stealth addresses (endereços furtivos) geram, para cada pagamento, um endereço de destino descartável, impedindo observadores de vincularem o fluxo de fundos à chave pública do destinatário. Já o RingCT, sigla para Ring Confidential Transactions, oculta o valor transferido usando compromissos de Pedersen — a mesma construção criptográfica em que o Zcash também se apoia.

No Zcash, a privacidade mais forte é opcional, porém matematicamente mais robusta quando ativada. Muitas pesquisas consideram uma transação totalmente “shielded” em Zcash criptograficamente superior ao modelo de privacidade do Monero, porque a prova de conhecimento zero fornece uma garantia matemática direta, em vez de uma proteção probabilística via ofuscação. As ring signatures do Monero criam uma “negabilidade plausível” por meio de mistura. Os zk‑SNARKs do Zcash produzem uma prova formal de não divulgação.

Na prática, o ponto de equilíbrio está na adoção e nos padrões de uso. Como a privacidade do Monero é automática, todo o seu grafo de transações herda essas propriedades. Já o nível máximo de privacidade do Zcash exige que o usuário escolha ativamente endereços protegidos (“shielded”), e o ecossistema tem avançado mais lentamente rumo a uma adoção universal desse modelo.

Há ainda a dimensão regulatória. Diversas grandes corretoras retiraram o Monero de listagem, pressionadas por exigências de compliance. O Zcash, por outro lado, manteve uma presença mais ampla em exchanges, em parte porque sua camada de endereços transparentes permite auditoria sempre que reguladores a exigem.

Quem realmente precisa de privacidade com ZK — e por que isso importa além da especulação

A tese a favor de privacidade baseada em ZK vai muito além de usuários tentando escapar do alcance de governos ou reguladores. A demanda real abrange múltiplos casos legítimos, que começam a ganhar tração entre usuários tradicionais e instituições.

Empresas que transacionam em blockchains públicas enfrentam uma desvantagem competitiva concreta quando pagamentos a fornecedores, folhas de pagamento e movimentações de tesouraria ficam expostos a qualquer pessoa com um block explorer.

Uma companhia que paga um fornecedor de software em stablecoins, em uma rede pública, está na prática divulgando sua estrutura de custos para todos os concorrentes.

Provas de conhecimento zero permitem que empresas usem infraestrutura pública sem abrir mão de informações sensíveis do ponto de vista competitivo.

Aplicações em saúde e identidade formam uma segunda categoria em franca expansão. Provas ZK podem atestar que uma pessoa está acima de determinada idade, detém um certo credencial ou passou por um controle de compliance, sem revelar sua data de nascimento, os detalhes do credencial ou a natureza exata da checagem. A camada emergente de identidade em ZK no ecossistema do Ethereum (ETH) é construída exatamente sobre esse princípio.

A privacidade financeira individual permanece no centro do argumento original dos cypherpunks. Blockchains públicas são, por definição, infraestruturas de vigilância: o saldo de cada endereço, cada transação e cada interação com um protocolo ficam registrados para sempre. Em um mundo em que data brokers, corretoras e empresas de análise constroem perfis financeiros detalhados a partir de dados on‑chain, as provas de conhecimento zero surgem como um contrapeso técnico a essa vigilância.

O capítulo regulatório é intrincado. Nos Estados Unidos, reguladores tratam moedas de privacidade com suspeita crescente, e a rede de Combate a Crimes Financeiros (FinCEN) já apontou mixers e protocolos de privacidade como potenciais vetores de lavagem de dinheiro. O recurso de divulgação seletiva do Zcash — que permite a usuários “shielded” compartilhar uma chave de visualização com uma contraparte específica, revelando detalhes das transações apenas para ela — foi desenhado justamente para abrir um caminho de conformidade para participantes regulados.

Conclusão

Provas de conhecimento zero resolvem uma das tensões mais antigas da criptografia: como comprovar que você sabe algo sem revelar qual é esse algo. O Zcash levou essa solução à produção em uma blockchain em 2016. Desde então, a tecnologia se consolidou como uma das primitivas mais relevantes de todo o setor.

A mesma base matemática que esconde uma transação “shielded” em ZEC hoje comprime milhares de transações de rollups do Ethereum em uma única prova verificável. Ela viabiliza posições privadas em DeFi. E sustenta a espinha dorsal de sistemas emergentes de identidade on‑chain.

Leia em seguida: Bitget lança concurso “Gold Fast or Go Home” para traders de cripto

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