Le système de preuve à divulgation nulle de connaissance (zk-SNARKs) provient d'un article de 1985 de Goldwasser, Micali et Rackoff, qui examine la quantité de connaissances nécessaires pour prouver la validité d'une affirmation dans un système d'interaction. Si un échange à divulgation nulle est possible, on parle de preuve à divulgation nulle de connaissance. Les premiers systèmes de preuve à divulgation nulle de connaissance étaient peu efficaces et utilisables, restant principalement au niveau théorique. Au cours de la dernière décennie, avec l'essor de la cryptographie dans le domaine des cryptomonnaies, la preuve à divulgation nulle de connaissance a connu un développement rapide.
La percée clé des zk-SNARKs est la théorie proposée par Groth en 2010. En 2015, Zcash a appliqué les zk-SNARKs à la protection de la vie privée des transactions, ouvrant ainsi des scénarios d'application plus larges. D'autres avancées importantes incluent :
Protocole Pinocchio de 2013 : compression du temps de preuve et de vérification
2016 Groth16 : a réduit la taille des preuves, amélioré l'efficacité de vérification
2017 Bulletproofs : introduction des zk-SNARKs courts et non interactifs
2018 zk-STARKs : protocole sans configuration de confiance
De plus, PLONK, Halo2 et d'autres ont également apporté des améliorations importantes aux zk-SNARKs.
II. Les principales applications des zk-SNARKs
Les zk-SNARKs sont principalement utilisés dans deux domaines : la protection de la vie privée et l'extension.
protection de la vie privée
Les projets de transactions privées des débuts comme Zcash et Monero ont suscité beaucoup d'attention, mais avec la diminution de la demande, ils sont progressivement devenus moins en vue. Les principaux projets de transactions privées comprennent :
Zcash: utilise des zk-SNARKs
Monero : utiliser Bulletproof
Tornado Cash: un pool de mélange basé sur Ethereum
mise à l'échelle
Les applications des zk-SNARKs en matière d'extensibilité se concentrent principalement sur les zk-rollups. Les zk-rollups comprennent deux types de rôles : Sequencer et Aggregator.
Le séquenceur est responsable de l'emballage des transactions
L'agrégateur est responsable de la fusion des transactions et de la génération de zk-SNARKs.
Les avantages des zk-rollups sont des frais bas et une finalité rapide, tandis que les inconvénients sont une charge de calcul importante et la nécessité d'une configuration de confiance.
Les projets zk-rollup les plus populaires incluent : StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, etc. Ils diffèrent en termes de choix SNARK/STARK et de compatibilité EVM.
Trois, les principes fondamentaux des zk-SNARKs
zk-SNARKs représente des preuves de connaissance succinctes non interactives à divulgation nulle, avec les caractéristiques suivantes :
Zero Knowledge : le processus de preuve ne divulgue pas d'informations supplémentaires
Succinct: vérification concise
Non interactif : non interactif
Arguments of Knowledge : le prouveur doit connaître des informations valides
Le processus de preuve zk-SNARKs de Groth16 est le suivant :
Convertir le problème en circuit
Convertir le circuit en forme R1CS
Conversion de R1CS en forme QAP
Générer des paramètres de configuration fiables
Génération et vérification des preuves
zk-SNARKs est toujours en plein développement et devrait jouer un rôle important dans de nombreux domaines à l'avenir.
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
7 J'aime
Récompense
7
5
Partager
Commentaire
0/400
OnchainUndercover
· Il y a 10h
Prenons un exemple, effectivement je ne comprends pas.
Voir l'originalRépondre0
EthMaximalist
· Il y a 10h
Ce n'est pas juste zk-snark ? Tu en as trop vu.
Voir l'originalRépondre0
NftRegretMachine
· Il y a 10h
Je ne peux pas suivre le raisonnement des pros.
Voir l'originalRépondre0
LiquidatedAgain
· Il y a 10h
Encore là pour se faire prendre pour des cons, n'est-ce pas ? Vous visez mon prix de liquidation.
Voir l'originalRépondre0
MoneyBurnerSociety
· Il y a 10h
Après dix ans de recherche sur le zero proof, le solde du compte est toujours à zéro...
Analyse complète des trois grands domaines des zk-SNARKs : histoire, applications et principes techniques
Histoire, applications et principes des zk-SNARKs
I. L'évolution des zk-SNARKs
Le système de preuve à divulgation nulle de connaissance (zk-SNARKs) provient d'un article de 1985 de Goldwasser, Micali et Rackoff, qui examine la quantité de connaissances nécessaires pour prouver la validité d'une affirmation dans un système d'interaction. Si un échange à divulgation nulle est possible, on parle de preuve à divulgation nulle de connaissance. Les premiers systèmes de preuve à divulgation nulle de connaissance étaient peu efficaces et utilisables, restant principalement au niveau théorique. Au cours de la dernière décennie, avec l'essor de la cryptographie dans le domaine des cryptomonnaies, la preuve à divulgation nulle de connaissance a connu un développement rapide.
La percée clé des zk-SNARKs est la théorie proposée par Groth en 2010. En 2015, Zcash a appliqué les zk-SNARKs à la protection de la vie privée des transactions, ouvrant ainsi des scénarios d'application plus larges. D'autres avancées importantes incluent :
De plus, PLONK, Halo2 et d'autres ont également apporté des améliorations importantes aux zk-SNARKs.
II. Les principales applications des zk-SNARKs
Les zk-SNARKs sont principalement utilisés dans deux domaines : la protection de la vie privée et l'extension.
protection de la vie privée
Les projets de transactions privées des débuts comme Zcash et Monero ont suscité beaucoup d'attention, mais avec la diminution de la demande, ils sont progressivement devenus moins en vue. Les principaux projets de transactions privées comprennent :
mise à l'échelle
Les applications des zk-SNARKs en matière d'extensibilité se concentrent principalement sur les zk-rollups. Les zk-rollups comprennent deux types de rôles : Sequencer et Aggregator.
Les avantages des zk-rollups sont des frais bas et une finalité rapide, tandis que les inconvénients sont une charge de calcul importante et la nécessité d'une configuration de confiance.
Les projets zk-rollup les plus populaires incluent : StarkNet, zkSync, Aztec Connect, Polygon Hermez, Loopring, Scroll, etc. Ils diffèrent en termes de choix SNARK/STARK et de compatibilité EVM.
Trois, les principes fondamentaux des zk-SNARKs
zk-SNARKs représente des preuves de connaissance succinctes non interactives à divulgation nulle, avec les caractéristiques suivantes :
Le processus de preuve zk-SNARKs de Groth16 est le suivant :
zk-SNARKs est toujours en plein développement et devrait jouer un rôle important dans de nombreux domaines à l'avenir.