O sistema de prova de conhecimento zero origina-se do artigo de 1985 de Goldwasser, Micali e Rackoff, que explora a quantidade de conhecimento que deve ser trocado para provar a validade de uma declaração em sistemas interativos. Se a troca de conhecimento puder ser realizada sem revelar informações, chama-se prova de conhecimento zero. Os primeiros sistemas de prova de conhecimento zero tinham eficiência e usabilidade inferiores, permanecendo principalmente em um nível teórico. Na última década, com a ascensão da criptografia no campo das criptomoedas, as provas de conhecimento zero passaram por um rápido desenvolvimento.
O avanço crucial das zk-SNARKs foi a teoria proposta por Groth em 2010. Em 2015, o Zcash aplicou zk-SNARKs na proteção da privacidade das transações, abrindo cenários de aplicação mais amplos. Outros avanços importantes incluem:
Protocolo Pinocchio de 2013: comprimido o tempo de prova e verificação
Em 2016, Groth16: reduziu o tamanho da prova e melhorou a eficiência da verificação
2017 Bulletproofs: Proposta de zk-SNARKs curtas e não interativas
2018年zk-STARKs: protocolo sem configuração confiável
Além disso, PLONK, Halo2 e outros também fizeram importantes melhorias nos zk-SNARKs.
Dois, as principais aplicações de zk-SNARKs
zk-SNARKs atualmente são aplicados principalmente em duas áreas: proteção de privacidade e escalabilidade.
proteção de privacidade
Os primeiros projetos de transações privadas, como Zcash e Monero, tiveram grande atenção, mas à medida que a demanda diminuiu, gradualmente passaram para o segundo plano. Os principais projetos de transações privadas incluem:
Zcash: usar zk-SNARKs
Monero: usar Bulletproof
Tornado Cash: um pool de mistura baseado em Ethereum
escalabilidade
zk-SNARKs na aplicação de escalabilidade é principalmente zk-rollup. zk-rollup inclui duas categorias de papéis: Sequencer e Aggregator:
O Sequencer é responsável por empacotar transações
O agregador é responsável por combinar transações e gerar zk-SNARKs
As vantagens da zk-rollup são custos baixos e rapidez na finalização, enquanto as desvantagens são a alta carga computacional e a necessidade de configurações confiáveis.
Os principais projetos de zk-rollup incluem: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, entre outros. Eles diferem na escolha de SNARK/STARK e na compatibilidade com EVM.
Três, os princípios básicos do ZK-SNARKs
zk-SNARKs representa provas de conhecimento não interativas concisas de zero conhecimento, com as seguintes características:
Zero Knowledge: o processo de prova não revela informações adicionais
Succinto: Verificação sucinta
Não interativo: não interativo
Argumentos de Conhecimento: o provador precisa saber informações válidas
O processo de prova zk-SNARK de Groth16 é o seguinte:
Converter o problema em circuitos
Converter o circuito para a forma R1CS
R1CS convertido para a forma QAP
Gerar parâmetros de configuração confiáveis
Gerar e verificar provas
zk-SNARKs ainda estão em rápido desenvolvimento e espera-se que desempenhem um papel importante em mais áreas no futuro.
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.
7 gostos
Recompensa
7
5
Partilhar
Comentar
0/400
OnchainUndercover
· 08-04 17:55
Por exemplo, realmente não entendo.
Ver originalResponder0
EthMaximalist
· 08-04 17:50
Não é só zk-snark? Viu isso demais.
Ver originalResponder0
NftRegretMachine
· 08-04 17:45
Não consigo acompanhar o raciocínio dos pros.
Ver originalResponder0
LiquidatedAgain
· 08-04 17:45
Outra vez a aproveitar o calor, fazer as pessoas de parvas, certo? Estão de olho na minha posição de liquidação.
Ver originalResponder0
MoneyBurnerSociety
· 08-04 17:42
Estudou-se zero proof durante dez anos, a conta ainda tem saldo zero...
Análise abrangente dos três grandes domínios dos zk-SNARKs: história, aplicações e princípios técnicos
zk-SNARKs da História, Aplicações e Princípios
Um. O desenvolvimento de zk-SNARKs
O sistema de prova de conhecimento zero origina-se do artigo de 1985 de Goldwasser, Micali e Rackoff, que explora a quantidade de conhecimento que deve ser trocado para provar a validade de uma declaração em sistemas interativos. Se a troca de conhecimento puder ser realizada sem revelar informações, chama-se prova de conhecimento zero. Os primeiros sistemas de prova de conhecimento zero tinham eficiência e usabilidade inferiores, permanecendo principalmente em um nível teórico. Na última década, com a ascensão da criptografia no campo das criptomoedas, as provas de conhecimento zero passaram por um rápido desenvolvimento.
O avanço crucial das zk-SNARKs foi a teoria proposta por Groth em 2010. Em 2015, o Zcash aplicou zk-SNARKs na proteção da privacidade das transações, abrindo cenários de aplicação mais amplos. Outros avanços importantes incluem:
Além disso, PLONK, Halo2 e outros também fizeram importantes melhorias nos zk-SNARKs.
Dois, as principais aplicações de zk-SNARKs
zk-SNARKs atualmente são aplicados principalmente em duas áreas: proteção de privacidade e escalabilidade.
proteção de privacidade
Os primeiros projetos de transações privadas, como Zcash e Monero, tiveram grande atenção, mas à medida que a demanda diminuiu, gradualmente passaram para o segundo plano. Os principais projetos de transações privadas incluem:
escalabilidade
zk-SNARKs na aplicação de escalabilidade é principalmente zk-rollup. zk-rollup inclui duas categorias de papéis: Sequencer e Aggregator:
As vantagens da zk-rollup são custos baixos e rapidez na finalização, enquanto as desvantagens são a alta carga computacional e a necessidade de configurações confiáveis.
Os principais projetos de zk-rollup incluem: StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, entre outros. Eles diferem na escolha de SNARK/STARK e na compatibilidade com EVM.
Três, os princípios básicos do ZK-SNARKs
zk-SNARKs representa provas de conhecimento não interativas concisas de zero conhecimento, com as seguintes características:
O processo de prova zk-SNARK de Groth16 é o seguinte:
zk-SNARKs ainda estão em rápido desenvolvimento e espera-se que desempenhem um papel importante em mais áreas no futuro.