*Nota do editor: Como o “livro secreto” da Crypto para desenvolvimento em múltiplas direções, como expansão e privacidade, as provas de conhecimento zero (ZKPs) têm grandes expectativas da indústria. No entanto, como a maior parte do conteúdo explicativo sobre este conceito é destinado a pessoas com uma certa base em ciência da computação ou criptografia, ainda existem alguns obstáculos para a maioria dos usuários comuns compreenderem completamente o conceito em si. *
*Em 8 de setembro, o parceiro da a16z, Michael Blau, publicou um artigo científico popular sobre provas de conhecimento zero. O artigo evita habilmente a parte da especulação matemática abstrata do próprio conceito de prova de conhecimento zero, mas usa performances mágicas para demonstrar concretamente a utilidade do ZKP. *
*A seguir está uma compilação do texto original de Michael Blau (voz em primeira pessoa) feita pelo Odaily Planet Daily. Algumas modificações foram feitas para melhorar a fluência da leitura. *
Clark, autor de “2001: Uma Odisséia no Espaço”, disse: “Qualquer tecnologia suficientemente avançada é indistinguível da magia”.
A prova de conhecimento zero é uma dessas tecnologias mágicas. Na verdade, é um conceito criptográfico que pode ser usado para resolver dois problemas principais de escalabilidade e privacidade da Web3. **
Do ponto de vista da utilidade, o uso de provas de conhecimento zero por ** pode ajudar a reduzir os custos de transação em cadeia e projetar novos aplicativos que protegem a privacidade, promovendo assim a disseminação da criptografia para um bilhão de usuários. **Além da criptografia, o ZKP também tem potencial para ser usado para transmitir dados confidenciais com segurança, ajudando assim a combater sistemas financeiros ilegais ou a combater a proliferação de informações fraudulentas.
Mas o que exatamente são provas de conhecimento zero? Para um pequeno número de pesquisadores e desenvolvedores, muitas explicações detalhadas podem ser encontradas na Internet, mas esses conteúdos não se destinam a usuários comuns com menos experiência em ciência da computação ou ocultismo. Embora alguns pioneiros também tenham escrito alguns artigos científicos populares baseados em analogias, até hoje ainda não é uma tarefa fácil encontrar uma explicação incisiva e popular relacionada às provas de conhecimento zero para ajudar as pessoas comuns a compreender com precisão sua magia.
Portanto, neste próximo artigo, combino minha experiência em criptografia e na indústria mágica para explorar uma nova analogia - pense nas provas de conhecimento zero como um grande truque de mágica. **
Primeiro de tudo, precisamos de alguns conhecimentos básicos
Compartilharei primeiro a definição de "alto nível" de prova de conhecimento zero (especialmente seu algoritmo clássico zk-SNARK) e suas principais características e, em seguida, mapearei esses "componentes" um por um em uma mágica.
Justin Thaler, parceiro de pesquisa da a16z, define zk-SNARK como: "zk-SNARK permite que alguém (o provador) prove a outra pessoa (o verificador) que ele não confia que conhece alguns dados sem ter para revelar qualquer informação sobre os dados em si.”
O curso do MIT define desta forma: "Protocolos de conhecimento zero me permitem provar que conheço um fato sem lhe contar o fato em si."
Isto tem grande valor de aplicação no contexto do blockchain porque:
(correspondente à privacidade) **A prova de conhecimento zero pode proteger informações privadas e, ao mesmo tempo, permitir que outros verifiquem a autenticidade das informações. **
(Correspondente à expansão) **A prova de conhecimento zero pode “simplificar” e “salvar” a carga de trabalho. ** “Simplificação” significa que o tamanho da “prova” é menor do que os próprios “dados” que são provados; “salvar” significa que o verificador pode testar a “prova” de forma mais eficiente do que analisar os próprios “dados” originais. No Ethereum, isso significa que os contratos inteligentes processarão menos dados, de modo que os custos de gás dos usuários serão menores. A camada 2 também pode aproveitar esses recursos, permitindo que os Dapps processem mais dados a um custo menor.
Em resumo, as provas de conhecimento zero têm duas propriedades principais:
Uma delas é privacidade: os “dados” (ou “fatos” ou “conhecimento”) que você está provando não serão divulgados ao verificador.
A segunda é a escalabilidade: testar “provas” é mais eficiente do que analisar diretamente “dados” brutos.
Esta é a explicação clássica das provas de conhecimento zero, mas ainda parece um enigma – como alguém pode provar que sabe algo sem compartilhar a informação?
Vejamos a definição novamente, mas desta vez faremos um truque de mágica.
A magia em si é uma prova de conhecimento zero
Simplificando, em um show de mágica, a própria “mágica” é uma prova de conhecimento zero. Para completar um truque de mágica, o "mágico" precisa saber o "segredo" por trás dele. Somente conhecendo esse segredo eles poderão realizar a performance, mas certamente não querem revelar esse segredo ao "público" - isso obviamente destruirá o efeito da magia.
*Odaily Planet Daily Note: Observe que quatro caracteres estão entre aspas. *
"Segredo" corresponde aos "dados" originais;
"Magia" corresponde a "prova";
"Mágico" corresponde a "Provador";
*"Público" corresponde a "Verificador". *
A seguir, traremos a definição “avançada” de prova de conhecimento zero do parágrafo anterior para esta mágica, **imaginemos o mágico como o “provador” e o público como o “verificador”. **
**O show de mágica é o processo em que o “provador” prova ao “verificador”. **Se a performance for bem-sucedida, equivale a provar que é eficaz, e o público também pode confirmar que o mágico deve entender o segredo por trás dela; Se a performance falhar, equivale a provar que é inválido, e o público ficará desapontado. Esteja ciente de que o mágico pode não saber o truque.
Obviamente, a magia demonstra claramente a privacidade das provas de conhecimento zero porque o público nunca é informado qual é o segredo por trás dela. E quanto à escalabilidade? Vamos continuar voltando a esta metáfora…
Se o público quiser saber se o mágico dominou o segredo (se o “provador” conhece os “dados” originais), eles podem pular a apresentação normal e apenas pedir ao mágico que compartilhe o segredo por trás disso. No entanto, as técnicas mágicas são geralmente bastante complexas e complicadas. É difícil para o público entender o mecanismo de design e os efeitos de implementação dessas técnicas em um curto período de tempo, muito menos dominá-las completamente. O mágico pode até fornecer uma técnica errada. e o público ficará desapontado. Também é difícil dizer se é genuíno ou não. Portanto, muitas vezes leva muito tempo e uma grande carga de trabalho para concluir a prova analisando o próprio segredo.
Assim como analisar diretamente os "dados" originais é mais demorado e trabalhoso, testar a "prova" será mais eficiente. O que está por trás disso é a escalabilidade das provas de conhecimento zero.
Use cartas de baralho como exemplo
Para dar um exemplo simples, suponha que eu me gabe de ter a habilidade de "embaralhar reversamente" e ser capaz de embaralhar um baralho de cartas caóticas até obter o efeito desejado. Então, como posso provar isso para você?
A maneira mais eficiente é embaralhar diretamente um baralho de cartas com um determinado padrão para você. Ao ver esse baralho de cartas, você pode confirmar que tenho essa habilidade. Isso não exige que eu compartilhe minhas habilidades com você , mas também é melhor que o seu. Aprender lentamente sozinho será mais rápido.
Em suma, espero que esta analogia ajude a desmistificar as provas de conhecimento zero. Este conjunto de explicações sobre "mágica", "secreto", "mágico" e "público" pode ser usado como um modelo eficaz para a compreensão das principais características de provas de conhecimento zero e ajuda mais Muitos usuários comuns estão expostos a esse conceito.
Novamente, a magia é essencialmente prova de conhecimento zero, e a prova de conhecimento zero é o mesmo que magia. **
Ver original
Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.
a16z: Como usar um show de mágica para entender provas de conhecimento zero
Este artigo vem de | a16z
Autor original | Michael Blau
Compilado | Odaily Planet Daily Azuma
*Nota do editor: Como o “livro secreto” da Crypto para desenvolvimento em múltiplas direções, como expansão e privacidade, as provas de conhecimento zero (ZKPs) têm grandes expectativas da indústria. No entanto, como a maior parte do conteúdo explicativo sobre este conceito é destinado a pessoas com uma certa base em ciência da computação ou criptografia, ainda existem alguns obstáculos para a maioria dos usuários comuns compreenderem completamente o conceito em si. *
*Em 8 de setembro, o parceiro da a16z, Michael Blau, publicou um artigo científico popular sobre provas de conhecimento zero. O artigo evita habilmente a parte da especulação matemática abstrata do próprio conceito de prova de conhecimento zero, mas usa performances mágicas para demonstrar concretamente a utilidade do ZKP. *
*A seguir está uma compilação do texto original de Michael Blau (voz em primeira pessoa) feita pelo Odaily Planet Daily. Algumas modificações foram feitas para melhorar a fluência da leitura. *
Clark, autor de “2001: Uma Odisséia no Espaço”, disse: “Qualquer tecnologia suficientemente avançada é indistinguível da magia”.
A prova de conhecimento zero é uma dessas tecnologias mágicas. Na verdade, é um conceito criptográfico que pode ser usado para resolver dois problemas principais de escalabilidade e privacidade da Web3. **
Do ponto de vista da utilidade, o uso de provas de conhecimento zero por ** pode ajudar a reduzir os custos de transação em cadeia e projetar novos aplicativos que protegem a privacidade, promovendo assim a disseminação da criptografia para um bilhão de usuários. **Além da criptografia, o ZKP também tem potencial para ser usado para transmitir dados confidenciais com segurança, ajudando assim a combater sistemas financeiros ilegais ou a combater a proliferação de informações fraudulentas.
Mas o que exatamente são provas de conhecimento zero? Para um pequeno número de pesquisadores e desenvolvedores, muitas explicações detalhadas podem ser encontradas na Internet, mas esses conteúdos não se destinam a usuários comuns com menos experiência em ciência da computação ou ocultismo. Embora alguns pioneiros também tenham escrito alguns artigos científicos populares baseados em analogias, até hoje ainda não é uma tarefa fácil encontrar uma explicação incisiva e popular relacionada às provas de conhecimento zero para ajudar as pessoas comuns a compreender com precisão sua magia.
Portanto, neste próximo artigo, combino minha experiência em criptografia e na indústria mágica para explorar uma nova analogia - pense nas provas de conhecimento zero como um grande truque de mágica. **
Primeiro de tudo, precisamos de alguns conhecimentos básicos
Compartilharei primeiro a definição de "alto nível" de prova de conhecimento zero (especialmente seu algoritmo clássico zk-SNARK) e suas principais características e, em seguida, mapearei esses "componentes" um por um em uma mágica.
Justin Thaler, parceiro de pesquisa da a16z, define zk-SNARK como: "zk-SNARK permite que alguém (o provador) prove a outra pessoa (o verificador) que ele não confia que conhece alguns dados sem ter para revelar qualquer informação sobre os dados em si.”
O curso do MIT define desta forma: "Protocolos de conhecimento zero me permitem provar que conheço um fato sem lhe contar o fato em si."
Isto tem grande valor de aplicação no contexto do blockchain porque:
Em resumo, as provas de conhecimento zero têm duas propriedades principais:
Esta é a explicação clássica das provas de conhecimento zero, mas ainda parece um enigma – como alguém pode provar que sabe algo sem compartilhar a informação?
Vejamos a definição novamente, mas desta vez faremos um truque de mágica.
A magia em si é uma prova de conhecimento zero
Simplificando, em um show de mágica, a própria “mágica” é uma prova de conhecimento zero. Para completar um truque de mágica, o "mágico" precisa saber o "segredo" por trás dele. Somente conhecendo esse segredo eles poderão realizar a performance, mas certamente não querem revelar esse segredo ao "público" - isso obviamente destruirá o efeito da magia.
"Segredo" corresponde aos "dados" originais;
"Magia" corresponde a "prova";
"Mágico" corresponde a "Provador";
*"Público" corresponde a "Verificador". *
A seguir, traremos a definição “avançada” de prova de conhecimento zero do parágrafo anterior para esta mágica, **imaginemos o mágico como o “provador” e o público como o “verificador”. **
**O show de mágica é o processo em que o “provador” prova ao “verificador”. **Se a performance for bem-sucedida, equivale a provar que é eficaz, e o público também pode confirmar que o mágico deve entender o segredo por trás dela; Se a performance falhar, equivale a provar que é inválido, e o público ficará desapontado. Esteja ciente de que o mágico pode não saber o truque.
Obviamente, a magia demonstra claramente a privacidade das provas de conhecimento zero porque o público nunca é informado qual é o segredo por trás dela. E quanto à escalabilidade? Vamos continuar voltando a esta metáfora…
Se o público quiser saber se o mágico dominou o segredo (se o “provador” conhece os “dados” originais), eles podem pular a apresentação normal e apenas pedir ao mágico que compartilhe o segredo por trás disso. No entanto, as técnicas mágicas são geralmente bastante complexas e complicadas. É difícil para o público entender o mecanismo de design e os efeitos de implementação dessas técnicas em um curto período de tempo, muito menos dominá-las completamente. O mágico pode até fornecer uma técnica errada. e o público ficará desapontado. Também é difícil dizer se é genuíno ou não. Portanto, muitas vezes leva muito tempo e uma grande carga de trabalho para concluir a prova analisando o próprio segredo.
Assim como analisar diretamente os "dados" originais é mais demorado e trabalhoso, testar a "prova" será mais eficiente. O que está por trás disso é a escalabilidade das provas de conhecimento zero.
Use cartas de baralho como exemplo
Para dar um exemplo simples, suponha que eu me gabe de ter a habilidade de "embaralhar reversamente" e ser capaz de embaralhar um baralho de cartas caóticas até obter o efeito desejado. Então, como posso provar isso para você?
A maneira mais eficiente é embaralhar diretamente um baralho de cartas com um determinado padrão para você. Ao ver esse baralho de cartas, você pode confirmar que tenho essa habilidade. Isso não exige que eu compartilhe minhas habilidades com você , mas também é melhor que o seu. Aprender lentamente sozinho será mais rápido.
Em suma, espero que esta analogia ajude a desmistificar as provas de conhecimento zero. Este conjunto de explicações sobre "mágica", "secreto", "mágico" e "público" pode ser usado como um modelo eficaz para a compreensão das principais características de provas de conhecimento zero e ajuda mais Muitos usuários comuns estão expostos a esse conceito.
Novamente, a magia é essencialmente prova de conhecimento zero, e a prova de conhecimento zero é o mesmo que magia. **