Zero-Knowledge Proofs
O que são provas de conhecimento zero (zkP)?
As provas de conhecimento zero (zk-proofs ou zkP) são técnicas criptográficas que permitem que uma parte (o provador) demonstre a outra parte (o verificador) que possui determinado conhecimento, sem revelar as informações em si. Esse método garante tanto a integridade quanto a solidez, o que significa que a prova é válida e confiável sem revelar nenhum dado adicional.
Como as provas de conhecimento zero funcionam
O verificador solicita que o provador execute tarefas específicas que somente alguém com as informações corretas poderia realizar. Assim, se o provador tentar adivinhar, é muito provável que ele não passe no teste do verificador.
Características
Completude: um provador honesto pode convencer um verificador honesto de que ele tem o conhecimento correto se a declaração for verdadeira.
Consistência: um provador desonesto não pode convencer um verificador honesto de que a declaração é falsa.
Conhecimento zero: o verificador não aprende nem acessa nenhuma informação além do fato de que a declaração é verdadeira.
Tipos de provas de conhecimento zero: zk-SNARKs, zk-STARKs, PLONK e Bulletproofs.
Casos de uso
As provas de conhecimento zero são usadas em transações privadas, cálculos verificáveis, soluções escalonáveis de camada 2 e identidade e autenticação descentralizadas. Projetos como Zcash, StarkNet, zkSync e Loopring usam ZKPs para aumentar a segurança, a privacidade e a escalabilidade.
