Prova de conhecimento zero (ZKP) permite comprovar uma informação sem revelar nada além disso. Hoje, a tecnologia sustenta privacidade, escalabilidade e até a verificação de idade.
A seguir:
- O que é a prova de conhecimento zero (ZKP) e por que ela nasceu nos anos 1980.
- Como projetos como Zcash usam essa tecnologia hoje.
- Por que o Brasil adotou a ZKP como “padrão ouro” no ECA Digital.
Imagine provar que você sabe uma senha sem nunca digitá-la. É essa a ideia central da prova de conhecimento zero, ou Zero-Knowledge Proof (ZKP), uma técnica que ganhou força com o crescimento das blockchains.
Hoje, a ZKP sustenta redes de escalabilidade, moedas de privacidade e até propostas de identidade digital. A seguir, entenda como ela funciona, onde já é usada e quais são seus limites.
O que é a prova de conhecimento zero e como ela funciona
Prova de conhecimento zero é um método matemático em que uma parte, o provador, convence outra, o verificador, de que uma afirmação é verdadeira. Isso ocorre sem revelar nenhum dado além da própria veracidade.
Na versão original, esse processo exigia várias rodadas de perguntas e respostas entre as duas partes. As versões modernas usadas em blockchain, como o zk-SNARK, eliminam essa interação e geram uma prova única e compacta.
A analogia do labirinto
Imagine alguém que afirma conhecer o caminho secreto de um labirinto com duas entradas. Para provar isso sem revelar o trajeto, essa pessoa entra por um lado e sai pelo outro, repetidas vezes, sempre que solicitada.
Quem observa fica convencido de que o caminho existe e é conhecido. Mas não aprende nada sobre o labirinto em si. Essa é a essência da ZKP.
As três propriedades de uma boa prova
Para ser considerada válida, uma ZKP precisa atender a três critérios.
- Completude: se a afirmação é verdadeira, um provador honesto consegue convencer o verificador.
- Solidez: um provador desonesto não consegue enganar o verificador, exceto com probabilidade praticamente nula.
- Zero-conhecimento: o verificador não aprende nada além de que a afirmação é verdadeira.
Da teoria dos anos 1980 às blockchains
O conceito foi formalizado na década de 1980 por Shafi Goldwasser, Silvio Micali e Charles Rackoff. Os três buscavam validar informações em ambientes onde a confiança era escassa.
Por décadas, a ideia ficou restrita à academia, como uma curiosidade matemática elegante. Pesquisadores discutiam o tema em artigos, mas faltava uma aplicação prática em larga escala.
Um avanço importante veio com a chamada técnica de Fiat-Shamir, que transforma uma prova interativa em uma prova não interativa. Na prática, isso elimina a necessidade de troca contínua de mensagens entre provador e verificador.
Esse passo tornou possível o “S” de zk-SNARK: succinct, ou sucinta. A prova passou a ser pequena, gerada de uma só vez e verificável em poucos milissegundos.
O salto para as blockchains
Tudo mudou com o surgimento das redes públicas. Elas precisavam provar que transações eram válidas sem expor saldos e identidades dos usuários.
Em 2016, o Zcash se tornou a primeira rede de grande escala a aplicar zk-SNARKs a transações financeiras reais. A ZKP deixou de ser teoria e virou peça central da engenharia de blockchain.
Como a ZKP aparece no mercado cripto hoje
zk-SNARK e zk-STARK
Existem duas famílias principais de provas usadas em blockchain. Cada uma tem vantagens diferentes para escalabilidade e segurança.
- zk-SNARKs geram provas pequenas e rápidas de verificar. Em geral, exigem uma cerimônia de configuração inicial confiável, e são amplamente usados em transações privadas, como nas da Zcash.
- zk-STARKs dispensam essa configuração de confiança inicial. Eles se baseiam em funções hash, o que os torna mais resistentes a ataques de computadores quânticos, mas geram provas maiores.
Zk-rollups e a escalabilidade da Ethereum
Os zk-rollups processam transações fora da blockchain principal e enviam apenas uma prova de validade para a rede. Uma vez verificada, todas as transações do lote são confirmadas de uma só vez.
Isso reduz drasticamente o custo e o tempo das transações na Ethereum, mantendo a segurança da rede principal. É a base da chamada estratégia “centrada em rollups” para escalar a rede.
Riscos, limitações e regulação
Gerar uma prova de conhecimento zero exige poder computacional elevado. Isso encarece a implementação em larga escala, sobretudo para empresas menores.
Quanto mais complexa a afirmação a ser provada, maior o tempo e o gasto de energia necessários. Esse custo tende a cair com novas técnicas, mas ainda é uma barreira de entrada.
O dilema da transparência
A própria força da ZKP, esconder dados, gera desconfiança em quem precisa fiscalizar. Auditores e reguladores têm dificuldade de rastrear como uma prova foi construída.
Para muitos críticos, essa opacidade pode comprometer a auditabilidade em aplicações críticas, como sistemas financeiros. A tecnologia chegou ao mercado antes de uma regulamentação madura.
O “padrão ouro” do ECA Digital no Brasil
No Brasil, a discussão sobre ZKP avançou junto com o debate sobre verificação de idade. A Lei 15.211/2025, conhecida como ECA Digital, entrou em vigor em 17 de março de 2026.
Dias depois, a ANPD publicou diretrizes preliminares que citam a prova de conhecimento zero como o “padrão ouro” para verificar a idade dos usuários, ao lado de credenciais verificáveis.
Na prática, o aplicativo do usuário consulta uma fonte oficial, como uma carteira digital do governo, e envia à plataforma apenas uma resposta binária: sim ou não. Em arranjos mais avançados, nem o verificador nem o site sabem quem é o outro, numa arquitetura chamada “duplo-cego”.
Esse modelo se alinha ao princípio de minimização de dados da LGPD: quanto menos uma empresa armazena, menor o risco de vazamento. A fiscalização do ECA Digital começa em janeiro de 2027, com sanções a partir de novembro de 2026.
Conclusão: o futuro da prova de conhecimento zero
A prova de conhecimento zero deixou de ser um conceito acadêmico dos anos 1980. Hoje, ela move zk-rollups, protege transações na Zcash e ajuda a moldar a verificação de idade no Brasil.
Sendo assim, o avanço depende de dois fatores. Primeiro, a redução do custo computacional das provas. Segundo, marcos regulatórios mais claros, como os que o Brasil começa a desenhar com o ECA Digital.
Por fim, vale acompanhar como reguladores brasileiros e empresas de cripto vão tratar essa tecnologia nos próximos meses.
