Aprendendo os meandros das provas de conhecimento zero (ZK)

As provas de conhecimento zero (provas ZK) tornaram-se populares no mundo criptográfico este ano, mas não criptógrafos e programadores podem ficar confusos.

As provas ZK são complicadas apesar de sua aparência. Eles permitem que o provador demonstre prontamente seu conhecimento ao verificador sem compartilhar os detalhes. Isso não exige que o provador discuta as informações.

Poucos acadêmicos em meados da década de 1980 foram pioneiros na ideia. Desde então, tornou-se um mecanismo realista para computação verificável e estabeleceu a estrutura para o ambiente Web3, onde as provas ZK são mais importantes.

ZK em Blockchain: seu papel em mudança

As provas ZK existiam na criptografia teórica antes da tecnologia blockchain, mas a descentralização da blockchain as tornou mais visíveis e proeminentes. Essencialmente, o blockchain é um livro-razão público. Não importa a transação, todos os detalhes são documentados e disponíveis ao público.

A tecnologia Blockchain oferece transparência, mas a privacidade do usuário é uma grande preocupação.

As provas ZK resolvem conflitos de abertura de privacidade do blockchain. Eles fornecem verificação de transações sem liberar informações de transação, mantendo a privacidade do usuário e a imutabilidade do blockchain.

A computação verificável fora da cadeia, um avanço importante do blockchain, tornou-se um caso de uso proeminente para provas ZK na Web3 na década anterior.

Tentativas de encontrar uma solução para o problema de escalabilidade

A computação fora da cadeia verificável é importante, mas primeiro precisamos discutir os limites severos dos contratos inteligentes. Inerentemente, os contratos inteligentes têm três desvantagens principais:

• Alguns tipos de informações que os contratos inteligentes podem obter são limitados. Por exemplo, eles não podem obter informações sobre preços de tokens ou qualquer outra coisa que não esteja salva no blockchain.

• A capacidade do blockchain de armazenar dados: Os blockchains não foram feitos para armazenar muitos dados. Colocá-lo em ação seria muito caro e demorado.

• O tipo de pensamento que eles podem ter: um contrato inteligente só pode usar as formas mais básicas de lógica condicional se não tiver que pagar custos altíssimos de gás.

  
  

Esses problemas devem ser corrigidos para que o blockchain seja dimensionado para satisfazer as necessidades do ecossistema Web3. Felizmente, ZK cresceu com Web3.

Podemos resolver com elegância o armazenamento e a computação limitados da rede, descarregando alguns dados e trabalho computacional do blockchain.

Com a revelação de que atividades fora da cadeia podem ser realizadas e uma prova ZK pode ser usada para fornecer um resumo breve e confiável das operações fora da cadeia para a cadeia principal sem compartilhar todos os dados subjacentes, a tecnologia blockchain mudou. Vamos examinar os protocolos em evolução deste campo.

A próxima geração de ZK como um todo

Embora as provas ZK sobre armazenamento descentralizado e rollups ZK tenham expandido as possibilidades do blockchain, algo importante ainda está faltando. As possibilidades de armazenamento descentralizado são mais do que parecem.

O armazenamento de dados é crucial, mas a incapacidade destas plataformas de fazer mais do que a recuperação de dados (e não "computação") limita a sua aplicabilidade. Os rollups ZK, que podem executar vários trabalhos de computação, também não preenchem a lacuna.