*Note de l'éditeur : en tant que « livre secret » de Crypto pour le développement dans de multiples directions telles que l'expansion et la confidentialité, les preuves sans connaissance (ZKP) suscitent des attentes élevées de la part de l'industrie. Cependant, étant donné que la plupart du contenu explicatif sur ce concept est destiné aux personnes ayant une certaine base en informatique ou en cryptographie, il existe encore certains obstacles pour que la plupart des utilisateurs ordinaires comprennent pleinement le concept lui-même. *
*Le 8 septembre, Michael Blau, partenaire d'a16z, a publié un article de vulgarisation scientifique sur les preuves de connaissance nulle. L’article évite intelligemment la partie spéculation mathématique abstraite du concept même de preuve de connaissance nulle, mais utilise des performances magiques pour démontrer concrètement l’utilité de ZKP. *
*Ce qui suit est une compilation du texte original de Michael Blau (voix à la première personne) réalisé par Odaily Planet Daily. Certaines modifications ont été apportées dans un souci de fluidité de lecture. *
Clark, l'auteur de « 2001 : L'Odyssée de l'espace », a déclaré : « Toute technologie suffisamment avancée ne peut être distinguée de la magie. »
La preuve sans connaissance est l'une de ces technologies magiques. Il s'agit en fait d'un concept cryptographique qui peut être utilisé pour résoudre deux problèmes majeurs liés à l'évolutivité et à la confidentialité du Web3. **
Du point de vue des services publics, l'utilisation par ** de preuves sans connaissance peut aider à réduire les coûts de transaction en chaîne et à concevoir de nouvelles applications protégeant la confidentialité, favorisant ainsi la propagation de la cryptographie à un milliard d'utilisateurs. **Outre Crypto, ZKP a également le potentiel d'être utilisé pour transmettre en toute sécurité des données sensibles, contribuant ainsi à lutter contre les systèmes financiers illégaux ou à lutter contre la prolifération d'informations frauduleuses.
Mais que sont exactement les preuves de connaissance nulle ? Pour un petit nombre de chercheurs et de développeurs, de nombreuses explications détaillées peuvent être trouvées sur Internet, mais ces contenus ne sont pas destinés aux utilisateurs ordinaires moins expérimentés en informatique ou en occultisme. Bien que certains pionniers aient également écrit des articles de vulgarisation scientifique basés sur des analogies, il n’est toujours pas facile de trouver une explication incisive et populaire liée aux preuves de connaissance nulle pour aider les gens ordinaires à saisir avec précision sa magie.
Ainsi, dans ce prochain article, je combine mon expérience en cryptographie et dans l’industrie de la magie pour explorer une nouvelle analogie : considérez les preuves sans connaissance comme un excellent tour de magie. **
Tout d'abord, nous avons besoin de quelques connaissances de base
Je partagerai d'abord la définition "de haut niveau" de la preuve à connaissance nulle (en particulier son algorithme classique zk-SNARK) et ses principales caractéristiques, puis mapperai ces "composants" un par un en une magie.
Justin Thaler, partenaire de recherche chez a16z, définit zk-SNARK comme : "zk-SNARK permet à quelqu'un (le prouveur) de prouver à une autre personne (le vérificateur) qu'il n'a pas confiance qu'il connaît certaines données sans avoir pour révéler toute information sur les données elles-mêmes. »
Le cours du MIT le définit ainsi : "Les protocoles de connaissance zéro me permettent de vous prouver que je connais un fait sans vous dire le fait lui-même."
Cela a une grande valeur d’application dans le contexte de la blockchain car :
(correspondant à la confidentialité) **La preuve sans connaissance peut protéger les informations privées tout en permettant à d'autres de vérifier l'authenticité des informations. **
(Correspondant à l'expansion) **La preuve sans connaissance peut « simplifier » et « économiser » la charge de travail. ** « Simplification » signifie que la taille de la « preuve » est plus petite que les « données » elles-mêmes qui sont prouvées ; « sauvegarde » signifie que le vérificateur peut tester la « preuve » plus efficacement qu'il n'analyse les « données » originales elles-mêmes. Sur Ethereum, cela signifie que les contrats intelligents traiteront moins de données, donc les coûts de gaz des utilisateurs seront inférieurs. La couche 2 peut également profiter de ces fonctionnalités, permettant aux Dapps de traiter plus de données à moindre coût.
En résumé, les preuves sans connaissance ont deux propriétés principales :
L'un d'entre eux est la confidentialité : les « données » (ou « faits » ou « connaissances ») que vous prouvez ne seront pas divulguées au vérificateur.
La seconde est l'évolutivité : tester des "preuves" est plus efficace que d'analyser directement des "données" brutes.
C'est l'explication classique des preuves sans connaissance, mais cela ressemble toujours à une énigme : comment quelqu'un peut-il prouver qu'il sait quelque chose sans partager l'information ?
Regardons à nouveau la définition, mais cette fois, nous allons faire un tour de magie.
La magie elle-même est une preuve sans connaissance
En termes simples, dans un spectacle de magie, la « magie » elle-même est une preuve de connaissance nulle. Afin de réaliser un tour de magie, le « magicien » doit connaître le « secret » qui se cache derrière celui-ci. Ce n'est qu'en connaissant ce secret qu'il pourra réaliser le spectacle, mais il ne veut certainement pas révéler ce secret au « public » - cela détruira évidemment l'effet de la magie.
*Odaily Planet Daily Note : Notez que quatre caractères sont placés entre guillemets. *
"Secret" correspond aux "données" originales ;
"Magie" correspond à "preuve";
"Magicien" correspond à "Prover" ;
*« Audience » correspond à « Vérificateur ». *
Ensuite, nous intégrerons la définition « avancée » de la preuve de connaissance nulle dans le paragraphe précédent dans cette magie, **imaginez le magicien comme le « prouveur » et le public comme le « vérificateur ». **
**Le spectacle de magie est le processus par lequel le « prouveur » prouve au « vérificateur ». **Si le spectacle est réussi, cela équivaut à prouver qu'il est efficace, et le public peut également confirmer que le magicien doit comprendre le secret qui se cache derrière ; Si le spectacle échoue, cela équivaut à prouver qu'il n'est pas valide, et le public sera déçu. Sachez que le magicien ne connaît peut-être pas le truc.
De toute évidence, la magie démontre clairement la confidentialité des preuves sans connaissance car le public ne sait jamais quel est le secret qui se cache derrière. Qu’en est-il de l’évolutivité ? Revenons à cette métaphore…
Si le public veut savoir si le magicien a maîtrisé le secret (si le « prouveur » connaît les « données » originales), il peut sauter la représentation normale et simplement demander au magicien de partager le secret qui se cache derrière. Cependant, les techniques magiques sont généralement assez complexes et lourdes. Il est difficile pour le public de comprendre le mécanisme de conception et les effets de la mise en œuvre de ces techniques dans un court laps de temps, et encore moins de les maîtriser pleinement. Le magicien peut même fournir une mauvaise technique. et le public sera déçu. Il est également difficile de dire si c'est authentique ou non. Par conséquent, il faut souvent beaucoup de temps et une charge de travail importante pour compléter la preuve en analysant le secret lui-même.
Tout comme l'analyse directe des « données » originales prend plus de temps et de main-d'œuvre, tester la « preuve » sera plus efficace. Ce qui se cache derrière cela, c'est l'évolutivité des preuves sans connaissance.
Utilisez les cartes à jouer comme exemple
Pour donner un exemple simple, supposons que je me vante d'avoir la compétence de "mélange inversé" et que je puisse mélanger un jeu de cartes à jouer chaotique pour obtenir l'effet souhaité. Alors comment puis-je vous le prouver ?
Le moyen le plus efficace est que je mélange directement pour vous un jeu de cartes avec un certain motif. Lorsque vous voyez ce jeu de cartes, vous pouvez confirmer que je possède cette compétence. Cela ne m'oblige pas à partager mes compétences avec vous. , mais c'est aussi mieux que le vôtre. Apprendre lentement par vous-même viendra plus vite.
Dans l'ensemble, j'espère que cette analogie aidera à démystifier les preuves de connaissance nulle. Cet ensemble d'explications sur la « magie », le « secret », le « magicien » et le « public » peut être utilisé comme un modèle efficace pour comprendre les principales caractéristiques de des preuves sans connaissance et une aide accrue De nombreux utilisateurs ordinaires sont exposés à ce concept.
Encore une fois, la magie est essentiellement une preuve de connaissance nulle, et la preuve de connaissance nulle est la même chose que la magie. **
Voir l'original
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.
a16z : Comment utiliser un spectacle de magie pour comprendre les preuves de connaissance nulle
Cet article provient de | a16z
Auteur original | Michael Blau
Compilé | Odaily Planet Daily Azuma
*Note de l'éditeur : en tant que « livre secret » de Crypto pour le développement dans de multiples directions telles que l'expansion et la confidentialité, les preuves sans connaissance (ZKP) suscitent des attentes élevées de la part de l'industrie. Cependant, étant donné que la plupart du contenu explicatif sur ce concept est destiné aux personnes ayant une certaine base en informatique ou en cryptographie, il existe encore certains obstacles pour que la plupart des utilisateurs ordinaires comprennent pleinement le concept lui-même. *
*Le 8 septembre, Michael Blau, partenaire d'a16z, a publié un article de vulgarisation scientifique sur les preuves de connaissance nulle. L’article évite intelligemment la partie spéculation mathématique abstraite du concept même de preuve de connaissance nulle, mais utilise des performances magiques pour démontrer concrètement l’utilité de ZKP. *
*Ce qui suit est une compilation du texte original de Michael Blau (voix à la première personne) réalisé par Odaily Planet Daily. Certaines modifications ont été apportées dans un souci de fluidité de lecture. *
Clark, l'auteur de « 2001 : L'Odyssée de l'espace », a déclaré : « Toute technologie suffisamment avancée ne peut être distinguée de la magie. »
La preuve sans connaissance est l'une de ces technologies magiques. Il s'agit en fait d'un concept cryptographique qui peut être utilisé pour résoudre deux problèmes majeurs liés à l'évolutivité et à la confidentialité du Web3. **
Du point de vue des services publics, l'utilisation par ** de preuves sans connaissance peut aider à réduire les coûts de transaction en chaîne et à concevoir de nouvelles applications protégeant la confidentialité, favorisant ainsi la propagation de la cryptographie à un milliard d'utilisateurs. **Outre Crypto, ZKP a également le potentiel d'être utilisé pour transmettre en toute sécurité des données sensibles, contribuant ainsi à lutter contre les systèmes financiers illégaux ou à lutter contre la prolifération d'informations frauduleuses.
Mais que sont exactement les preuves de connaissance nulle ? Pour un petit nombre de chercheurs et de développeurs, de nombreuses explications détaillées peuvent être trouvées sur Internet, mais ces contenus ne sont pas destinés aux utilisateurs ordinaires moins expérimentés en informatique ou en occultisme. Bien que certains pionniers aient également écrit des articles de vulgarisation scientifique basés sur des analogies, il n’est toujours pas facile de trouver une explication incisive et populaire liée aux preuves de connaissance nulle pour aider les gens ordinaires à saisir avec précision sa magie.
Ainsi, dans ce prochain article, je combine mon expérience en cryptographie et dans l’industrie de la magie pour explorer une nouvelle analogie : considérez les preuves sans connaissance comme un excellent tour de magie. **
Tout d'abord, nous avons besoin de quelques connaissances de base
Je partagerai d'abord la définition "de haut niveau" de la preuve à connaissance nulle (en particulier son algorithme classique zk-SNARK) et ses principales caractéristiques, puis mapperai ces "composants" un par un en une magie.
Justin Thaler, partenaire de recherche chez a16z, définit zk-SNARK comme : "zk-SNARK permet à quelqu'un (le prouveur) de prouver à une autre personne (le vérificateur) qu'il n'a pas confiance qu'il connaît certaines données sans avoir pour révéler toute information sur les données elles-mêmes. »
Le cours du MIT le définit ainsi : "Les protocoles de connaissance zéro me permettent de vous prouver que je connais un fait sans vous dire le fait lui-même."
Cela a une grande valeur d’application dans le contexte de la blockchain car :
En résumé, les preuves sans connaissance ont deux propriétés principales :
C'est l'explication classique des preuves sans connaissance, mais cela ressemble toujours à une énigme : comment quelqu'un peut-il prouver qu'il sait quelque chose sans partager l'information ?
Regardons à nouveau la définition, mais cette fois, nous allons faire un tour de magie.
La magie elle-même est une preuve sans connaissance
En termes simples, dans un spectacle de magie, la « magie » elle-même est une preuve de connaissance nulle. Afin de réaliser un tour de magie, le « magicien » doit connaître le « secret » qui se cache derrière celui-ci. Ce n'est qu'en connaissant ce secret qu'il pourra réaliser le spectacle, mais il ne veut certainement pas révéler ce secret au « public » - cela détruira évidemment l'effet de la magie.
"Secret" correspond aux "données" originales ;
"Magie" correspond à "preuve";
"Magicien" correspond à "Prover" ;
*« Audience » correspond à « Vérificateur ». *
Ensuite, nous intégrerons la définition « avancée » de la preuve de connaissance nulle dans le paragraphe précédent dans cette magie, **imaginez le magicien comme le « prouveur » et le public comme le « vérificateur ». **
**Le spectacle de magie est le processus par lequel le « prouveur » prouve au « vérificateur ». **Si le spectacle est réussi, cela équivaut à prouver qu'il est efficace, et le public peut également confirmer que le magicien doit comprendre le secret qui se cache derrière ; Si le spectacle échoue, cela équivaut à prouver qu'il n'est pas valide, et le public sera déçu. Sachez que le magicien ne connaît peut-être pas le truc.
De toute évidence, la magie démontre clairement la confidentialité des preuves sans connaissance car le public ne sait jamais quel est le secret qui se cache derrière. Qu’en est-il de l’évolutivité ? Revenons à cette métaphore…
Si le public veut savoir si le magicien a maîtrisé le secret (si le « prouveur » connaît les « données » originales), il peut sauter la représentation normale et simplement demander au magicien de partager le secret qui se cache derrière. Cependant, les techniques magiques sont généralement assez complexes et lourdes. Il est difficile pour le public de comprendre le mécanisme de conception et les effets de la mise en œuvre de ces techniques dans un court laps de temps, et encore moins de les maîtriser pleinement. Le magicien peut même fournir une mauvaise technique. et le public sera déçu. Il est également difficile de dire si c'est authentique ou non. Par conséquent, il faut souvent beaucoup de temps et une charge de travail importante pour compléter la preuve en analysant le secret lui-même.
Tout comme l'analyse directe des « données » originales prend plus de temps et de main-d'œuvre, tester la « preuve » sera plus efficace. Ce qui se cache derrière cela, c'est l'évolutivité des preuves sans connaissance.
Utilisez les cartes à jouer comme exemple
Pour donner un exemple simple, supposons que je me vante d'avoir la compétence de "mélange inversé" et que je puisse mélanger un jeu de cartes à jouer chaotique pour obtenir l'effet souhaité. Alors comment puis-je vous le prouver ?
Le moyen le plus efficace est que je mélange directement pour vous un jeu de cartes avec un certain motif. Lorsque vous voyez ce jeu de cartes, vous pouvez confirmer que je possède cette compétence. Cela ne m'oblige pas à partager mes compétences avec vous. , mais c'est aussi mieux que le vôtre. Apprendre lentement par vous-même viendra plus vite.
Dans l'ensemble, j'espère que cette analogie aidera à démystifier les preuves de connaissance nulle. Cet ensemble d'explications sur la « magie », le « secret », le « magicien » et le « public » peut être utilisé comme un modèle efficace pour comprendre les principales caractéristiques de des preuves sans connaissance et une aide accrue De nombreux utilisateurs ordinaires sont exposés à ce concept.
Encore une fois, la magie est essentiellement une preuve de connaissance nulle, et la preuve de connaissance nulle est la même chose que la magie. **