Zero-Knowledge Proofs

O zero-knowledge proof (ou prova de conhecimento zero), também conhecido como protocolo zk ou ZKP, é um método de verificação que ocorre entre dois participantes, um comprovador e um verificador. Em um sistema de zero-knowledge proof, o comprovador é capaz de provar ao verificador que ele tem conhecimento de uma determinada informação (como a solução de uma equação matemática) sem revelar a informação em si. Esses sistemas de prova podem ser usados por criptógrafos modernos para fornecer mais privacidade e segurança.

O protocolo zk proof deve atender a dois requisitos básicos: integridade e solidez. A integridade se refere à capacidade do comprovador de demonstrar conhecimento das informações relevantes com um alto grau de precisão que pode ser comprovada. Para que a prova seja sólida, o verificador deve ser capaz de determinar com segurança se o participante responsável pela prova tem, de fato, a posse das informações. Por fim, para ser de fato uma prova "de conhecimento zero", ela deve alcançar integridade e solidez sem que as informações em questão sejam comunicadas entre o comprovador e o verificador.

Os protocolos zero-knowledge proof são usados principalmente para aplicações em que privacidade e segurança são essenciais. Sistemas de autenticação, por exemplo, podem empregar zk proofs para verificar credenciais ou identidades sem divulgá-las. Como um exemplo simples, esse sistema pode ser usado para verificar se uma pessoa possui a senha para um sistema de computador sem a necessidade de revelar qual é a senha.