Auteur : Michael Blau, partenaire de l'équipe d'investissement a16zcrypto ; Traduction : Golden Finance xiaozou
Toute technologie suffisamment avancée est impossible à distinguer de la magie, et l'un de ces domaines qui ressemble à la science-fiction est celui des preuves à connaissance nulle (ZKP), un outil cryptographique qui résout deux défis clés du monde Web3 : l'évolutivité et la confidentialité. En particulier, ZKP pourrait être la clé pour réduire les frais de transaction et concevoir de nouvelles applications préservant la confidentialité. En conséquence, nous devrions accueillir le prochain milliard d’utilisateurs de crypto. Même en dehors du monde de la cryptographie, ZKP pourrait un jour contribuer à la transmission sécurisée de données sensibles, lutter contre le financement illicite ou lutter contre la désinformation.
Mais qu’est-ce que le ZKP ? Il existe de nombreuses bonnes explications pour les ingénieurs, les chercheurs et la communauté cryptographique, mais elles n’ont aucun sens pour un public moins expérimenté en cryptographie ou en informatique. Même avec la pléthore de métaphores disponibles – de Waldo à la Caverne d’Alibaba – il n’est pas facile de trouver une explication précise et compréhensible qui illustre pleinement les super pouvoirs du ZKP.
Ainsi, dans cet article, je combine mon expérience en crypto et en magie pour explorer et essayer de créer une nouvelle métaphore : considérez ZKP comme un excellent tour de magie.
Je voudrais d'abord partager une définition de haut niveau de ZKP (en particulier concernant les zk-SNARK), ainsi que ses diverses propriétés, avant de mapper ces propriétés dans une métaphore magique.
Développons la définition de SNARK donnée par Justin Thaler, partenaire de recherche en cryptographie d'a16z : « zk-SNARK permet à quelqu'un (le prouveur) de prouver à une partie non fiable (le vérificateur) qu'il connaît certaines données sans révéler aucune information sur les données elles-mêmes. " Ou, comme le dit le cours AIP ZK du MIT, " Les protocoles de connaissance zéro me permettent de vous prouver que je sais quelque chose sans vous dire ce que c'est. "
C'est passionnant dans le contexte des blockchains publiques, car ZKP peut protéger les informations privées tout en permettant à quiconque de vérifier (sans aucun doute) l'authenticité des informations. zk-SNARK est également très simple et efficace : « simple » signifie que la taille de la preuve est plus petite que les données que vous prouvez. « Efficace » signifie que les validateurs vérifient la preuve plus rapidement que l'analyse des données brutes (sur Ethereum, cela signifie moins de données traitées par le contrat intelligent et des coûts de gaz inférieurs pour l'utilisateur). La blockchain L2 peut tirer parti de la simplicité et de l'efficacité de zk-SNARK, permettant aux applications décentralisées de traiter plus de données à moindre coût.
En résumé, zk-SNARK possède deux propriétés principales :
· Confidentialité : Aucune information sur les données (ou les faits ou les « connaissances ») que vous prouvez n'est révélée au vérificateur.
· Simple et efficace : La vérification s'avère plus efficace que la vérification directe des données originales.
Même cette description de haut niveau ressemble un peu à une énigme : comment prouver que l’on sait quelque chose sans partager l’information ?
Regardons à nouveau la définition, mais cette fois, utilisons quelques tours de magie.
Zéro preuve de connaissance magique
En termes simples, la magie est la preuve de zéro connaissance. En magie, un magicien prétend connaître un secret qui lui permet de réaliser des tours de magie. Mais ils ne veulent pas révéler ce secret au public, cela ruinerait leur tour.
En élargissant cela au ZKP : considérez les magiciens comme des « prouveurs » et leur public comme des « vérificateurs ». Un spectacle de magie réussi (qui, espérons-le, suscitera un respect incroyable et des applaudissements enthousiastes) est semblable à une preuve « valable » : le tour a fonctionné, le magicien doit donc connaître le secret du spectacle de magie. Bien sûr, si l’illusion ne fonctionne pas et s’avère « inefficace », le public sera déçu et le magicien ne connaît peut-être pas réellement la méthode secrète.
Magic démontre l'une des propriétés de ZKP : la confidentialité. Mais qu’en est-il de la simplicité et de l’efficacité ? Revenons à cette analogie…
Le public peut sauter complètement le spectacle et simplement demander au magicien de partager les secrets de la magie. Mais les secrets de la magie peuvent être complexes et subtils. Même le simple fait d'expliquer la méthode d'un tour de magie, avec toutes ses subtilités et nuances, prend beaucoup de temps pour en avoir une idée générale, et encore moins en comprendre les mystères. Parfois, lorsqu'on lui demande de révéler ses secrets, un magicien peut délibérément révéler une « mauvaise » solution au public, le conduisant ainsi sur le mauvais chemin. Les téléspectateurs ne peuvent pas être certains qu’une technique secrète fonctionne réellement sans la maîtriser eux-mêmes, ce qui peut prendre des jours, des mois, voire des années.
Par conséquent, tout comme vérifier directement l'exactitude d'une technique secrète prend en réalité beaucoup de temps et d'énergie - même si le magicien est prêt à révéler le secret au public - il en va de même pour ZKP. Il est beaucoup plus rapide pour le public de vérifier la validité des arcanes en appréciant simplement la représentation.
Reprise
Pour donner un exemple simple : je prétends connaître une méthode secrète qui me permet de reconstituer immédiatement un jeu de cartes mélangées de haut en bas en cartes simple face. Je veux vous prouver que j’ai cette capacité, mais je ne veux pas révéler comment. Le fait de montrer à tout le monde un jeu de cartes à une seule face à la fin de la magie était une preuve valable que je devais connaître la méthode secrète de « restauration » des cartes. Et lorsque je vous montre une carte à une seule face, vous pouvez immédiatement vérifier ma déclaration, bien plus rapidement que si vous appreniez des tours de magie en personne.
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.
Comment prouver un secret : guide du magicien sur les preuves sans connaissance
Auteur : Michael Blau, partenaire de l'équipe d'investissement a16zcrypto ; Traduction : Golden Finance xiaozou
Toute technologie suffisamment avancée est impossible à distinguer de la magie, et l'un de ces domaines qui ressemble à la science-fiction est celui des preuves à connaissance nulle (ZKP), un outil cryptographique qui résout deux défis clés du monde Web3 : l'évolutivité et la confidentialité. En particulier, ZKP pourrait être la clé pour réduire les frais de transaction et concevoir de nouvelles applications préservant la confidentialité. En conséquence, nous devrions accueillir le prochain milliard d’utilisateurs de crypto. Même en dehors du monde de la cryptographie, ZKP pourrait un jour contribuer à la transmission sécurisée de données sensibles, lutter contre le financement illicite ou lutter contre la désinformation.
Mais qu’est-ce que le ZKP ? Il existe de nombreuses bonnes explications pour les ingénieurs, les chercheurs et la communauté cryptographique, mais elles n’ont aucun sens pour un public moins expérimenté en cryptographie ou en informatique. Même avec la pléthore de métaphores disponibles – de Waldo à la Caverne d’Alibaba – il n’est pas facile de trouver une explication précise et compréhensible qui illustre pleinement les super pouvoirs du ZKP.
Ainsi, dans cet article, je combine mon expérience en crypto et en magie pour explorer et essayer de créer une nouvelle métaphore : considérez ZKP comme un excellent tour de magie.
**Mais d'abord, comprenons : qu'est-ce qu'une preuve sans connaissance ? **
Je voudrais d'abord partager une définition de haut niveau de ZKP (en particulier concernant les zk-SNARK), ainsi que ses diverses propriétés, avant de mapper ces propriétés dans une métaphore magique.
Développons la définition de SNARK donnée par Justin Thaler, partenaire de recherche en cryptographie d'a16z : « zk-SNARK permet à quelqu'un (le prouveur) de prouver à une partie non fiable (le vérificateur) qu'il connaît certaines données sans révéler aucune information sur les données elles-mêmes. " Ou, comme le dit le cours AIP ZK du MIT, " Les protocoles de connaissance zéro me permettent de vous prouver que je sais quelque chose sans vous dire ce que c'est. "
C'est passionnant dans le contexte des blockchains publiques, car ZKP peut protéger les informations privées tout en permettant à quiconque de vérifier (sans aucun doute) l'authenticité des informations. zk-SNARK est également très simple et efficace : « simple » signifie que la taille de la preuve est plus petite que les données que vous prouvez. « Efficace » signifie que les validateurs vérifient la preuve plus rapidement que l'analyse des données brutes (sur Ethereum, cela signifie moins de données traitées par le contrat intelligent et des coûts de gaz inférieurs pour l'utilisateur). La blockchain L2 peut tirer parti de la simplicité et de l'efficacité de zk-SNARK, permettant aux applications décentralisées de traiter plus de données à moindre coût.
En résumé, zk-SNARK possède deux propriétés principales :
· Confidentialité : Aucune information sur les données (ou les faits ou les « connaissances ») que vous prouvez n'est révélée au vérificateur.
· Simple et efficace : La vérification s'avère plus efficace que la vérification directe des données originales.
Même cette description de haut niveau ressemble un peu à une énigme : comment prouver que l’on sait quelque chose sans partager l’information ?
Regardons à nouveau la définition, mais cette fois, utilisons quelques tours de magie.
Zéro preuve de connaissance magique
En termes simples, la magie est la preuve de zéro connaissance. En magie, un magicien prétend connaître un secret qui lui permet de réaliser des tours de magie. Mais ils ne veulent pas révéler ce secret au public, cela ruinerait leur tour.
En élargissant cela au ZKP : considérez les magiciens comme des « prouveurs » et leur public comme des « vérificateurs ». Un spectacle de magie réussi (qui, espérons-le, suscitera un respect incroyable et des applaudissements enthousiastes) est semblable à une preuve « valable » : le tour a fonctionné, le magicien doit donc connaître le secret du spectacle de magie. Bien sûr, si l’illusion ne fonctionne pas et s’avère « inefficace », le public sera déçu et le magicien ne connaît peut-être pas réellement la méthode secrète.
Magic démontre l'une des propriétés de ZKP : la confidentialité. Mais qu’en est-il de la simplicité et de l’efficacité ? Revenons à cette analogie…
Le public peut sauter complètement le spectacle et simplement demander au magicien de partager les secrets de la magie. Mais les secrets de la magie peuvent être complexes et subtils. Même le simple fait d'expliquer la méthode d'un tour de magie, avec toutes ses subtilités et nuances, prend beaucoup de temps pour en avoir une idée générale, et encore moins en comprendre les mystères. Parfois, lorsqu'on lui demande de révéler ses secrets, un magicien peut délibérément révéler une « mauvaise » solution au public, le conduisant ainsi sur le mauvais chemin. Les téléspectateurs ne peuvent pas être certains qu’une technique secrète fonctionne réellement sans la maîtriser eux-mêmes, ce qui peut prendre des jours, des mois, voire des années.
Par conséquent, tout comme vérifier directement l'exactitude d'une technique secrète prend en réalité beaucoup de temps et d'énergie - même si le magicien est prêt à révéler le secret au public - il en va de même pour ZKP. Il est beaucoup plus rapide pour le public de vérifier la validité des arcanes en appréciant simplement la représentation.
Reprise
Pour donner un exemple simple : je prétends connaître une méthode secrète qui me permet de reconstituer immédiatement un jeu de cartes mélangées de haut en bas en cartes simple face. Je veux vous prouver que j’ai cette capacité, mais je ne veux pas révéler comment. Le fait de montrer à tout le monde un jeu de cartes à une seule face à la fin de la magie était une preuve valable que je devais connaître la méthode secrète de « restauration » des cartes. Et lorsque je vous montre une carte à une seule face, vous pouvez immédiatement vérifier ma déclaration, bien plus rapidement que si vous appreniez des tours de magie en personne.