Prova de Conhecimento Zero (ZKP)
O que é Prova de Conhecimento Zero (ZKP)?
Prova de Conhecimento Zero (ZKP)Protocolo criptográfico em que um provador convence um verificador da veracidade de uma afirmação sem revelar nada além da própria validade dessa afirmação.
Uma Prova de Conhecimento Zero (ZKP) é um protocolo criptográfico que permite a um provador demonstrar a um verificador a posse de um segredo ou a veracidade de uma afirmação, sem libertar qualquer informação adicional. Uma ZKP formal cumpre três propriedades: completude (um provador honesto convence um verificador honesto), solidez (um provador desonesto apenas tem sucesso com probabilidade negligenciável) e conhecimento zero (o verificador não aprende nada além da afirmação). As ZKPs sustentam autenticação com privacidade, credenciais anónimas, escalabilidade de blockchain (rollups) e transações confidenciais. Variantes não interativas modernas como zk-SNARK e zk-STARK permitem verificar provas sucintas em milissegundos e passaram de curiosidade académica a tecnologia em produção na última década.
● Exemplos
- 01
Provar ter mais de 18 anos a partir de um documento de identidade digital sem revelar a data de nascimento.
- 02
zk-rollups em Ethereum que agregam milhares de transações numa única prova sucinta.
● Perguntas frequentes
O que é Prova de Conhecimento Zero (ZKP)?
Protocolo criptográfico em que um provador convence um verificador da veracidade de uma afirmação sem revelar nada além da própria validade dessa afirmação. Pertence à categoria Criptografia da cibersegurança.
O que significa Prova de Conhecimento Zero (ZKP)?
Protocolo criptográfico em que um provador convence um verificador da veracidade de uma afirmação sem revelar nada além da própria validade dessa afirmação.
Como funciona Prova de Conhecimento Zero (ZKP)?
Uma Prova de Conhecimento Zero (ZKP) é um protocolo criptográfico que permite a um provador demonstrar a um verificador a posse de um segredo ou a veracidade de uma afirmação, sem libertar qualquer informação adicional. Uma ZKP formal cumpre três propriedades: completude (um provador honesto convence um verificador honesto), solidez (um provador desonesto apenas tem sucesso com probabilidade negligenciável) e conhecimento zero (o verificador não aprende nada além da afirmação). As ZKPs sustentam autenticação com privacidade, credenciais anónimas, escalabilidade de blockchain (rollups) e transações confidenciais. Variantes não interativas modernas como zk-SNARK e zk-STARK permitem verificar provas sucintas em milissegundos e passaram de curiosidade académica a tecnologia em produção na última década.
Como se defender contra Prova de Conhecimento Zero (ZKP)?
As defesas contra Prova de Conhecimento Zero (ZKP) costumam combinar controles técnicos e práticas operacionais, conforme detalhado na definição acima.
Quais são outros nomes para Prova de Conhecimento Zero (ZKP)?
Nomes alternativos comuns: ZKP, Protocolo de conhecimento zero.
● Termos relacionados
- cryptography№ 1269
zk-SNARK
Argumento sucinto não interativo de conhecimento com divulgação zero: uma prova curta e de verificação rápida de que uma computação foi executada corretamente, sem revelar as suas entradas.
- cryptography№ 1270
zk-STARK
Argumento de conhecimento escalável, transparente e com divulgação zero: sistema de prova sem configuração de confiança, considerado seguro num contexto pós-quântico e baseado apenas em funções de hash resistentes a colisões.
- cryptography№ 987
Computação multipartidária segura (MPC)
Família de protocolos criptográficos que permite a várias partes calcular conjuntamente uma função sobre as suas entradas privadas, revelando apenas o resultado.
- cryptography№ 481
Cifragem homomórfica
Esquema de cifra que permite efetuar cálculos diretamente sobre cifrados, produzindo resultados também cifrados que correspondem às operações no texto claro.
- cryptography№ 321
Assinatura digital
Mecanismo criptográfico de chave pública que comprova autenticidade, integridade e não-repúdio de uma mensagem ou documento.
- cryptography№ 879
Criptografia de chave pública
Ramo da criptografia que usa pares de chaves pública e privada para suportar cifragem, troca de chaves, assinaturas digitais e autenticação sem segredos partilhados previamente.