Le système moderne des zk-SNARKs trouve son origine dans un article coécrit en 1985 par Goldwasser, Micali et Rackoff. Cet article explore la quantité de connaissances nécessaires pour prouver la véracité d'une déclaration à travers un nombre limité d'interactions dans un système interactif. Si un échange de connaissances sans révélation est possible, on parle de zk-SNARKs. Ce type de système interactif ne peut atteindre la véracité qu'au sens probabiliste, et non de manière mathématiquement prouvable.
Pour surmonter ce défaut, des systèmes non interactifs ont vu le jour, qui possèdent la complétude, devenant le choix idéal pour les systèmes de zk-SNARKs. Les premiers systèmes de zk-SNARKs présentaient des insuffisances en termes d'efficacité et de praticité, se limitant principalement à un niveau théorique. Au cours de la dernière décennie, avec l'essor de la cryptographie dans le domaine des cryptomonnaies, les zk-SNARKs sont progressivement devenus une direction de recherche clé.
La percée majeure des zk-SNARKs a été proposée par Groth en 2010 avec les preuves non interactives à courtes paires, qui ont jeté les bases théoriques des zk-SNARKs. En 2015, Zcash a été le premier à appliquer les zk-SNARKs à la protection de la vie privée des transactions, ouvrant la voie à l'intégration des zk-SNARKs avec les contrats intelligents, élargissant considérablement les cas d'utilisation.
D'autres résultats académiques importants incluent : le protocole Pinocchio de 2013, l'algorithme Groth16 de 2016, les Bulletproofs de 2017, ainsi que les zk-STARKs proposés en 2018. Ces avancées ont fortement propulsé le développement des zk-SNARKs de la théorie à la pratique.
zk-SNARKs des applications principales
Les deux principales applications des zk-SNARKs sont la protection de la vie privée et l'extensibilité. Les transactions privées ont suscité un grand intérêt dans les premières phases, avec des projets représentatifs comme Zcash et Monero. Avec le passage d'Ethereum à une approche d'extensibilité centrée sur les rollups, les solutions d'extensibilité basées sur les zk-SNARKs sont à nouveau devenues un point focal de l'industrie.
transactions privées
Les transactions privées ont déjà plusieurs projets concrets, tels que Zcash et Tornado utilisant des SNARK, et Monero utilisant des Bulletproof. Prenons Zcash comme exemple, son processus de transaction zk-SNARKs comprend des étapes telles que la configuration du système, la génération de clés, la frappe, le transfert, la validation et la réception, assurant la protection de la confidentialité des montants et des adresses des transactions.
Cependant, des projets comme Zcash présentent encore certaines limitations. Par exemple, Zcash est basé sur un modèle UTXO, et certaines informations de transaction sont simplement masquées plutôt que complètement cachées. De plus, son taux d'utilisation est relativement faible, ce qui indique que la demande réelle pour les transactions privées pourrait ne pas être à la hauteur des attentes. En revanche, le design de Tornado, qui utilise un grand pool de mélange unique, est plus universel et est basé sur le réseau Ethereum, offrant une meilleure évolutivité.
applications d'extension
Les applications de zero-knowledge proofs en matière d'évolutivité se manifestent principalement par les zk-rollups. Les zk-rollups comprennent deux rôles : le Sequencer et l'Aggregator. Le Sequencer est responsable de l'emballage des transactions, tandis que l'Aggregator regroupe un grand nombre de transactions et génère des zk-SNARKs pour mettre à jour l'état de la chaîne principale.
Les avantages des zk-rollups résident dans des frais bas, une finalité rapide et une protection de la vie privée, mais ils présentent également des inconvénients tels qu'une grande charge de calcul et la nécessité possible d'une configuration de confiance. Actuellement, les principaux projets de zk-rollups sur le marché comprennent StarkNet, zkSync, Aztec Connect et Polygon Hermez, chacun mettant l'accent sur différents aspects tels que la voie technologique et la compatibilité avec l'EVM.
La compatibilité EVM a toujours été un défi pour les systèmes à preuve zéro connaissance. Actuellement, il existe principalement deux solutions dans l'industrie : être entièrement compatible avec les opcodes Solidity, ou concevoir une nouvelle machine virtuelle conviviale pour les ZK et compatible avec Solidity. Ces dernières années, la technologie a évolué rapidement, et la compatibilité EVM a considérablement progressé, ce qui aura un impact majeur sur l'écosystème de développement des preuves zéro connaissance et sur le paysage concurrentiel.
Aperçu du principe de réalisation des zk-SNARKs
zk-SNARK( est l'un des systèmes de preuve à connaissance nulle les plus largement utilisés actuellement. Il possède des caractéristiques telles que la connaissance nulle, la concision, le caractère non interactif, la fiabilité et la connaissance.
Le processus de preuve zk-SNARKs Groth16 comprend principalement les étapes suivantes :
Convertir le problème en circuit
Convertir le circuit en forme de Système de Contraintes de Rang-1 (R1CS) )
Convertir R1CS en QAP(Programmes Arithmétiques Quadratiques)
Établir une configuration de confiance, générer des clés de preuve et des clés de vérification
Génération et vérification des preuves zk-SNARKs
La technologie des zk-SNARKs se développe rapidement et devrait jouer un rôle important dans de nombreux domaines à l'avenir. Avec l'amélioration de la compatibilité EVM et l'apparition de nouveaux algorithmes, nous pouvons nous attendre à ce que les zk-SNARKs apportent plus d'applications innovantes dans la blockchain et d'autres domaines.
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.
17 J'aime
Récompense
17
5
Reposter
Partager
Commentaire
0/400
retroactive_airdrop
· 07-14 21:54
Ce n'est pas le sauveur des profiteurs de GMX et SNX ?
Voir l'originalRépondre0
HappyMinerUncle
· 07-12 06:03
Ah là là, qui peut comprendre quelque chose d'aussi compliqué.
Voir l'originalRépondre0
MetaMisery
· 07-12 06:03
Un étudiant de troisième cycle crache du sang en écrivant sa thèse, encore une fois les zk-SNARKs..
Voir l'originalRépondre0
MetaMaximalist
· 07-12 05:55
lmao groth est si 2017... vous devez vraiment rattraper votre retard sur les snarks récursifs fr
Voir l'originalRépondre0
SelfRugger
· 07-12 05:46
Encore dans la théorie, quelqu'un a-t-il réussi à le faire ?
zk-SNARKs : Innovations technologiques et perspectives d'application de la théorie à la pratique
Développement et applications des zk-SNARKs
zk-SNARKs de l'histoire
Le système moderne des zk-SNARKs trouve son origine dans un article coécrit en 1985 par Goldwasser, Micali et Rackoff. Cet article explore la quantité de connaissances nécessaires pour prouver la véracité d'une déclaration à travers un nombre limité d'interactions dans un système interactif. Si un échange de connaissances sans révélation est possible, on parle de zk-SNARKs. Ce type de système interactif ne peut atteindre la véracité qu'au sens probabiliste, et non de manière mathématiquement prouvable.
Pour surmonter ce défaut, des systèmes non interactifs ont vu le jour, qui possèdent la complétude, devenant le choix idéal pour les systèmes de zk-SNARKs. Les premiers systèmes de zk-SNARKs présentaient des insuffisances en termes d'efficacité et de praticité, se limitant principalement à un niveau théorique. Au cours de la dernière décennie, avec l'essor de la cryptographie dans le domaine des cryptomonnaies, les zk-SNARKs sont progressivement devenus une direction de recherche clé.
La percée majeure des zk-SNARKs a été proposée par Groth en 2010 avec les preuves non interactives à courtes paires, qui ont jeté les bases théoriques des zk-SNARKs. En 2015, Zcash a été le premier à appliquer les zk-SNARKs à la protection de la vie privée des transactions, ouvrant la voie à l'intégration des zk-SNARKs avec les contrats intelligents, élargissant considérablement les cas d'utilisation.
D'autres résultats académiques importants incluent : le protocole Pinocchio de 2013, l'algorithme Groth16 de 2016, les Bulletproofs de 2017, ainsi que les zk-STARKs proposés en 2018. Ces avancées ont fortement propulsé le développement des zk-SNARKs de la théorie à la pratique.
zk-SNARKs des applications principales
Les deux principales applications des zk-SNARKs sont la protection de la vie privée et l'extensibilité. Les transactions privées ont suscité un grand intérêt dans les premières phases, avec des projets représentatifs comme Zcash et Monero. Avec le passage d'Ethereum à une approche d'extensibilité centrée sur les rollups, les solutions d'extensibilité basées sur les zk-SNARKs sont à nouveau devenues un point focal de l'industrie.
transactions privées
Les transactions privées ont déjà plusieurs projets concrets, tels que Zcash et Tornado utilisant des SNARK, et Monero utilisant des Bulletproof. Prenons Zcash comme exemple, son processus de transaction zk-SNARKs comprend des étapes telles que la configuration du système, la génération de clés, la frappe, le transfert, la validation et la réception, assurant la protection de la confidentialité des montants et des adresses des transactions.
Cependant, des projets comme Zcash présentent encore certaines limitations. Par exemple, Zcash est basé sur un modèle UTXO, et certaines informations de transaction sont simplement masquées plutôt que complètement cachées. De plus, son taux d'utilisation est relativement faible, ce qui indique que la demande réelle pour les transactions privées pourrait ne pas être à la hauteur des attentes. En revanche, le design de Tornado, qui utilise un grand pool de mélange unique, est plus universel et est basé sur le réseau Ethereum, offrant une meilleure évolutivité.
applications d'extension
Les applications de zero-knowledge proofs en matière d'évolutivité se manifestent principalement par les zk-rollups. Les zk-rollups comprennent deux rôles : le Sequencer et l'Aggregator. Le Sequencer est responsable de l'emballage des transactions, tandis que l'Aggregator regroupe un grand nombre de transactions et génère des zk-SNARKs pour mettre à jour l'état de la chaîne principale.
Les avantages des zk-rollups résident dans des frais bas, une finalité rapide et une protection de la vie privée, mais ils présentent également des inconvénients tels qu'une grande charge de calcul et la nécessité possible d'une configuration de confiance. Actuellement, les principaux projets de zk-rollups sur le marché comprennent StarkNet, zkSync, Aztec Connect et Polygon Hermez, chacun mettant l'accent sur différents aspects tels que la voie technologique et la compatibilité avec l'EVM.
La compatibilité EVM a toujours été un défi pour les systèmes à preuve zéro connaissance. Actuellement, il existe principalement deux solutions dans l'industrie : être entièrement compatible avec les opcodes Solidity, ou concevoir une nouvelle machine virtuelle conviviale pour les ZK et compatible avec Solidity. Ces dernières années, la technologie a évolué rapidement, et la compatibilité EVM a considérablement progressé, ce qui aura un impact majeur sur l'écosystème de développement des preuves zéro connaissance et sur le paysage concurrentiel.
Aperçu du principe de réalisation des zk-SNARKs
zk-SNARK( est l'un des systèmes de preuve à connaissance nulle les plus largement utilisés actuellement. Il possède des caractéristiques telles que la connaissance nulle, la concision, le caractère non interactif, la fiabilité et la connaissance.
Le processus de preuve zk-SNARKs Groth16 comprend principalement les étapes suivantes :
La technologie des zk-SNARKs se développe rapidement et devrait jouer un rôle important dans de nombreux domaines à l'avenir. Avec l'amélioration de la compatibilité EVM et l'apparition de nouveaux algorithmes, nous pouvons nous attendre à ce que les zk-SNARKs apportent plus d'applications innovantes dans la blockchain et d'autres domaines.