Recentemente tenho estudado a prova de conhecimento zero, que costuma ser chamada de zkp.

No passado, eu só pensava que zk era melhor que op, por exemplo, era mais rápido, mais conveniente, mais seguro, etc. Essas observações gerais na verdade ignoraram um ponto importante, ou seja, por que é melhor que op, e o que é a essência do zk?

Um dos métodos de prova usados ​​por zk é chamado de snark. Este método de prova é muito interessante. O provador irá gerar uma prova para indicar que um determinado cálculo foi concluído, e o verificador só precisa verificar a exatidão da prova para confirmar. Isso realmente aconteceu.

Esta descrição pode ser um pouco abstrata. Utilizo uma metáfora mais vívida para descrever a questão da “prova”.

Quando você tem um grande modelo de IA que precisa ser calculado, mas não tem as ferramentas de computação correspondentes em mãos, Xiao Ming aparece e diz que tem uma máquina disposta a ajudá-lo a calculá-lo, desde que você pague uma taxa a ele. Dez dias depois, Xiao Ming fornece um resultado de IA: “O mercado de ações de amanhã cairá”. Neste momento, como você avalia se Xiao Ming realmente o ajudou a calcular? Ou devo apenas contar um resultado e deixar para lá? Em outras palavras, “Xiao Ming é confiável?” A melhor forma de verificar é encontrar outra pessoa para fazer o cálculo novamente e comparar os resultados das duas pessoas. No entanto, isso acarretará em custos duplos. então apresente outra pessoa. O problema é que você não tem as ferramentas para realizar esse cálculo complexo de IA.

Então, como resolver esse problema de crise de confiança?

Matemáticos inteligentes inventaram um método de prova chamado snark. A característica desse método é que cada etapa do processo de cálculo é registrada, e esses resultados intermediários são formados por meio de uma série de alterações algébricas para formar uma pequena prova, que é a chamada prova. . "Prova", a característica desta prova é que ela está fortemente relacionada ao processo de cálculo. Se o processo de cálculo não corresponder às expectativas, a prova mudará.

Como verificador, ou seja, você, você só precisa provar que essa prova está correta para garantir que Xiao Ming fez o que eu disse e não inventou um resultado para mim.

Devo lembrar que o processo de geração de provas é muito complicado, mas o processo de verificação de provas é muito simples. Ou seja, como aceitante, só preciso garantir que a prova está correta, então a transação é razoável. , o que economiza muito tempo de verificação de despesas, neste caso você não precisa procurar outra pessoa para fazer os cálculos sozinho.

Então, essencialmente, o zkp resolve o problema da confiança entre as pessoas. Como dois estranhos podem se comunicar e negociar de forma eficaz sem o envolvimento de terceiros, pois o zkp oferece uma boa solução?

Da mesma forma, quando mapeado para o mundo blockchain, por que a camada 2 usa zkp? Porque cálculos complexos podem ser colocados fora da cadeia, e o processo de upload para a cadeia só precisa verificar uma prova, ou mesmo salvar uma prova. is Para blocos mainnet onde o terreno é valioso, é uma das melhores soluções para expansão de capacidade.

Através da minha compreensão do zkp, percebi duas coisas: primeiro, o zkp pode não apenas resolver o problema de congestionamento do Ethereum, mas também fornecer um método de prova de segurança na vida real e acelerar a cooperação entre as pessoas, em segundo lugar, a maioria das inovações das pessoas são, na verdade; para reparar os maus hábitos das pessoas. Se eles não puderem ser reparados, eles irão atendê-los. Por exemplo, as pessoas nascem para trapacear, então a tecnologia precisa ser introduzida para evitá-lo. mais Se você estiver feliz, haverá oportunidades de negócios.