OKLink: Tornar suas transações eficientes e seguras? Inseparável da tecnologia de “prova de conhecimento zero”

Autor original: Jason Jiang

Na evolução da tecnologia blockchain, existem duas questões principais que não podem ser evitadas: privacidade e expansão. Quando buscamos as “soluções padrão” para esses dois problemas, descobrimos que elas são indissociáveis de uma tecnologia, ou seja: prova de conhecimento zero. O que é uma prova de conhecimento zero? Como isso resolve os problemas de privacidade e expansão do blockchain?

1. O que é uma prova de conhecimento zero?

Em 1985, S.Goldwasser, S.Micali e C.Rackoff do MIT propuseram pela primeira vez a prova de conhecimento zero no artigo de pesquisa "Knowledge Complexity of Interactive Proof Systems". Este é um protocolo de verificação para um provador comprovar a veracidade do seu conhecimento sem revelar qualquer informação válida.

Para facilitar o entendimento, vamos dar um exemplo:

Little O possui uma caixa com uma senha e quer convencer Little K de que sabe a senha sem lhe dizer a senha real. Como fazer isso?

O pequeno O inventou um jeito: pediu ao pequeno K que escrevesse um bilhete cujo conteúdo só ele conhecesse no mundo, e então o pequeno K colocou-o na caixa aberta e trancou-a. Então o Pequeno O tirou a caixa e usou a senha para tirar o bilhete que o Pequeno K colocou na caixa, e deu o bilhete para o Pequeno K no dia seguinte. Durante esse processo, Little K não aprendeu nenhuma informação (a senha da caixa) que não soubesse antes, mas ainda teve que acreditar que Little O sabia a senha. Este processo de verificação é à prova de conhecimento zero.

**Em termos simples, a prova de conhecimento zero é estabelecer confiança entre as duas partes com o mínimo de informações trocadas. Sem divulgar mais informações, A pode provar a B que algo/certa conclusão está correta. **

De acordo com o modo de interação no processo de prova, ele pode ser dividido em duas categorias: “prova interativa de conhecimento zero” e “prova não interativa de conhecimento zero”.

A prova interativa de conhecimento zero significa que, para provar algo, o provador precisa interagir repetidamente com o verificador, assim como um detector de mentiras: o verificador faz perguntas constantemente para desafiar a autenticidade do compromisso do provador, e o provador precisa responder constantemente. a esses desafios até que os validadores estejam convencidos. Seu fluxo é o seguinte:

As primeiras provas de conhecimento zero eram todas interativas. Este método é simples, mas o processo é demorado e ineficiente: ambas as partes devem concluir a verificação on-line ao mesmo tempo, e apenas um verificador pode ser confiável por vez. Se for necessário confiar em várias pessoas, o processo acima deve ser repetido . Esse processo é cansativo de pensar.

Assim, surgiram provas não interativas de conhecimento zero. Nas provas não interativas de conhecimento zero, o provador e o verificador concordam antecipadamente com as regras de verificação, o provador fornece os dados conforme prometido e o verificador pode verificar a exatidão dos dados a qualquer momento. Neste tipo de verificação não interativa, ambas as partes não precisam estar online ao mesmo tempo, e o provador só precisa fornecer a prova uma vez. **As aplicações em cenários reais são basicamente provas de conhecimento zero não interativas, como ZK-SNARK e ZK-STARK. **

2. Qual é a utilidade da prova de conhecimento zero no mundo blockchain?

As provas de conhecimento zero são usadas principalmente para resolver dois tipos de problemas no mundo blockchain: privacidade e escalabilidade. **

(1) Privacidade

Um dos resultados importantes da aplicação da prova de conhecimento zero é o projeto Zcash lançado em 2015, que pode realizar transações privadas. Além de moedas anônimas como Zcash, as provas de conhecimento zero também podem desempenhar um papel em cenários como financiamento de blockchain, votação em cadeia e verificação de identidade.

Nas aplicações financeiras blockchain, as provas de conhecimento zero permitem que os participantes escolham com flexibilidade quais transações e informações desejam divulgar e ocultar. Por exemplo, as empresas podem expor seletivamente determinados pagamentos para trilhas de auditoria, enquanto ocultam informações confidenciais sobre clientes confidenciais, salários de funcionários, prestadores de serviços, fornecedores e muito mais.

Ao votar na cadeia, a prova de conhecimento zero também pode permitir que os participantes votem anonimamente e verifiquem a validade dos resultados da votação.

Além disso, a prova de conhecimento zero também pode ajudar os usuários a obter verificação de identidade sem revelar informações específicas de identidade. Polygan ID no Ethereum adota um esquema de verificação à prova de conhecimento zero, que não apenas ajuda os usuários a proteger a privacidade, mas também atende aos requisitos regulatórios para especificações de verificação KYC. Os usuários são livres para escolher quando e quais dados compartilhar.

(2) Expansibilidade

O blockchain precisa urgentemente de expansão devido a limitações de desempenho que não podem atender à demanda do mercado, e a solução de expansão ZK Rollup baseada na prova de conhecimento zero é considerada a solução definitiva para a expansão da Camada 2. ZK-Rollups melhora o rendimento da blockchain transferindo cálculos para fora da cadeia, ou seja, empacotando um grande número de transações em um bloco Rollup e gerando uma prova de validade baseada na prova de conhecimento zero sob a cadeia. na camada 1 só é necessário validar a prova para que o novo estado seja aplicado diretamente, resultando em menos gás e maior segurança.

zkSync baseado na tecnologia ZK-SNARKs e StarkNet baseado na tecnologia zk-STARKs são atualmente os projetos ZK-Rollups mais representativos.

Entre eles, zkSync é uma solução de expansão de Camada 2 lançada pela Matter Labs em 2018, que melhora a escalabilidade da rede Ethereum usando Rollup baseado em prova de conhecimento zero. ** Em fevereiro deste ano, zkSync anunciou que a rede principal zkSync Era foi lançada oficialmente. O navegador multi-cadeia OKLink posteriormente assumiu a liderança no acesso aos dados da rede principal zkSync e se tornou o primeiro navegador multi-cadeia com suporte à rede zkSync em toda a rede. **

StarkNet é uma rede Camada 2 livre de permissão desenvolvida pela empresa de software israelense StarkWare. Ao usar a tecnologia zk-STARKs, ela pode ajudar DApps a alcançar maior escala de computação com custos de transação mais baixos. Desde o lançamento da mainnet em novembro de 2021, o ecossistema StarkNet desenvolveu-se rapidamente.Existem atualmente mais de 100 Dapps e serviços, cobrindo diferentes categorias, como DeFi, NFT, carteiras e pontes cross-chain. Como um dos projetos com maior avaliação e maior participação de mercado na trilha ZK Rollup, o desenvolvimento da StarkNet tem atraído muita atenção. O navegador multi-cadeia OKLink da OKLink também lançará o navegador StarkNet em um futuro próximo, fornecendo insights e serviços de dados on-chain mais abrangentes e ricos para todos os usuários que prestam atenção e participam da ecologia StarkNet e da construção da Camada 2.

É relatado que o navegador StarkNet será o 30º navegador blockchain lançado pela OKLink e o segundo navegador ZK Rollup após zksync. No futuro, o navegador multicadeia OKLink também lançará navegadores blockchain para projetos ZK Rollup bem conhecidos, como Polygon-zk, Linea, Base e Scoll, com base em provas de conhecimento zero.