O que é Zero-Knowledge Proof

Uma prova de conhecimento zero ou protocolo é uma forma indirecta para um provérbio "" convencer um verificador "" de que uma alegação sobre informação secreta é exacta sem a revelar.

Existem dois tipos de protocolos de prova de zero-conhecimento - ZKPs interactivos e ZKPs não-interactivos

Existem três pré-requisitos essenciais para provas de zero-conhecimento - completude, validade e zero-conhecimento.

Os ZKPs podem ser usados juntamente com a cadeia de bloqueio para garantir a segurança nas aplicações de mensagens, relatórios detalhados e transacções privadas.

Milhares de pessoas navegam na Internet todos os dias, aceitam cookies e partilham as suas informações pessoais para tirar partido de vários serviços e produtos online. Infelizmente, os utilizadores estão cada vez mais expostos a violações de dados e utilizações não autorizadas das suas informações todos os anos. Além disso, são por vezes obrigados a abdicar da sua privacidade para aceder aos serviços que plataformas como o Google e o Facebook oferecem - tais como recomendações, consultas, assistência personalizada, etc. No entanto, eles não podem aceder-lhe quando utilizam a navegação privada.

O BBVA New Digital Businesses considera a actual assimetria da sociedade digital relativamente ao acesso à informação uma grave preocupação, uma vez que a privacidade e a propriedade dos dados são "direitos fundamentais que temos de proteger." Portanto, o NDB ( New Digital Businesses) tem vindo a pesquisar novos mecanismos, ferramentas e métodos científicos que são úteis para assegurar a economia baseada em dados, protegendo ao mesmo tempo a privacidade", explica De la Gandara , encabeçando este projecto.

O Zero-Knowledge Proof (ZKP) destaca-se como uma das tecnologias que mostra o potencial mais tremendo para alcançar este equilíbrio, um conjunto de ferramentas que permitem que uma informação seja validada sem expor os dados que a demonstram. A tecnologia é possível porque uma declaração computacional pode ser verificada matematicamente para ser correcta sem revelar quaisquer dados por um testador "" usando algoritmos criptográficos.

Uma prova de conhecimento zero ou protocolo é uma forma indirecta para um provérbio "" convencer um verificador "" de que uma alegação sobre informação secreta é exacta sem a revelar. Dependendo do protocolo de prova, pode ser interactivo ou não.

ZKPs com procedimentos interactivos requerem o provérbio para completar tarefas ou acções para convencer o verificador de que eles têm a informação necessária. Nos ZKPs interactivos, a matemática está frequentemente envolvida na execução das tarefas necessárias.

Não há necessidade de interacção entre provérbio e verificador em ZKPs não-interactivos, ou a verificação pode ser feita mais tarde. Computadores ou software são necessários para estes tipos de ZKPs.

Existem três pré-requisitos essenciais para provas de conhecimento zero:

1.Completeness: Um verificador pode confirmar que um provérbio tem o input adequado se a afirmação for verdadeira.

2.Validade: Nenhuma afirmação pode ser falsificada, e o verificador não pode ser convencido de que o provérbio tem o input necessário quando o provérbio não tem.

3.Zero-conhecimento: o verificador não pode saber mais nada para além de se a declaração é verdadeira ou falsa. Os dados e informações sobre as outras partes permanecem confidenciais.


O uso de provas de conhecimento zero em blockchain

---

Os ZKPs oferecem aos utilizadores flexibilidade e escolha se quiserem controlar e gerir a sua informação. Por outras palavras, as provas de cadeia de bloqueio e de zero-conhecimento têm múltiplas aplicações.

Transacções privadas (EY e Nightfall)
O EY desenvolveu soluções de cadeia de bloqueio e ZKP em resposta a preocupações de privacidade e soberania de dados.

Um protocolo público ZKP, Nightfall, foi lançado pelo EY em 2019 que permite às empresas realizar transacções privadas e seguras usando cadeias de bloqueio públicas, preservando ao mesmo tempo a confidencialidade.

Para satisfazer as exigências de acordos comerciais complexos, o EY irá conceber um compilador protótipo, Starlight, que utiliza o protocolo ZKP para permitir a colaboração entre as partes a nível da rede, mantendo ao mesmo tempo a privacidade dos concorrentes.

Com o Nightfall e Starlight, os utilizadores podem aceder a aplicações de bloqueio com maior segurança e privacidade.

Aplicações baseadas em mensagens
O envio privado de mensagens foi possível graças à encriptação de ponta a ponta. Contudo, as aplicações de mensagens tradicionais requerem que o utilizador verifique a sua identidade com o servidor. Os ZKPs permitem aos indivíduos provar a sua identidade sem revelar informações pessoais.

Documentação detalhada
A combinação de ZKPs e Blockchain proporciona aos utilizadores segurança quando partilham documentos complexos. Além de encriptar os dados em pedaços, os ZKPs podem controlar a visibilidade de certos blocos e a informação que contêm, permitindo o acesso de alguns utilizadores enquanto restringem outros.



Projectos de topo usando Zero-Knowledge Proofs

---

NuCypher
NuCypher é um projecto da ICO que trabalha na construção de um sistema para a re-encriptação da rede de proxy. É baseado na ideia de propriedade, onde você tranca (encripta) um documento que possui com uma chave privada. Para partilhar esse documento, você terá de fornecer a chave privada ao destinatário. Isto, em si mesmo, é algo que não deve ser feito. Daí, a necessidade de uma re-encriptação por procuração.

Você pode re-encriptar a sua chave encriptada para a chave pública de outra pessoa com a re-encriptação por procuração. Pode então partilhar o documento com a chave re-encriptada quando isto for feito. Assim, permitindo que o destinatário abra o documento com a sua chave pública.

NuCypher opera um conjunto de nós interligados que permite a reencriptação de chaves. Esta rede de nós armazena as chaves em pedaços através de todos os nós, tornando-a assim mais segura. A velocidade desta operação depende da tecnologia derivada da ZKP chamada NIKP (Non-interactive Zero-knowledge proof). Esta tecnologia funciona como um relógio para garantir que cada reencriptação é correcta e segura a partir dos nós KMS.

Nuggets
Este programa está centrado em deixar os utilizadores terem mais controlo sobre as suas vendas quando compram itens online. Com este projecto, os utilizadores podem racionar a quantidade de dados pessoais que libertam quando compram mercadorias através de vendedores online.
A estratégia de trabalho baseou-se no facto de que as bases de dados centralizadas detidas por estes vendedores online não são seguras. Assim, eles são alvos fáceis de hacking e violação de dados. O projecto Nuggets utiliza a tecnologia ZKP para esconder a informação privada dos utilizadores.

ZCash
ZCash (ou Zero Cash) implementa as suas operações usando o software subjacente e o protocolo de Bitcoin. Recentemente adicionou os ZK-SNARKs à sua rede de bloqueio para assegurar que todos os seus livros-razão estão encriptados e nulos de despesas duplas. Este protocolo de cadeia de bloqueios funciona usando o protocolo ZKP.

Verificação de votos
Esta é uma aplicação comum do ZKP no mundo de hoje. O ZKP é usado juntamente com a cadeia de bloqueio para criar uma forma democrática de verificação dos votos nas eleições. Fornece um sistema transparente onde todo o processo de votação pode ser auditado e ser acedido.
Consequentemente, não há necessidade de um terceiro para verificar o resultado da eleição. A ZKP também fornece uma plataforma para os eleitores verificarem a sua elegibilidade. Isto, por sua vez, ajuda os eleitores a proteger as suas informações pessoais.

Validade da transação ING
Esta é outra aplicação prática do ZKP juntamente com a Blockchain na resolução de um problema do mundo real. A ING anunciou recentemente que estava programado para começar a usar o ZKP juntamente com uma plataforma de cadeia de bloqueio de renome chamada Corda para validar as transacções na plataforma.
A plataforma Corda era anteriormente limitada no seu uso, pois só podia ser usada para seleccionar segurança e privacidade. Agora, pode fazer muito mais.





Autor: Gate.io Observer: M. Olatunji
Disclaimer:
* Este artigo representa apenas a opinião dos observadores e não constitui qualquer sugestão de investimento.
*Gate.io reserva-se todos os direitos sobre este artigo. A reedição do artigo será permitida desde que o Gate.io seja referenciado. Em todos os outros casos, serão tomadas medidas legais devido à violação dos direitos de autor.