O que são provas de conhecimento zero?

Provas de conhecimento zero ajudam a garantir que a Política de Privacidade da transação não venha às custas da confiança. Continue lendo para Aprenda o que são provas de conhecimento zero, como elas funcionam e por que precisamos delas na Web3.

Este é um conteúdo de parceiros originado deLibertado de Laura Shin e publicado pela CoinDesk.

O que são provas de conhecimento zero?

Provas de Conhecimento Zero (ZKPs) são protocolos que ajudam a provar a validade de declarações em blockchains sem oferecer informações que possam comprometer a Política de Privacidade.Eles permitem que os usuários verifiquem a validade de uma transação sem revelar detalhes da transação.

Em Provas de Conhecimento Zero, o provador é responsável por provar a alegação, e o papel do verificador é validá-la. Os protocolos revelam on-chain que a informação oculta é válida, e o provador sabe disso com alta certeza.

Nas mãos de atores maliciosos, informações pessoalmente identificáveis (PII) podem apresentar certos riscos, como roubo de identidade, danos à reputação e discriminação. Provas de conhecimento zero garantem que suas PII permaneçam protegidas.

Considere um cenário em que você precisa provar sua identidade para concluir uma transação. Você precisará fornecer evidências como sua carteira de motorista e outras PII.

No entanto, você não terá controle sobre a segurança dessas informações quando elas estiverem nas mãos de terceiros. Os hackers podem ter como alvo o banco de dados central do terceiro, ou o terceiro podecompartilhe suas informações com outras pessoaspara fins de publicidade direcionada e outros motivos.

Com provas de conhecimento zero, você pode evitar compartilhar essas informações e se limitar a provar sua validade.

Como funcionam as provas de conhecimento zero?

Provas de conhecimento zero utilizam algoritmos que processam dados de entrada e confirmam sua veracidade. Projetos como StarkNet no Ethereum, Polygon Zero, Zk Sync e mais estão atualmente usando os protocolos em sua funcionalidade.

Para que as provas de conhecimento zero funcionem de forma eficiente, há três critérios que elas precisam satisfazer:

• Conhecimento zero: O verificador não pode acessar a entrada original. A única informação disponível para eles é a validade da declaração.
• Solidez: O protocolo não pode validar entrada inválida como sendo verdadeira. O protocolo deve ter salvaguardas para garantir que o provador não tenha espaço para manipular o verificador para pensar que sua declaração é verdadeira.
• Completude: Desde que a entrada seja válida, o protocolo sempre valida a declaração. O protocolo aceita a prova se ambas as partes agirem honestamente e a informação subjacente for verdadeira.

Uma prova básica de conhecimento zero compreende três elementos.

• Primeiro, temos o testemunha, que é a informação Secret . O provador fornece perguntas que somente uma parte a par da informação saberia.
• O segundo elemento é odesafio, onde o verificador seleciona uma pergunta do conjunto para o provador responder.
• O terceiro e último elemento é oresposta, onde o provador responde à pergunta. Com a resposta, o verificador confirma que o provador pode acessar a testemunha. O verificador então prossegue para selecionar mais perguntas do conjunto. As perguntas múltiplas limitam a possibilidade do provador fingir conhecimento da informação.

Tipos de Provas de Conhecimento Zero

Existem dois tipos de provas de conhecimento zero: interativas e não interativas.

• Provas interativas de conhecimento zeropermitir comunicação de ida e volta entre duas partes. A comunicação permite a verificação da validade da declaração para satisfação do verificador.
• Provas de conhecimento zero não interativas: Aqui, duas partes se envolvem em apenas uma rodada de comunicação. O provador compartilha as informações com um algoritmo que computa a prova de conhecimento zero. O verificador recebe a prova e usa outro algoritmo para confirmar o conhecimento do provador.

Dada a conveniência dos ZKPs não interativos, muitos protocolos disponíveis atualmente se enquadram na categoria de ZKPs não interativos. Vamos dar uma olhada em alguns deles.

• ZK-SNARKs:Conhecidos por completo como Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, seu pequeno tamanho torna o processo de verificação fácil. Esses protocolos utilizam curvas elípticas para gerar uma prova criptográfica, um processo considerado eficiente em termos de GAS .
• ZK-STARKs:Eles são conhecidos como Zero-Knowledge Scalable Transparent Argument of Knowledge. Eles são rápidos devido à interação mínima entre duas partes.
• À prova de balas: Elas não exigem uma configuração confiável. As provas curtas e não interativas de conhecimento zero permitem transações privadas de Criptomoeda .
• PLONK:Elas são conhecidas como Permutações sobre bases de Lagrange para argumentos não interativos ecumênicos de conhecimento. PLONKs permitem um grande número de participantes usando uma configuração confiável universal.

Por que precisamos de provas de conhecimento zero?

Vários casos de uso explicam por que precisamos de provas de conhecimento zero. Vamos dar uma olhada em algumas das mais importantes.

• Segurança e Política de Privacidade: O pseudonimato do Web3 falha em garantir Política de Privacidade completa, já que o histórico de transações está disponível em blockchains públicos. Com ZKPs, a verificação de informações é possível sem revelar PII, mantendo assim o anonimato.
• Verificação de identidade:Provar a identidade de alguém não precisa incluir o compartilhamento de informações sensíveis. Os ZKPs oferecem uma maneira de executar o processo de verificação de identidade de forma privada e segura.
• Escalabilidade:Com ZKPs, as redes de blockchain podem verificar transações sem revelar os dados subjacentes. A eficiência da rede melhora, pois as informações armazenadas no blockchain reduzem significativamente.
• Conformidade:As organizações podem cumprir com os requisitos regulatórios referentes à lavagem de dinheiro, KYC e outras leis relevantes. Os ZKPs permitem que as organizações cumpram sem armazenar informações pessoais dos usuários em bancos de dados centralizados.

Provas de conhecimento zero são uma ferramenta fundamental de criptografia que oferece autenticação de informações para partes não identificadas ou não confiáveis. A natureza pseudônima do espaço Web3 apresenta um desafio em questões de verificação de informações. Os ZKPs abordam esse ponto problemático por meio de protocolos revolucionários que prometem garantir transações rápidas e seguras.