À medida que a tecnologia informática continua a melhorar na era digital, podemos agora armazenar, partilhar e analisar facilmente enormes quantidades de dados empresariais e pessoais online, levantando preocupações sobre os direitos. A privacidade e a segurança dos dados também estão a melhorar.
A prova de conhecimento zero é um tipo de criptografia. De acordo com a teoria ZKP, o provador deve demonstrar ao verificador que as informações que ele fornece são precisas, sem compartilhar quaisquer detalhes do mundo real.
#zkp oferece liberdade e escolha aos consumidores que buscam controle e independência sobre suas informações. Ao combinar a tecnologia ZKP e #blockchain , vários casos de uso podem ser tratados.
Provas de conhecimento zero interativas e não interativas também estão disponíveis.
As provas interativas de conhecimento zero (IZKPs) precisam de uma troca de perguntas e respostas entre um provador e um verificador. Esta interação pode ocorrer offline ou online através de uma rede como a Internet. O verificador deve ter vários contactos com o verificador antes de poder solicitar mais detalhes sobre a alegação que está a ser provada. O provador deve responder à pergunta do verificador em cada rodada.
Para alguns problemas enormes, este método de prova interativo é viável, mas levanta problemas de tempo e custo computacional e requer a cooperação de todos os participantes.
Por outro lado, as provas de conhecimento zero não interativas (NIZKPs) não requerem comunicação entre o provador e o verificador. Em vez disso, o provador cria uma única evidência independente que o verificador pode examinar de forma independente, sem a necessidade de comunicação adicional. Isto pode ser mais conveniente e eficaz do que as provas interativas porque o provador e o verificador não precisam estar online ao mesmo tempo ou trocar muitas mensagens.
As provas interativas demoram mais para serem analisadas e comunicadas do que as provas não interativas. No entanto, há situações em que pode não ser prático, como quando são necessários mais detalhes para a prova ou para demonstrar um argumento muito complicado.
Uma das principais diferenças entre as provas de conhecimento zero interativas e não interativas é o nível de confiança exigido entre o provador e o verificador. Numa prova interactiva, o verificador deve ter fé que o provador irá aderir às regras e fornecer respostas verdadeiras às suas perguntas. Ao contrário das provas interativas, as provas não interativas permitem ao verificador examinar a prova de forma independente, sem depender das informações do provador.
A melhor abordagem para uma determinada situação dependerá das necessidades e restrições. As provas de conhecimento zero interativas e não interativas oferecem vantagens e desvantagens.
As provas interativas podem ser mais apropriadas nos casos em que o provador e o verificador estão online e podem conversar prontamente.
As provas não interativas, por outro lado, podem ser mais apropriadas nos casos em que o provador e o verificador não estão online ao mesmo tempo ou a confiabilidade do provador é questionável. Finalmente, provas de conhecimento zero interativas e não interativas são frequentemente selecionadas com base em desafios específicos e situações de aplicação.
A prova interativa de conhecimento zero é uma das primeiras formas de prova de conhecimento zero estudadas e mais frequentemente usadas. Ao longo deste processo de prova, haverá diversas rodadas de interação entre o provador e o verificador.
Requer interações entre provadores e verificadores, o que pode ser demorado e ineficaz. O provador e o verificador devem comunicar-se extensivamente para finalizar a prova. Isto pode ser um problema em situações em que a velocidade é essencial, como negociações de alta frequência ou tomadas de decisões em tempo real.
Por exemplo, se um jovem lojista suspeitar, você deve entrar no estabelecimento para comprar bebidas alcoólicas, mas não poderá provar sua idade por outra coisa senão pela aparência externa. Nesta fase, você precisará descrever, usando a narração, como comprar bebidas alcoólicas.
O IZKP pressupõe que tanto o provador quanto o verificador estão dizendo a verdade e não tentarão falsificar ou alterar as evidências. No entanto, nem sempre é esse o caso, e o provador pode tentar enganar o verificador enviando pistas falsas ou alterando as provas de alguma outra forma. Isto pode comprometer a validade da evidência e torná-la menos útil.
Simplificando, você não tem idade suficiente para beber, mas ainda está tentando argumentar esse ponto com palavras. Tal situação seria devastadora.
Assim, apesar das elevadas garantias de segurança e privacidade dos IZKP, a sua adoção generalizada tem sido limitada pelas deficiências acima mencionadas.
O argumento de conhecimento não interativo sucinto de conhecimento zero também é conhecido como ZK-SNARK. As seguintes características se aplicam ao protocolo ZK-SNARK:
Verificadores com zero informações podem certificar a veracidade de uma afirmação sem saber mais nada sobre ela. A única coisa que o verificador sabe sobre a afirmação é se ela é verdadeira ou falsa.
Em uma palavra, a prova de conhecimento zero é mais simples que a prova e pode ser mostrada rapidamente.
As provas não interativas distinguem-se das provas interativas pelo fato de que os provadores e os verificadores se comunicam apenas uma vez, ao contrário das provas interativas, que envolvem muitas rodadas de comunicação.
Argumento: Dado que as provas satisfazem o requisito de “racionalidade”, a fraude é muito improvável.
(De) Conhecimento: É difícil produzir uma prova de conhecimento zero sem acesso a informações confidenciais. Um provador sem testemunhas achará muito difícil, se não impossível, calcular uma prova válida de conhecimento zero.
O usuário deve confiar nos participantes que criam o parâmetro para poder usar a configuração confiável. No entanto, o desenvolvimento do ZK-STARK tornou possível demonstrar protocolos que funcionam em ambientes incertos.
O argumento de conhecimento transparente escalável de conhecimento zero é conhecido como ZK-STARK. ZK-STARK e ZK-SNARK são idênticos, exceto nos seguintes pontos:
Escalável: Quando o tamanho da testemunha é maior, o ZK-STARK gera e verifica evidências mais rapidamente que o ZK-SNARK. Usando a evidência STARK, os tempos do provador e do verificador aumentam minimamente à medida que o número de testemunhas aumenta (o tempo do provador e do verificador SNARK aumenta linearmente com o tamanho da testemunha).
Transparência: Em vez de construir confiança, o ZK-STARK depende de uma randomização verificável publicamente para produzir parâmetros públicos para prova e verificação. Como resultado, eles são menos opacos que o ZK-SNARK.
É provável que haja mais custos de verificação porque os ZK-STARKs geram provas maiores do que os ZK-SNARKs. O #ZK-STARK pode, no entanto, ser mais económico do que o #ZK-SNARK em algumas situações (por exemplo, verificação de conjuntos de dados massivos).
#ZK-STARKs são baseados em provas breves e interativas, o que indica que as provas podem ser verificadas rapidamente sem a necessidade de qualquer interação entre o provador e o verificador. Por causa disso, as vantagens dos ZK-STARKs em termos de segurança e escalabilidade são melhores.
As tecnologias à prova de conhecimento zero continuarão a se desenvolver e a ser empregadas à medida que a tecnologia melhora.
Embora o blockchain ofereça descentralização, transparência e muitos outros benefícios, o uso de endereços em vez de identidades por si só não garante privacidade.
A prova de conhecimento zero #technology oferece uma ampla gama de aplicações para verificação de privacidade e segurança. Embora não seja uma tecnologia nova, ainda há muitas coisas novas para aprender e demonstrar através da prática na sua aplicação ao desenvolvimento da indústria blockchain.