Clicked Gallery

O que é uma prova de conhecimento zero (ZKP)?

Subrayado en un documento técnico real. Explicado por Clicked.

Usado numa frase

Engineering Notes · AI Systems

The new authentication layer utilizes zero-knowledge proofs to verify user identity without parsing raw credentials.

O leitor sublinhou uma palavra na documentação. O Clicked explicou o termo técnico «zero-knowledge proofs» em linguagem simples:

Explicado em três níveis

Os mesmos fatos, outra vibe — Modo slang 😎

O método Clicked

●○○

Overview

Uma prova de conhecimento zero permite provar que uma afirmação é verdadeira sem revelar a informação que a torna verdadeira. O exemplo clássico é provar que você sabe uma senha sem nunca dizer a senha.
●○○

Overview

Uma ZKP é provar que você sabe o segredo sem dizer o segredo. Você o demonstra matematicamente em vez de digitá-lo, então o servidor consegue verificar você sem nunca segurá-lo. Invada esse servidor e não há nada para roubar. 😎

Uma ideia rápida — muitas vezes é tudo de que você precisa.

●●○

Detail

O verificador dispara uma série de desafios aleatórios, cada um desenhado para que só quem tem o segredo verdadeiro consiga continuar respondendo, e cada resposta não revela nada sobre o segredo em si. Um impostor pode passar num desafio por sorte, como se acerta um cara ou coroa. Passar em vinte seguidos é diferente: a chance de ser sorte cai para cerca de um em um milhão, então a sequência limpa é, ela mesma, a prova, e o verificador termina sem saber nada além de que a afirmação é verdadeira. Esse é o truque inteiro, com a certeza construída por desafios repetidos e nenhuma informação vazando. As aplicações vêm em seguida: fazer login sem uma senha cruzar a rede, provar que uma transação é válida sem revelar valores, e provar que você é maior de 18 sem data de nascimento. O porém é a computação pesada e a criptografia frágil.
●●○

Detail

Como funciona sem o diploma em matemática: o verificador joga desafios que só alguém com o segredo verdadeiro conseguiria continuar respondendo, e rodadas suficientes tornam a farsa estatisticamente impossível. Você ganha três garantias: afirmações verdadeiras passam, afirmações falsas caem, e nada vaza. Essa última é o superpoder, porque dá para fazer login sem enviar senha, provar que um pagamento é válido sem expor o valor, ou provar que você é maior de 18 sem entregar a data de nascimento. O custo é computação pesada e uma criptografia genuinamente fácil de errar. Por isso a ideia ficou acadêmica por décadas antes de aparecer em produtos de verdade. 😎

Quer mais? Um clique aprofunda.

●●●

Analogy

Provar que você achou o Wally sem entregar onde ele está: pegue uma cartolina grande, recorte um buraco do tamanho do Wally e coloque sobre a página de modo que só o Wally apareça pelo buraco. Seu amigo o vê, então a afirmação está provada, mas a cartolina esconde tudo em volta e ele continua sem a menor ideia de onde na página o Wally mora.
Deepest level reached.
●●●

Analogy

É a checagem de porta de balada que merecemos: provar que você é maior de idade, e só. Não o seu endereço, a sua altura, se você é doador de órgãos e a sua data de nascimento exata — que é o que entregar um documento de identidade realmente revela. ZKP é mostrar o único fato e manter o resto do documento no bolso.
Deepest level reached.

Conceito novo? Um exemplo do dia a dia faz clicar — novas analogias quando quiser.

Explicações de IA podem conter erros · Não é aconselhamento profissional

Definição formal — O mesmo termo, explicado da forma habitual

Uma prova de conhecimento zero é um protocolo criptográfico pelo qual um provador demonstra a um verificador que uma afirmação é válida, sem transmitir informação alguma além da validade da afirmação. Tais protocolos satisfazem completude, solidez e a propriedade de conhecimento zero, e são instanciados em formas interativas e não interativas (por exemplo, zk-SNARKs). As aplicações incluem verificação de credenciais sem divulgação de segredos, validação de transações com preservação de privacidade e atestação seletiva de atributos; a implantação prática é limitada pelo custo de geração das provas e pela complexidade de implementação.

Quer que o Clicked explique termos como «zero-knowledge proofs» direto no seu navegador, até em PDFs?

Adicionar ao Chrome — Grátis

50 explicações grátis · Sem cartão de crédito