Na conferência EDCON em Montenegro, @VitalikButerin explicou os desafios técnicos da rede Ethereum em termos de expansão, privacidade, segurança, etc., e finalmente concluiu que zk-SNARK será tão importante quanto o blockchain nos próximos 10 anos. O que é zk-SNARK que V God não mede esforços para promover? Quais problemas atuais de blockchain a tecnologia zk-SNARK pode resolver? A seguir, Thread, deixe-me lançar algumas ideias na discussão. 1/n

SNARK significa (argumento de conhecimento não interativo sucinto), que é um argumento de conhecimento não interativo conciso. Seu núcleo é construir um sistema de prova por meio de algoritmos matemáticos, permitindo ao verificador verificar a exatidão dos próprios dados sem conhecer o original. dados. O processo de implementação envolve tecnologias complexas, como circuitos verificáveis, princípios de criptografia de curva elíptica, funções hash, algoritmos de criptografia, etc., portanto não entrarei em muitos detalhes aqui. 2/n

Como o SNARK pode compactar os dados originais em uma prova muito pequena para verificar a exatidão dos dados de entrada, juntamente com a base técnica de conhecimento zero do zk, o zk-SNARK pode fazer grandes avanços em escalabilidade, privacidade, segurança e outros aspectos. Especialmente depois que a Ethereum lançou o Algoritmo Aleatório Makarov (MAST) em 2018, o zk-SNARK pode ser integrado diretamente ao sistema Ethereum para resolver o atual problema de gargalo da rede Ethereum. 3/n

É por isso que, embora a tecnologia zk-STARK nativa do @Statrknet possa lidar com problemas de computação mais complexos (evitando ataques de computação quântica, etc.), o zk-SNARK tem maiores expectativas. Em particular, alguns dos paradoxos do blockchain que deixam todos confusos podem ser efetivamente resolvidos após a substituição da camada inferior do zk-SNARK, tais como: proteção da privacidade e possíveis problemas de lavagem de dinheiro de hackers, problemas de recuperação social que não podem escapar da interferência de instituições centralizadas , etc. 4/n

Vamos falar primeiro sobre escalabilidade. zk-rollup está muito à frente do op-rollup e é uma solução final para a segunda camada do Ethereum. OP primeiro adota o otimismo para todas as transações e, em seguida, passa por um período de desafio à prova de fraude de 7 dias após enviá-lo à cadeia. ZK pode garantir de forma rápida e segura que todas as transações na cadeia sejam legais com base em algoritmos matemáticos. 5/n

https://twitter.com/tmel0211/status/1649274901596094464?s=20 Aqui zk-SNARK resolve um problema paradoxal de escalabilidade do Ethereum, a contradição entre escalabilidade e centralização, embora a solução op-rollup seja realmente implementada no cenário É mais maduro, mas ainda apresenta o risco potencial de centralização no sequenciador e no processo de verificação de desafio otimista. É claro que podemos ser “otimistas”, mas para conseguir um rollup absolutamente descentralizado, devemos ter o SNARK. 6/n

Vejamos a privacidade. Com base no contexto atual da tecnologia blockchain, nosso desenvolvimento de tecnologia de privacidade cairá em um paradoxo lógico. Será que, em última análise, servirá aos hackers? No entanto, se for baseado em zk-SNARK, uma solução de Prova de Inocência (POI) pode ser desenvolvida para proteger os usuários de depositar e sacar dinheiro por meio da privacidade, evitando que criminosos o utilizem para fazer o mal. Especificamente, a tecnologia POI pode ser aplicada a protocolos semelhantes ao Tornado 7/n;

A tecnologia POI fornece a cada usuário uma impressão digital gerada com base no histórico do estado do blockchain e nas chaves privadas. Quando um hacker tenta lavar dinheiro por meio do pool de transações de mistura de moedas do Tornado, se o endereço de solicitação de retirada e o endereço de depósito fornecidos por ele forem inconsistentes (se o endereço privado). chave for diferente), ele será interceptado e retornado ao endereço de mixagem original. Ativos não identificados iguais a hackers não podem escapar do rastreamento por meio do sistema de mistura de moedas 8/n;

Claro, você também pode construir diretamente uma árvore de Merkel da lista de exclusão, como Buterin apontou em seu discurso, o que equivale a adicionar um mecanismo de lista negra ao protocolo tornado. Usuários normais podem gerar provas inocentes se seus depósitos não estiverem na lista, e. então será normal. Com o Tornado, o oposto é verdadeiro. Embora a lista negra seja eficaz, ela acarreta o risco de centralização. É mais eficaz bloquear transações com chaves privadas inconsistentes de depósito e retirada.

9/n Por fim, vamos falar sobre a questão do paradoxo anticensura (segurança) de terceiros. Não há dúvida de que a função de Recuperação Social é o caminho inevitável para a aplicação em larga escala do blockchain. No entanto, não é difícil ver, pelos protestos da comunidade que Leager sofreu ao abrir esta função há dois dias, que a Recuperação Social não pode ser construída. a premissa de que o terceiro é centralizado. E a tecnologia zk-SNARK pode resolver este problema. 10/n

Simplificando, quando um usuário gera vários fragmentos de chave privada, ele pode criptografar os fragmentos e usar o sistema de certificação zk-SNARK para gerar um certificado e, em seguida, distribuir o certificado para uma instituição ou amigo confiável. Se a chave privada do usuário for perdida, pode ser solicitado O terceiro fornece certificados de dados fragmentados e, em seguida, usa zk-SNARK para verificar a precisão desses certificados, realizando assim a função de recuperação social sem revelar a fragmentação da chave privada. 11/01

Depois que o conteúdo acima for totalmente compreendido, não é difícil ver a importância da tecnologia zk-SNARK para o sistema blockchain. Ela pode resolver vários problemas na rede Ethereum atual, como escalabilidade e centralização, privacidade e maldade, segurança e anti-. censura. O problema do paradoxo do desenvolvimento. Portanto, Buterin disse que zk-SNARK será tão importante quanto o blockchain em 10 anos. Talvez a camada inferior do Ethereum também seja zk-SNARK. Bem, zk-SNARKS governará tudo ao meu redor. 12/12