Provas de Conhecimento Zero (ZKPs) são um conceito fascinante e poderoso em criptografia que permite a alguém provar que sabe algo sem revelar o que sabe. Isso significa que você pode verificar se alguém possui as informações corretas sem que seja necessário revelar quaisquer detalhes sobre essas informações. Esta propriedade tem muitas aplicações interessantes, desde autenticação segura até transações privadas em blockchain.

Nesta postagem, exploraremos o mundo das provas de conhecimento zero, incluindo os diferentes tipos de ZKPs, como ZK-Snarks, ZK-Starks e o desenvolvimento mais recente e interessante, o sistema PLONK ZKP. Também forneceremos exemplos fáceis de entender da vida real para ajudá-lo a compreender esses conceitos, mesmo se você tiver cinco anos de idade.

O que são provas de conhecimento zero?

Provas de Conhecimento Zero (ZKPs) são uma técnica criptográfica que permite que uma parte, o provador, convença outra parte, o verificador, de que conhece uma informação sem revelá-la. Em outras palavras, o provador pode provar que possui uma determinada informação sem revelar qual é essa informação.

ZKPs são ferramentas poderosas em criptografia porque permitem autenticação segura, identificação e compartilhamento de dados sem revelar qualquer informação confidencial. Eles permitem que as partes verifiquem informações e transações sem abrir mão de qualquer privacidade.

ZK-Snarks

ZK-Snarks é um tipo de prova de conhecimento zero amplamente utilizado na tecnologia blockchain, especialmente em blockchains com foco na privacidade, como o Zcash. ZK-Snarks significa Argumento de Conhecimento Sucinto Não Interativo de Conhecimento Zero.

Para entender o ZK-Snarks, vamos imaginar um cenário em que você tem um número secreto e deseja provar a alguém que conhece o número sem revelar qual é esse número. ZK-Snarks permitiria que você fizesse isso construindo uma prova que convenceria a outra pessoa de que você conhece o número, sem revelar o número em si.

ZK Starks

ZK-Starks é outro tipo de prova de conhecimento zero semelhante ao ZK-Snarks, mas tem algumas diferenças. ZK-Starks significa Argumento de Conhecimento Transparente Escalável de Conhecimento Zero.

Para entender ZK-Starks, vamos imaginar um cenário onde você tem uma frase secreta e deseja provar a alguém que conhece a frase sem revelar a frase em si. ZK-Starks permitiria que você fizesse isso construindo uma prova que convenceria a outra pessoa de que você conhece a frase, sem revelar a frase em si.

PLONKS

PLONK é o desenvolvimento mais recente e empolgante no mundo das provas de conhecimento zero. PLONK significa baseado em polinômios, linearmente complexo, não interativo e à prova de conhecimento.

PLONK é um tipo de prova de conhecimento zero ainda mais poderosa e eficiente que ZK-Snarks e ZK-Starks. Possui muitas aplicações em criptografia, inclusive em transações privadas, autenticação e compartilhamento de dados.

Para entender o PLONK, vamos imaginar um cenário em que você tem uma mensagem secreta e deseja provar a alguém que conhece a mensagem sem revelá-la. O PLONK permitiria que você fizesse isso construindo uma prova que convenceria a outra pessoa de que você conhece a mensagem, sem revelar a mensagem em si.

Conclusão

As provas de conhecimento zero são uma ferramenta poderosa em criptografia que permite às partes verificar informações e transações sem revelar quaisquer informações confidenciais. ZK-Snarks, ZK-Starks e PLONK são diferentes tipos de provas de conhecimento zero que têm várias aplicações na indústria de blockchain e além.