O que é a prova de conhecimento zero Zero-Knowledge Proof

No campo da criptografia, a prova de conhecimento zero (zero-knowledge proof) é um método de prova que consiste em uma parte (o provador) demonstrar a outra parte (o verificador) que uma afirmação é verdadeira, sem revelar qualquer informação além da veracidade dessa afirmação.

As provas do dia a dia não são zero-knowledge. Por exemplo, quando um comprador precisa provar que tem mais de 21 anos para comprar álcool, ele apresenta uma identificação com a data de nascimento. Mas esse método de prova tem falhas, pois ao demonstrar que atende à exigência de idade, também revela outras informações sensíveis e não relacionadas, como nome e endereço.

Em comparação, a prova de conhecimento zero é superior porque não exige que o provador revele detalhes sobre a própria afirmação ou como descobriu a verdade. Suponha que Alice seja daltônica e não consiga distinguir uma bola azul de uma vermelha. Alice acha que as duas bolas são iguais, mas Bob quer provar a ela, de forma de conhecimento zero, que elas são diferentes. Bob pode confiar no seguinte mecanismo.

Bob faz Alice segurar uma bola em cada mão e coloca as mãos atrás das costas, uma azul e uma vermelha. Alice decide se troca ou não as bolas entre as mãos. Depois, ela mostra as duas bolas para Bob, que então diz a Alice se ela trocou ou não as bolas.

Alice: Troquei as bolas? (a mão esquerda passou de azul para vermelha)

Bob: Sim.

Alice: Troquei as bolas? (a mão esquerda ainda é vermelha)

Bob: Não, na última vez não.

Alice e Bob repetem esse processo várias vezes, até que Alice esteja convencida de que as bolas são realmente diferentes, pois, caso contrário, Bob não conseguiria sempre determinar com precisão o que Alice fez atrás das costas. Note que, nesse processo, Bob não precisa dizer a Alice qual bola é azul, nem explicar como sabe disso.

O exemplo acima de prova de conhecimento zero é interativo. Embora seja fácil de entender, na prática, não é uma solução muito viável, pois exige múltiplas comunicações entre as partes antes de estabelecer a prova.

Pesquisadores inventaram provas de conhecimento zero não interativas para resolver esses problemas. Uma prova não interativa requer apenas uma rodada de comunicação entre o provador e o verificador. O provador insere as informações em um algoritmo especial para calcular a prova de conhecimento zero. Depois, o verificador pode checar a prova para garantir a validade da informação secreta. Outra vantagem das provas não interativas é que, uma vez gerada a prova, qualquer pessoa pode verificá-la.

No campo do blockchain, as provas de conhecimento zero são principalmente aplicadas em cenários de rollup. Elas permitem que a cadeia de blocos subjacente terceirize o cálculo, garantindo ao mesmo tempo a verificabilidade do resultado. Computadores fora da cadeia executam as transações e submetem o resultado junto com uma prova de que as transações foram executadas corretamente. Isso reduz a congestão na rede principal e aumenta a velocidade das transações.

As provas de conhecimento zero permitem que a cadeia de blocos subjacente valide transações fora da cadeia sem precisar reexecutá-las. Embora tecnicamente sejam superiores, a pesquisa sobre o tema ainda está em estágio inicial. Antes que a tecnologia de provas de conhecimento zero seja amplamente adotada, ainda levará alguns anos. $ZENT **$ZEREBRO **