Imagine que voc\u00ea tem um segredo super importante. \u00c9 t\u00e3o importante que voc\u00ea precisa provar a um amigo que voc\u00ea o conhece, mas, ao mesmo tempo, voc\u00ea n\u00e3o pode contar o segredo para ele. Parece m\u00e1gica, n\u00e3o \u00e9?<\/p>\n\n\n\n
No mundo da tecnologia e da criptografia, essa “m\u00e1gica” tem um nome: Zero Knowledge Proof (ZKP), ou Prova de Conhecimento Zero. \u00c9 uma ideia poderosa que permite a uma pessoa (o Provador) convencer outra pessoa (o Verificador) de que uma afirma\u00e7\u00e3o \u00e9 verdadeira, sem revelar nenhuma informa\u00e7\u00e3o al\u00e9m da pr\u00f3pria veracidade dessa afirma\u00e7\u00e3o [1].<\/p>\n\n\n\n
Neste artigo, vamos desvendar o ZKP de uma forma t\u00e3o simples e cheia de exemplos que at\u00e9 uma crian\u00e7a poder\u00e1 entender esse conceito revolucion\u00e1rio, que est\u00e1 mudando a maneira como pensamos sobre privacidade e seguran\u00e7a digital.<\/p>\n\n\n\n
Para que uma prova seja considerada um verdadeiro Zero Knowledge Proof, ela precisa obedecer a tr\u00eas regras de ouro, como se fossem as regras de um jogo de m\u00e1gica:<\/p>\n\n\n\n A terceira regra \u00e9 a mais importante e a que d\u00e1 nome \u00e0 prova. \u00c9 a garantia de que o segredo permanece seguro.<\/p>\n\n\n\n Este \u00e9 o exemplo mais famoso e did\u00e1tico para entender o ZKP, criado pelos cientistas Jean-Jacques Quisquater e Louis Guillou [2].<\/p>\n\n\n\n Imagine uma caverna em forma de anel, com duas entradas (A e B) e uma porta m\u00e1gica no meio que s\u00f3 abre com uma palavra secreta.<\/p>\n\n\n\n 1.O Segredo: A palavra m\u00e1gica que abre a porta.<\/p>\n\n\n\n 2.O Provador (Peggy): Uma aventureira que afirma saber a palavra m\u00e1gica.<\/p>\n\n\n\n 3.O Verificador (Victor): Um amigo que quer ter certeza de que Peggy sabe a palavra, sem que ela a revele.<\/p>\n\n\n\n O teste funciona em passos simples e repetidos:<\/p>\n\n\n\n 1.Peggy entra na caverna por uma das entradas (A ou B) e vai at\u00e9 o fundo, onde est\u00e1 a porta m\u00e1gica.<\/p>\n\n\n\n 2.Victor espera do lado de fora. Ele n\u00e3o v\u00ea por onde Peggy entrou.<\/p>\n\n\n\n 3.Victor grita para Peggy voltar pela entrada A ou pela entrada B.<\/p>\n\n\n\n 4.Se Peggy sabe o segredo, ela pode abrir a porta m\u00e1gica (se necess\u00e1rio) e sair pela entrada que Victor pediu.<\/p>\n\n\n\n 5.Se Peggy n\u00e3o sabe o segredo, ela s\u00f3 conseguir\u00e1 sair pela entrada que escolheu originalmente. Ela s\u00f3 teria 50% de chance de adivinhar o pedido de Victor.<\/p>\n\n\n\n \u2022Peggy prova que sabe: Se Victor repetir o teste 10, 20 ou 100 vezes e Peggy sempre sair pela entrada correta, a chance de ela ter adivinhado todas as vezes \u00e9 min\u00fascula. Victor fica convencido.<\/p>\n\n\n\n \u2022Victor n\u00e3o aprende o segredo: Em momento algum Peggy precisou sussurrar a palavra m\u00e1gica. Victor est\u00e1 convencido, mas o segredo continua com Peggy. Isso \u00e9 Zero Knowledge Proof!<\/p>\n\n\n\n Vamos usar um exemplo mais moderno e visual, como o famoso jogo de encontrar um personagem.<\/p>\n\n\n\n 1.O Segredo: A localiza\u00e7\u00e3o exata de Wally em uma p\u00e1gina cheia de desenhos.<\/p>\n\n\n\n 2.O Provador (Voc\u00ea): Voc\u00ea afirma que encontrou Wally.<\/p>\n\n\n\n 3.O Verificador (Seu Amigo): Seu amigo quer ter certeza, mas n\u00e3o quer que voc\u00ea revele a localiza\u00e7\u00e3o para que ele possa continuar procurando.<\/p>\n\n\n\n Em vez de apontar:<\/p>\n\n\n\n 1.Voc\u00ea pega uma folha de papel gigante com um buraco no meio, grande o suficiente para mostrar apenas Wally.<\/p>\n\n\n\n 2.Voc\u00ea cobre a p\u00e1gina do livro com o papel gigante.<\/p>\n\n\n\n 3.Voc\u00ea move o papel at\u00e9 que apenas Wally apare\u00e7a no buraco.<\/p>\n\n\n\n 4.Seu amigo v\u00ea Wally no buraco e fica convencido de que voc\u00ea o encontrou.<\/p>\n\n\n\n \u2022A prova \u00e9 feita: Seu amigo sabe que voc\u00ea encontrou Wally.<\/p>\n\n\n\n \u2022O conhecimento \u00e9 zero: Seu amigo n\u00e3o tem ideia de onde na p\u00e1gina Wally estava. Ele n\u00e3o viu o caminho at\u00e9 l\u00e1, nem o contexto ao redor. O segredo (a localiza\u00e7\u00e3o) est\u00e1 protegido!<\/p>\n\n\n\n O ZKP n\u00e3o \u00e9 apenas um truque de m\u00e1gica; \u00e9 uma ferramenta de seguran\u00e7a e privacidade com aplica\u00e7\u00f5es poderosas no mundo real, especialmente na tecnologia blockchain e na internet.<\/p>\n\n\n\nRegra de Ouro<\/strong><\/td> Nome T\u00e9cnico<\/strong><\/td> O que Significa de Verdade<\/strong><\/td><\/tr> 1. Completude<\/td> Completeness<\/td> Se a afirma\u00e7\u00e3o for verdadeira e o Provador souber o segredo, ele sempre conseguir\u00e1 convencer o Verificador.<\/td><\/tr> 2. Solidez<\/td> Soundness<\/td> Se a afirma\u00e7\u00e3o for falsa (o Provador estiver mentindo), ele quase nunca conseguir\u00e1 enganar o Verificador.<\/td><\/tr> 3. Conhecimento Zero<\/td> Zero-Knowledge<\/td> O Verificador aprende apenas que a afirma\u00e7\u00e3o \u00e9 verdadeira, e nada mais sobre o segredo em si.<\/td><\/tr><\/tbody><\/table><\/figure>\n\n\n\n Exemplo 1: A Caverna de Ali Baba (O Cl\u00e1ssico do ZKP)<\/h2>\n\n\n\n
A Hist\u00f3ria<\/h3>\n\n\n\n
O Teste<\/h3>\n\n\n\n
Por Que Isso \u00e9 Conhecimento Zero?<\/h3>\n\n\n\n
Exemplo 2: O Jogo do “Onde Est\u00e1 Wally?”<\/h2>\n\n\n\n
A Prova com Conhecimento Zero<\/h3>\n\n\n\n
Aplica\u00e7\u00f5es Reais do Zero Knowledge Proof<\/h2>\n\n\n\n