Yellow.com

Zcash (ZEC) valorizou mais de 13% nas últimas 24 horas, voltando a colocar a moeda de privacidade em destaque nos mercados cripto.

Por trás do movimento de preço, porém, está uma história bem mais relevante: o sistema criptográfico que torna a Zcash possível é uma das construções de matemática aplicada mais elegantes já implementadas numa blockchain pública.

Esse sistema chama-se prova de conhecimento zero (zero-knowledge proof, ZKP). Se alguma vez se questionou como é que uma criptomoeda pode garantir matematicamente que uma transação é válida sem revelar o remetente, o destinatário ou o montante, esta é a explicação de que precisa.

Em resumo

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

A Zcash usa uma construção específica chamada zk-SNARKs para ocultar dados de transação numa blockchain pública, garantindo ao mesmo tempo que a rede confirma que não são criadas moedas “do nada”.

A mesma tecnologia sustenta hoje soluções de escalabilidade de camada 2, protocolos de DeFi privado e sistemas de identidade, tornando-se um dos blocos criptográficos mais decisivos da Web3.

O que é realmente uma prova de conhecimento zero

Uma prova de conhecimento zero é um método através do qual uma parte, o provador, consegue convencer outra parte, o verificador, de que uma determinada afirmação é verdadeira. A condição crucial é que a prova não revele nada sobre os dados subjacentes usados para sustentar essa afirmação.

O conceito foi descrito pela primeira vez em 1985 num artigo académico de Shafi Goldwasser, Silvio Micali e Charles Rackoff, intitulado “The Knowledge Complexity of Interactive Proof Systems”.

Os autores investigavam qual a quantidade mínima de informação que um provador precisa de revelar para convencer um verificador cético. Em certos casos, a resposta a que chegaram foi, na prática, zero.

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

O exemplo clássico de manuais é o “caminho na gruta mágica”, muitas vezes descrito como a caverna de Ali Babá. Imagine uma gruta circular com uma única entrada e, no fundo, uma porta trancada que só abre com uma palavra-passe secreta. O provador quer convencer o verificador de que conhece a palavra-passe sem a revelar. O provador entra na gruta e segue pela esquerda ou pela direita. O verificador, que ficou à entrada, grita por qual dos lados quer que o provador saia. Se o provador souber a palavra-passe, conseguirá sempre surgir do lado pedido, atravessando a porta se for preciso. Ao repetir o processo muitas vezes, torna-se estatisticamente impossível que alguém sem a palavra-passe acerte sempre por mera sorte.

(Image: Shutterstock)

Provas interativas vs. não interativas – e porque isso importa para blockchains

A analogia da gruta descreve uma prova de conhecimento zero interativa. O verificador participa ativamente, lançando um desafio em cada ronda. Embora matematicamente elegante, as provas interativas têm um problema óbvio para blockchains: não existe um verificador “ao vivo” do outro lado de cada transação à espera para emitir desafios.

As redes blockchain precisam de provas de conhecimento zero não interativas. Num esquema não interativo, o provador gera um único objeto de prova autocontido que qualquer pessoa pode verificar, de forma independente, a qualquer momento, sem troca de mensagens. É um problema matemático bem mais difícil.

A rutura conceptual surgiu com uma técnica chamada heurística de Fiat–Shamir, desenvolvida em 1986. Ela converte provas interativas em não interativas substituindo os desafios aleatórios do verificador por uma função de hash criptográfica. O provador gera o “desafio” ele próprio usando um hash da declaração, que não pode ser manipulado sem invalidar a prova.

As provas não interativas permitiram incorporar a verificação criptográfica diretamente nas transações em blockchain. Um nó que recebe uma transação protegida não precisa de questionar ninguém. Limita-se a executar localmente o algoritmo de verificação da prova e obtém uma resposta sim/não.

Como os zk-SNARKs alimentam as transações protegidas da Zcash

A Zcash foi a primeira grande blockchain pública a implementar zk-SNARKs em produção quando foi lançada em outubro de 2016. O acrónimo significa Zero-Knowledge Succinct Non-Interactive Arguments of Knowledge. Cada termo tem peso técnico próprio.

“Succinct” (sucinto) significa que a prova é pequena em tamanho de ficheiro e rápida de verificar, independentemente da complexidade do cálculo subjacente. “Non-Interactive” indica que não há interação entre provador e verificador, como vimos. “Arguments of Knowledge” implica que o provador tem mesmo de possuir a informação secreta (a chave privada, a chave de gasto, os detalhes da transação) para conseguir gerar uma prova válida. Palpites ou tentativas aleatórias são excluídos matematicamente.

Quando um utilizador da Zcash envia uma transação protegida, a carteira do remetente executa um cálculo que prova várias coisas em simultâneo, sem revelar nenhuma delas. Demonstra que o remetente é dono dos fundos que está a gastar, que o total das entradas é igual ao das saídas mais a comissão (para impedir criação de moedas extra) e que o remetente conhece a chave privada de gasto do endereço de origem. A prova resultante é embutida na transação e difundida pela rede. Cada nó completo a verifica de forma independente, normalmente em milissegundos.

As transações protegidas da Zcash utilizam uma estrutura criptográfica chamada circuito Sapling (que substituiu o circuito Sprout original em 2018), reduzindo o tempo de geração de provas de cerca de 40 segundos para menos de 2 segundos e o consumo de memória de 3 GB para cerca de 40 MB, tornando viáveis, pela primeira vez, carteiras móveis com transações protegidas.

A Zcash opera com dois tipos de endereço. Os endereços transparentes (t-addresses) funcionam como endereços de Bitcoin (BTC): todos os dados são visíveis na cadeia. Os endereços protegidos (z-addresses) recorrem a zk-SNARKs para cifrar remetente, destinatário e montante. É possível transacionar entre ambos os tipos, embora a passagem de um endereço transparente para um protegido continue a revelar os montantes nessa “fronteira”.

O problema do “trusted setup”, o ponto mais controverso da Zcash

O aspeto tecnicamente mais polémico da implementação original de zk-SNARKs na Zcash é a cerimónia de configuração confiável (trusted setup). Os zk-SNARKs exigem um conjunto de parâmetros públicos, às vezes chamado de “cadeia de referência comum”, gerado antes de o sistema arrancar. Esses parâmetros derivam de um valor aleatório secreto. Se esse segredo for um dia reconstruído, um atacante poderia forjar provas e criar Zcash a partir do nada, sem ser detetado.

Para mitigar o risco, a equipa fundadora da Zcash realizou em 2016 uma cerimónia de computação multipartidária em que seis participantes geraram, cada um, um fragmento do segredo. Os parâmetros são considerados seguros desde que pelo menos um participante tenha destruído honestamente a sua parte. A cerimónia foi repetida e reforçada para a atualização Sapling em 2018, envolvendo 90 participantes, tornando a probabilidade de comprometimento total praticamente nula.

A necessidade de trusted setup continua a ser uma fraqueza teórica e um ponto de discórdia filosófica na comunidade das moedas de privacidade. Críticos defendem que, mesmo um risco minúsculo de inflação indetetável é inaceitável. Defensores argumentam que o número de participantes e o desenho verificável da cerimónia são mitigantes suficientes.

Esta preocupação motivou o desenvolvimento dos zk-STARKs, o outro grande ramo da família de provas de conhecimento zero, abordado na secção seguinte.

zk-SNARKs vs. zk-STARKs: os principais compromissos

Os zk-STARKs, sigla de Zero-Knowledge Scalable Transparent Arguments of Knowledge, foram apresentados num artigo de 2018 por Eli Ben-Sasson e colegas do Technion e da StarkWare. Eles eliminam por completo o problema do trusted setup, recorrendo apenas a aleatoriedade publicamente verificável derivada de funções de hash resistentes a colisões, sem parâmetros secretos.

Os compromissos entre as duas construções são reais e relevantes para os programadores que têm de escolher entre elas.

zk-SNARKs produzem provas extremamente pequenas, tipicamente com menos de 300 bytes, e são muito rápidas de verificar. Exigem um trusted setup e baseiam-se em criptografia de curvas elípticas, teoricamente vulnerável a um computador quântico suficientemente poderoso.
zk-STARKs não requerem trusted setup e são resilientes a ataques quânticos, porque dependem apenas de funções de hash. As provas são significativamente maiores, muitas vezes entre dezenas e centenas de kilobytes, embora o tempo de verificação também seja rápido.
PLONK e outros SNARKs universais representam uma “geração intermédia” de construções que só precisam de um trusted setup universal, efetuado uma única vez, em vez de um por circuito. Projetos como Aztec e Polygon recorreram a sistemas baseados em PLONK para reduzir o peso operacional das cerimónias de trusted setup sem abdicar da eficiência dos SNARKs.

Para uso prático em blockchain em 2026, os zk-SNARKs dominam protocolos de layer one focados em privacidade, como o Zcash. Já os zk‑STARKs hoje são hegemónicos nos rollups de layer two orientados a escalabilidade, em especial os desenvolvidos pela StarkWare, onde o tamanho da prova é menos crítico do que a minimização de confiança e a capacidade de processamento.

Onde As Provas De Conhecimento Zero Já Estão A Ser Usadas Para Lá Das Moedas De Privacidade

O primeiro caso de uso das provas de conhecimento zero foi a privacidade financeira, como o Zcash mostrou. Mas a tecnologia já se espalhou por todo o ecossistema blockchain, e a atual euforia em torno da Nexus e da sua rede de conhecimento zero é um dos sinais mais claros de como a infraestrutura de ZKP está a entrar no mainstream.

Os ZK Rollups são provavelmente a aplicação comercialmente mais relevante fora das moedas de privacidade. Redes de layer 2 como zkSync, StarkNet e Polygon zkEVM usam provas de conhecimento zero para agregar centenas ou milhares de transações de Ethereum (ETH) numa única prova enviada para a cadeia principal. A mainnet do Ethereum só precisa de verificar uma prova compacta, em vez de executar cada transação individualmente, aumentando de forma drástica a capacidade de processamento, sem abdicar da segurança total da rede.

A DeFi privada surge como uma nova categoria: protocolos que recorrem a ZKPs permitem que utilizadores façam crédito, negociação e estratégias de yield sem expor saldos de carteiras ou táticas de trading on‑chain. A rede Venice Token, que tem ganho tração ao lado do Zcash, aplica uma filosofia criptográfica semelhante à inferência em IA, permitindo consultar modelos de inteligência artificial sem que o fornecedor tenha acesso direto aos dados introduzidos pelo utilizador.

Os sistemas de identidade e credenciais representam uma terceira vaga. As ZKPs permitem provar, por exemplo, que um utilizador tem mais de 18 anos, reside num determinado país ou passou num processo de KYC, sem revelar nome, data de nascimento ou número de passaporte. Projetos como Polygon ID e Sismo construíram frameworks de credenciais com base precisamente nesta capacidade.

O mercado de provas de conhecimento zero deverá crescer de cerca de 243 milhões de dólares em 2023 para mais de 12 mil milhões em 2030, segundo a Grand View Research, refletindo a adoção em finanças, identidade digital e verificação de cadeias de abastecimento.

Quem Precisa Mesmo De Perceber Esta Tecnologia

As provas de conhecimento zero são relevantes para vários grupos distintos no universo cripto, mesmo que a maioria dos utilizadores nunca lide diretamente com a criptografia subjacente.

Traders e investidores expostos a moedas de privacidade como o Zcash beneficiam em perceber que um rally de preço não é apenas especulação. A tecnologia por trás do ZEC tem utilidade real e crescente em ZK rollups e em DeFi privada, o que cria uma procura estrutural para lá do puro “trade” direcional. Sempre que a pressão regulatória sobre blockchains transparentes sobe, como acontece ciclicamente, as propriedades de privacidade dos sistemas baseados em ZKP tornam‑se um argumento muito mais urgente.

Utilizadores e developers de DeFi que escolhem entre diferentes redes de layer 2 devem compreender a diferença entre optimistic rollups (que recorrem a provas de fraude e a uma janela de contestação de sete dias) e ZK rollups (que usam provas matemáticas e podem finalizar em minutos). A decisão tem impacto direto em tempos de levantamento, pressupostos de confiança e eficiência de capital.

Utilizadores focados em privacidade, de qualquer perfil, devem perceber que os endereços protegidos do Zcash oferecem um modelo de confidencialidade substancialmente distinto da pseudonimidade do Bitcoin. Empresas de análise on‑chain como a Chainalysis admitiram publicamente que transações totalmente protegidas em Zcash são, na prática, opacas para as suas ferramentas — uma diferença relevante para quem precisa de sigilo financeiro.

Builders de protocolos que exploram sistemas de credenciais, votação privada ou provas de reservas sem divulgar saldos têm de dominar o modelo de “circuito” dos ZKPs: desenhar um sistema de ZKP significa conceber o circuito aritmético que codifica o problema, não escrever apenas código tradicional.

Conclusão

As provas de conhecimento zero nasceram como curiosidade teórica num paper académico de 1985 e hoje são infraestrutura base em moedas de privacidade, redes de escalabilidade e identidade descentralizada. A ideia central — conseguir provar um facto sem transmitir a informação subjacente — é tão contraintuitiva que muitos engenheiros passam anos no setor sem apreender totalmente as suas implicações.

O Zcash continua a ser o exemplo de produção mais visível de ZKPs aplicadas à privacidade financeira. A sua arquitetura zk‑SNARK, apesar do debate recorrente em torno de “trusted setups”, mostrou‑se robusta e influenciou diretamente todas as grandes construções de ZK rollups que vieram depois.

A expansão da tecnologia para a escalabilidade da DeFi, através de redes como zkSync e StarkNet, e para camadas de privacidade em IA, como a Venice, mostra que as provas de conhecimento zero deixaram de ser um detalhe de nicho das moedas de privacidade para se tornarem um primitivo fundamental da próxima geração de sistemas criptográficos.

Da próxima vez que uma moeda de privacidade disparar em mercado bull ou que um novo ZK rollup anunciar recordes de throughput, este é o quadro de análise para avaliar o que a tecnologia está realmente a fazer — para lá daquilo que o gráfico de preços sugere.

Leia a seguir: Moedas De Privacidade Ganham Fôlego: Open Interest De Dash Dispara 49% Durante A Noite

Porque as provas de conhecimento zero podem tornar-se a tecnologia mais importante das criptomoedas