LMi-MAG17 avril - Flipbook - Page 69
sure que l’on progresse dans la compréhension du ZeroKnowledge Proof (ZKP), des cas d’usage inattendus sont
découverts et de nouveaux outils sont développés. Par
conséquent, le ZKP deviendra probablement un composant de nombreuses applications et industries. Les
études menées par la Fondation Mina donnent des indices sur ce que l’on peut en attendre.
Web3 et blockchain
Certains pourraient être tentés de considérer le Web3
comme un curieux rejeton de l’informatique traditionnelle, mais ce serait une erreur. Il faut considérer le
Web3 comme un domaine clé des futures applications
de l’informatique. Le Web3 ne remplace pas les technologies de l’information conventionnelles, il en est le fer
de lance.
curisées modernes. Le Zero-Knowledge pose la question
suivante : est-il possible d’utiliser des types similaires de
calculs intelligents pour prouver quelque chose tout en
gardant l’information cachée ? La réponse est oui.
Applications et protocoles ZKP
Aujourd’hui, les preuves à divulgation nulle de connaissance sont construites en démontrant qu’un calcul donné
a eu lieu. ZK-SNARK et ZK-STARK sont deux exemples
importants de protocoles fournissant cette preuve dans
un format digeste. Une fois que l’on dispose des capacités ZKP, on peut affirmer que quelque chose est vrai et
que d’autres peuvent l’accepter avec un degré élevé de
probabilité. Le Zero-Knowledge Proof est une forme de
preuve probabiliste. Ces preuves sont complexes, ce qui
représente un défi de plus pour les rendre résistantes aux
attaques. Les progrès dans ce domaine sont donc lents.
Le ZKP, une théorie de la complexité appliquée
Au plus haut niveau, le Zero-Knowledge Proof permet
de prouver que l’on sait quelque chose sans divulguer ce
que l’on sait. Les implications pour la vie privée sont évidentes, mais le ZKP est également essentiel pour l’évolutivité. Quand on utilise une preuve à divulgation nulle de
connaissance pour effectuer une tâche de calcul coûteuse,
on peut généralement redémontrer la preuve sans avoir à
faire un nouveau calcul. En un sens, les preuves à divulgation nulle de connaissance découlent naturellement de
la théorie de la complexité et de la cryptographie. Une
grande partie du chiffrement moderne (du type asymétrique) dépend de la théorie de la complexité, car la sécurité asymétrique repose sur l’utilisation de fonctions qui
sont réalisables sous une forme, mais pas sous une autre.
Il en résulte que les mathématiques sont le grand obstacle à la compréhension du ZKP. Heureusement, il est
possible de comprendre conceptuellement le fonctionnement des preuves à divulgation nulle de connaissance sans savoir nécessairement ce qu’est un résidu
quadratique. Néanmoins, pour ceux qui s’y intéressent,
on peut dire qu’un résidu quadratique de y, pour une
valeur z, est : . Ce concept plutôt ésotérique a été utilisé
dans l’un des premiers articles sur le Zero-Knowledge.
Une grande partie de la cryptographie est construite sur
l’exploration des franges des mathématiques (en particulier la factorisation et le module) pour trouver des
propriétés utiles. L’encapsulation des calculs mathématiques complexes du ZKP dans des bibliothèques faciles
à utiliser est la clé d’une adoption généralisée. On peut
faire des milliers de choses intéressantes avec ce genre
de fonctions à sens unique. En particulier, on peut établir des secrets partagés sur des réseaux ouverts, une
capacité sur laquelle reposent les communications sé-
Cependant, les preuves à divulgation nulle de connaissance continuent de gagner en puissance et elles sont aujourd’hui capables de démontrer de nombreuses affirmations dans un format relativement compact. Etendre ce qui
peut être prouvé et diversifier les systèmes dans lesquels
ces preuves peuvent s’intégrer sont des domaines clés de
la recherche. Un autre domaine de recherche consiste à
rendre le déploiement aussi simple que possible.
Le ZKP et l’avenir de la blockchain
La Fondation Mina a réalisé des recherches intéressantes sur l’importance du ZKP dans l’industrie de la
blockchain. [Lire l’intégralité de l’article sur lemondeinformatique.fr]
APPROFONDIR
ÉCOUTER EN LIGNE
Podcast
tinyurl.com/podcast-ZKP
LIRE EN LIGNE
Article
tinyurl.com/article-ZKP
61