Yellow.com

Zcash (ZEC) saltou mais de 13% nas últimas 24 horas, recolocando a criptomoeda de privacidade no centro das atenções do mercado.

Mas por trás do movimento de preço há uma história bem mais relevante: o sistema criptográfico que permite o funcionamento do Zcash é um dos exemplos mais elegantes de matemática aplicada já implementados em uma blockchain pública.

Esse sistema é conhecido como prova de conhecimento zero (zero-knowledge proof). Se você já se perguntou como uma criptomoeda consegue garantir, de forma matemática, que uma transação é válida sem revelar remetente, destinatário ou valor, este é o guia que você precisa.

Resumo rápido

Uma prova de conhecimento zero permite que uma parte (o provador) convença outra (o verificador) de que uma afirmação é verdadeira sem revelar nenhuma informação além da veracidade dessa afirmação.

O Zcash usa uma construção específica chamada zk-SNARKs para ocultar dados de transação em uma blockchain pública, garantindo ao mesmo tempo que nenhuma moeda seja criada do nada.

A mesma tecnologia hoje sustenta soluções de escalabilidade de Camada 2, protocolos de DeFi privada e sistemas de identidade, tornando-se um dos blocos de construção criptográficos mais importantes da Web3.

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

Uma prova de conhecimento zero é um método pelo qual uma parte, chamada de provador, consegue convencer outra parte, o verificador, de que determinada afirmação é verdadeira. A restrição central é que a prova não revela nada sobre os dados usados para comprovar essa afirmação.

O conceito apareceu pela primeira vez em um artigo acadêmico de 1985, assinado por Shafi Goldwasser, Silvio Micali e Charles Rackoff, intitulado “The Knowledge Complexity of Interactive Proof Systems”.

Os autores investigavam qual era a quantidade mínima de informação que um provador precisaria expor para convencer um verificador cético. Em alguns casos, a resposta encontrada foi, na prática, zero.

Uma prova de conhecimento zero precisa cumprir três propriedades: completude (um provador honesto sempre consegue convencer um verificador honesto), solidez (um provador desonesto não consegue enganar o verificador, exceto com probabilidade desprezível) e zero conhecimento (o verificador não aprende nada além da validade da afirmação).

O exemplo clássico de livro-texto é o “caverna de Ali Babá”, com uma porta mágica. Imagine uma caverna circular com uma única entrada e, ao fundo, uma porta trancada que só abre com uma senha secreta. O provador quer convencer o verificador de que conhece a senha sem revelá-la. Ele entra na caverna e escolhe o caminho da esquerda ou da direita. Em seguida, o verificador grita por qual dos caminhos quer que o provador saia. Se o provador conhece a senha, ele sempre consegue aparecer do lado correto, atravessando a porta se for preciso. Repetir o teste muitas vezes torna estatisticamente impossível que alguém sem a senha acerte todas as saídas no acaso.

(Image: Shutterstock)

Provas interativas x não interativas – e por que isso importa para blockchains

A analogia da caverna descreve uma prova de conhecimento zero interativa. O verificador participa ativamente, emitindo um desafio a cada rodada. Embora matematicamente elegante, esse modelo tem um problema óbvio para blockchains: não há um verificador “ao vivo” do outro lado de cada transação, pronto para fazer desafios.

Redes blockchain precisam de provas de conhecimento zero não interativas. Nesse formato, o provador gera um único objeto de prova, autocontido, que qualquer pessoa pode verificar de forma independente, a qualquer momento, sem troca de mensagens. Resolver isso é um desafio matemático muito mais complexo.

O avanço decisivo veio com a técnica conhecida como heurística de Fiat–Shamir, desenvolvida em 1986. Ela transforma provas interativas em não interativas substituindo os desafios aleatórios do verificador por uma função de hash criptográfica. O próprio provador gera o “desafio” usando um hash da afirmação, que não pode ser manipulado sem invalidar a prova.

Provas não interativas abriram a possibilidade de embutir a verificação criptográfica diretamente nas transações em blockchain. Um nó que recebe uma transação blindada não precisa perguntar nada a ninguém: ele apenas executa, localmente, o algoritmo de verificação e obtém uma resposta de “sim” ou “não”.

Como os zk-SNARKs alimentam as transações blindadas do Zcash

O Zcash inaugurou o primeiro uso em produção de zk-SNARKs em uma grande blockchain pública em outubro de 2016. A sigla significa Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Cada termo tem peso técnico específico.

“Succinct” (conciso) significa que a prova é pequena em tamanho de arquivo e rápida de verificar, independentemente da complexidade do cálculo subjacente. “Non-interactive” indica que não há diálogo entre provador e verificador, como já descrito. “Arguments of Knowledge” quer dizer que o provador precisa, de fato, possuir o “testemunho” secreto (a chave privada, a chave de gasto, os detalhes da transação) para gerar uma prova válida – o chute aleatório é matematicamente descartado.

Quando um usuário de Zcash envia uma transação blindada, a carteira do remetente executa um cálculo que comprova, de uma só vez, diversos fatos sem expor nenhum deles. A prova mostra que o remetente é dono dos fundos gastos, que a soma das entradas é igual à soma das saídas mais a taxa (impedindo criação de moedas do nada) e que o usuário conhece a chave de gasto privada do endereço de origem. A prova é embutida na transação e transmitida à rede. Cada nó completo a verifica de forma independente, normalmente em milissegundos.

As transações blindadas do Zcash usam uma estrutura criptográfica chamada circuito Sapling (que substituiu o circuito Sprout original em 2018). A atualização reduziu o tempo de geração das provas de cerca de 40 segundos para menos de 2 segundos e o consumo de memória de 3 GB para algo em torno de 40 MB, viabilizando, pela primeira vez, carteiras blindadas em dispositivos móveis.

O Zcash opera com dois tipos de endereço. Endereços transparentes (t-addresses) funcionam como endereços de Bitcoin (BTC): todos os dados ficam visíveis on-chain. Já os endereços blindados (z-addresses) usam zk-SNARKs para criptografar remetente, destinatário e valor. É possível transacionar entre os dois tipos, embora a movimentação de um endereço transparente para um blindado ainda revele os montantes nessa “fronteira”.

O problema do “trusted setup”, a exigência mais polêmica do Zcash

O ponto tecnicamente mais controverso da implementação original de zk-SNARKs no Zcash é a cerimônia de configuração confiável (trusted setup). zk-SNARKs exigem que um conjunto de parâmetros públicos – às vezes chamado de “string de referência comum” – seja gerado antes que o sistema possa operar. Esses parâmetros derivam de um valor secreto aleatório. Se esse segredo for reconstruído, um agente mal-intencionado poderia forjar provas e criar Zcash do nada, sem ser detectado.

Para mitigar esse risco, a equipe fundadora do Zcash realizou, em 2016, uma cerimônia de computação multipartidária com seis participantes, cada um gerando um fragmento do segredo. Os parâmetros permanecem seguros desde que ao menos um desses participantes tenha destruído seu fragmento de forma honesta. O processo foi repetido e aprimorado na atualização Sapling, em 2018, envolvendo 90 participantes, o que torna a probabilidade de comprometimento total praticamente nula.

A exigência de trusted setup continua sendo uma fragilidade teórica e um ponto de debate filosófico entre entusiastas de moedas de privacidade. Críticos argumentam que mesmo um risco minúsculo de inflação indetectável é inaceitável. Defensores destacam o grande número de participantes e o desenho auditável da cerimônia como mitigação suficiente.

Essa preocupação impulsionou o desenvolvimento dos zk-STARKs, o outro grande ramo da família das provas de conhecimento zero, tratado na seção seguinte.

zk-SNARKs x zk-STARKs: os principais trade-offs

zk-STARKs, sigla para Zero-Knowledge Scalable Transparent Arguments of Knowledge, foram apresentados em um artigo de 2018 por Eli Ben-Sasson e colegas do Technion e da StarkWare. Eles eliminam completamente o problema do trusted setup ao depender apenas de aleatoriedade pública verificável, derivada de funções de hash resistentes a colisão, sem parâmetros secretos.

Os compromissos entre as duas abordagens são relevantes e pesam na decisão de desenvolvedores:

zk-SNARKs geram provas bem pequenas, normalmente abaixo de 300 bytes, com verificação extremamente rápida. Exigem trusted setup e dependem de criptografia de curva elíptica, teoricamente vulnerável a um computador quântico suficientemente poderoso.
zk-STARKs dispensam trusted setup e são considerados pós-quânticos, pois se baseiam apenas em funções de hash. Em contrapartida, produzem provas significativamente maiores, muitas vezes na faixa de dezenas a centenas de kilobytes, embora o tempo de verificação também seja rápido.
PLONK e outros SNARKs universais formam uma geração intermediária de esquemas que requerem um trusted setup universal, executado apenas uma vez, em vez de um por circuito. Projetos como Aztec e Polygon adotaram sistemas baseados em PLONK para reduzir o custo operacional de novas cerimônias sem abrir mão da eficiência dos SNARKs.

Para uso prático em blockchains em 2026, os zk-SNARKs dominam protocolos de camada 1 voltados à privacidade, como o Zcash. Já os zk-STARKs prevalecem em soluções de camada 2 focadas em escalabilidade, especialmente nos rollups desenvolvidos pela StarkWare, em que o tamanho da prova é menos importante do que a minimização de confiança e o alto throughput.

Também leia: Vitalik Buterin Quer Que O Ethereum Pare De Espiar Você

Onde As Provas De Conhecimento Zero Já São Usadas Além Das Moedas De Privacidade

O uso original das provas de conhecimento zero foi a privacidade financeira, como demonstrou o Zcash. Mas a tecnologia se espalhou de forma acelerada por todo o ecossistema de blockchain, e o recente buzz em torno da Nexus e da sua rede baseada em provas de conhecimento zero é um dos sinais mais claros de que a infraestrutura de ZKP está se tornando mainstream.

Os ZK Rollups talvez sejam hoje a aplicação comercialmente mais relevante fora do universo das moedas de privacidade. Redes de camada 2 como zkSync, StarkNet e Polygon zkEVM usam provas de conhecimento zero para agrupar centenas ou milhares de transações de Ethereum (ETH) em uma única prova enviada à camada principal. A rede principal do Ethereum só precisa verificar uma prova compacta, em vez de executar cada transação individualmente, o que aumenta de forma dramática o throughput sem abrir mão da segurança nativa do Ethereum.

O DeFi privado desponta como uma nova vertical, em que protocolos utilizam ZKPs para permitir que usuários participem de operações de lending, trading e estratégias de yield sem expor saldos de carteira ou estratégias on-chain. A rede Venice Token, que também vem ganhando tração ao lado do Zcash, aplica uma filosofia criptográfica semelhante à inferência de IA, permitindo consultar modelos de inteligência artificial sem que o provedor veja os inputs do usuário.

Sistemas de identidade e credenciais configuram uma terceira onda. As ZKPs permitem que o usuário comprove que tem mais de 18 anos, reside em determinado país ou passou por um processo de KYC sem revelar nome, data de nascimento ou número de passaporte. Projetos como Polygon ID e Sismo desenvolveram frameworks de credenciais a partir dessa capacidade.

O mercado de provas de conhecimento zero deve saltar de cerca de US$ 243 milhões em 2023 para mais de US$ 12 bilhões em 2030, segundo dados da Grand View Research, refletindo a adoção em finanças, identidade e verificação de cadeias de suprimento.

Também leia: Exclusivo: DeFi Enfrenta Uma Crise Silenciosa Que Está Matando Os Yields, Diz CEO Da Katana

Quem De Fato Precisa Entender Essa Tecnologia

As provas de conhecimento zero são relevantes para vários perfis dentro do universo cripto, mesmo que a maioria dos usuários nunca toque diretamente na criptografia em si.

Traders e investidores que acompanham moedas de privacidade como o Zcash se beneficiam ao entender que uma alta de preço não é puramente especulativa. A tecnologia que sustenta o ZEC tem utilidade real e crescente em ZK rollups e no DeFi privado, o que cria uma tese de demanda estrutural além da simples aposta em preço. Quando a pressão regulatória sobre blockchains totalmente transparentes aumenta, como ocorre ciclicamente, as propriedades de preservação de privacidade de sistemas baseados em ZKP ganham peso imediato.

Usuários e desenvolvedores de DeFi que escolhem entre redes de camada 2 precisam compreender a diferença entre optimistic rollups (que usam um sistema de provas de fraude e uma janela de contestação de 7 dias) e ZK rollups (que se baseiam em provas matemáticas e podem finalizar em questão de minutos). Essa escolha impacta diretamente o tempo de saque, as premissas de confiança e a eficiência de capital.

Usuários preocupados com privacidade, em qualquer nível, devem saber que os endereços protegidos do Zcash oferecem um modelo de privacidade efetivamente diferente do pseudonimato do Bitcoin. Empresas de análise on-chain como a Chainalysis já reconheceram publicamente que transações Zcash totalmente protegidas são, na prática, opacas às suas ferramentas — um diferencial relevante para quem precisa de confidencialidade financeira.

Construtores de protocolos que exploram sistemas de credencial, votação privada ou provas de reservas sem divulgar saldos precisam entender o modelo básico de circuitos das ZKPs, porque projetar um sistema de ZKP significa desenhar o circuito aritmético que codifica o problema — não escrever código tradicional no sentido usual.

Também leia: SpaceX Revela Reserva De 18.712 BTC Em Arquivo De IPO, Surpreende Como Uma Das 7 Maiores Baleias De Bitcoin

Conclusão

As provas de conhecimento zero surgiram como uma curiosidade teórica em um artigo acadêmico de 1985 e hoje são infraestrutura de base para moedas de privacidade, redes de escalabilidade e soluções de identidade descentralizada. A ideia central — comunicar a veracidade de uma afirmação sem transferir o conhecimento subjacente — é tão contraintuitiva que muitos engenheiros passam anos no setor sem captar completamente suas implicações.

O Zcash continua sendo o exemplo de produção mais visível de ZKPs aplicadas à privacidade financeira. Sua arquitetura baseada em zk-SNARKs, apesar do debate recorrente sobre trusted setups, mostrou-se robusta e serviu de referência direta para praticamente todas as grandes construções de ZK rollups que vieram depois.

A expansão da tecnologia para o escalonamento de DeFi em redes como zkSync e StarkNet, e para camadas de privacidade em IA como a Venice, indica que as provas de conhecimento zero deixaram de ser um recurso de nicho de moedas de privacidade para se tornar um bloco fundamental da próxima geração de sistemas criptográficos.

Da próxima vez que uma moeda de privacidade disparar ou que um novo ZK rollup anunciar recordes de throughput, você já terá uma estrutura para avaliar o que a tecnologia subjacente está, de fato, entregando — e não apenas o que o gráfico de preço mostra.

Leia a seguir: Moedas De Privacidade Entram No Radar: Open Interest De Dash Salta 49% Da Noite Para O Dia

Por que as provas de conhecimento zero podem se tornar a tecnologia mais importante das criptomoedas