Introduction à l'histoire, aux applications et aux principes des zk-SNARKs
I. L'évolution des zk-SNARKs
Le système moderne des zk-SNARKs a été introduit par l'article de 1985 de Goldwasser, Micali et Rackoff. Cet article explore la quantité de connaissances nécessaires à échanger pour prouver la véracité d'une affirmation à travers de multiples interactions dans un système interactif. Si un échange de connaissances sans révélation est possible, il est alors qualifié de zk-SNARK. Les premiers systèmes de zk-SNARKs manquaient d'efficacité et de convivialité, 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, les zk-SNARKs sont devenus un axe de recherche important.
La percée clé des zk-SNARKs est l'article publié par Groth en 2010, qui a posé les bases théoriques. En 2015, Zcash a appliqué les zk-SNARKs à la protection de la vie privée des transactions, ce qui représente une avancée importante dans l'application des zk-SNARKs. Depuis lors, les zk-SNARKs ont été combinés avec des contrats intelligents, élargissant constamment les cas d'utilisation.
D'autres résultats académiques importants comprennent : le protocole Pinocchio de 2013, l'algorithme Groth16 de 2016, l'algorithme Bulletproofs de 2017, le protocole zk-STARKs de 2018, etc. Ces avancées ont apporté d'importantes améliorations en termes de taille de preuve, d'efficacité de vérification, etc.
Deuxièmement, les principales applications des zk-SNARKs
Les deux applications les plus répandues des zk-SNARKs sont la protection de la vie privée et l'évolutivité.
En matière de protection de la vie privée, des projets représentatifs incluent Zcash, Monero, etc. Prenons Zcash comme exemple, il utilise des zk-SNARKs pour réaliser la confidentialité des transactions, les principales étapes incluent la configuration du système, la génération de clés, le minage, le transfert, la vérification et la réception, etc. Cependant, le taux d'utilisation des transactions privées de Zcash n'est pas élevé, ce qui montre que la demande de confidentialité n'a pas atteint les attentes.
En matière d'évolutivité, le ZK Rollup est une application importante. Le ZK Rollup comprend deux types de rôles : le Séquenceur et l'Aggérateur, qui réalisent l'évolutivité en traitant les transactions par lots et en générant des zk-SNARKs. Comparé à l'Optimistic Rollup, le ZK Rollup présente des avantages tels que des frais réduits et une finalité rapide, mais il fait également face à des défis tels qu'un volume de calcul important et la nécessité d'une configuration de confiance.
Les projets ZK Rollup les plus populaires incluent StarkNet, zkSync, Aztec, Polygon Hermez, etc. Sur le plan technique, ils choisissent principalement entre SNARK et STARK, ainsi que le support de la compatibilité EVM. La question de la compatibilité EVM a toujours été au cœur des préoccupations de l'industrie, et les récents progrès technologiques ont porté la compatibilité EVM à un nouveau niveau, ce qui influencera le développement de l'écosystème ZK.
Trois, les principes de base des zk-SNARKs
ZK-SNARKs est une réalisation importante des zk-SNARKs. Il possède des caractéristiques telles que la zero-knowledge, la concision et l'absence d'interaction.
Les étapes de base des zk-SNARKs incluent :
Convertir le problème en circuit
Convertir le circuit en forme R1CS
Conversion de R1CS en forme QAP
Établir une configuration de confiance, générer une clé de preuve et une clé de vérification
Générer et vérifier les preuves zk-SNARKs
Le cœur des zk-SNARKs réside dans la transformation d'un problème à l'aide de transformations mathématiques complexes en une forme qui peut être prouvée et vérifiée efficacement. Cela a jeté les bases de l'application étendue des zk-SNARKs dans des domaines tels que la blockchain.
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
Partager
Commentaire
0/400
SandwichHunter
· Il y a 21m
Ce niveau pour cette zk ? court terme il faut se baisser.
Voir l'originalRépondre0
TokenUnlocker
· 08-06 00:00
Cette technologie a quelque chose.
Voir l'originalRépondre0
MaticHoleFiller
· 08-05 23:50
Il se passe toujours de grandes choses dans la couche de confidentialité.
Développement et applications des zk-SNARKs : des percées théoriques à la pratique des ZK Rollup.
Introduction à l'histoire, aux applications et aux principes des zk-SNARKs
I. L'évolution des zk-SNARKs
Le système moderne des zk-SNARKs a été introduit par l'article de 1985 de Goldwasser, Micali et Rackoff. Cet article explore la quantité de connaissances nécessaires à échanger pour prouver la véracité d'une affirmation à travers de multiples interactions dans un système interactif. Si un échange de connaissances sans révélation est possible, il est alors qualifié de zk-SNARK. Les premiers systèmes de zk-SNARKs manquaient d'efficacité et de convivialité, 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, les zk-SNARKs sont devenus un axe de recherche important.
La percée clé des zk-SNARKs est l'article publié par Groth en 2010, qui a posé les bases théoriques. En 2015, Zcash a appliqué les zk-SNARKs à la protection de la vie privée des transactions, ce qui représente une avancée importante dans l'application des zk-SNARKs. Depuis lors, les zk-SNARKs ont été combinés avec des contrats intelligents, élargissant constamment les cas d'utilisation.
D'autres résultats académiques importants comprennent : le protocole Pinocchio de 2013, l'algorithme Groth16 de 2016, l'algorithme Bulletproofs de 2017, le protocole zk-STARKs de 2018, etc. Ces avancées ont apporté d'importantes améliorations en termes de taille de preuve, d'efficacité de vérification, etc.
Deuxièmement, les principales applications des zk-SNARKs
Les deux applications les plus répandues des zk-SNARKs sont la protection de la vie privée et l'évolutivité.
En matière de protection de la vie privée, des projets représentatifs incluent Zcash, Monero, etc. Prenons Zcash comme exemple, il utilise des zk-SNARKs pour réaliser la confidentialité des transactions, les principales étapes incluent la configuration du système, la génération de clés, le minage, le transfert, la vérification et la réception, etc. Cependant, le taux d'utilisation des transactions privées de Zcash n'est pas élevé, ce qui montre que la demande de confidentialité n'a pas atteint les attentes.
En matière d'évolutivité, le ZK Rollup est une application importante. Le ZK Rollup comprend deux types de rôles : le Séquenceur et l'Aggérateur, qui réalisent l'évolutivité en traitant les transactions par lots et en générant des zk-SNARKs. Comparé à l'Optimistic Rollup, le ZK Rollup présente des avantages tels que des frais réduits et une finalité rapide, mais il fait également face à des défis tels qu'un volume de calcul important et la nécessité d'une configuration de confiance.
Les projets ZK Rollup les plus populaires incluent StarkNet, zkSync, Aztec, Polygon Hermez, etc. Sur le plan technique, ils choisissent principalement entre SNARK et STARK, ainsi que le support de la compatibilité EVM. La question de la compatibilité EVM a toujours été au cœur des préoccupations de l'industrie, et les récents progrès technologiques ont porté la compatibilité EVM à un nouveau niveau, ce qui influencera le développement de l'écosystème ZK.
Trois, les principes de base des zk-SNARKs
ZK-SNARKs est une réalisation importante des zk-SNARKs. Il possède des caractéristiques telles que la zero-knowledge, la concision et l'absence d'interaction.
Les étapes de base des zk-SNARKs incluent :
Le cœur des zk-SNARKs réside dans la transformation d'un problème à l'aide de transformations mathématiques complexes en une forme qui peut être prouvée et vérifiée efficacement. Cela a jeté les bases de l'application étendue des zk-SNARKs dans des domaines tels que la blockchain.