« Zéro preuve de connaissance » pourrait « réparer Internet »

• Les Zero Knowledge Proofs sont une nouvelle technologie émergeant du monde de la cryptographie.
• Les ZKP ont le potentiel de résoudre les problèmes de sécurité les plus délicats sur Internet aujourd’hui.
• La désinformation, les deep fakes, la fraude et la confidentialité sont des domaines qu’une startup du ZKP appelée Toposware s’efforce de résoudre.

« Je pense que nous sommes sur le point de changer le monde », a déclaré l’investisseur Clark Golestani à propos d’une technologie appelée Zero Knowledge Proofs. « C’est une façon de transformer littéralement l’ensemble des entreprises et du gouvernement. Je n’ai jamais été plus passionné par quoi que ce soit. »

Golestani a passé 24 ans en tant que directeur de l’information chez le géant pharmaceutique Merck, avant de devenir investisseur en capital-risque il y a cinq ans. Il est investisseur et membre du conseil d’administration d’une startup nommée Toposware qui espère intégrer la sécurité ZKP dans l’utilisation quotidienne d’Internet par ses clients. En fait, Golestani me le dit avec enthousiasme, tout comme le PDG de Toposware, Theo Gauthier, un autre investisseur dans Toposware est Taher Elgamal, qui était scientifique en chef chez Netscape Communications dans les années 1990 et a également inventé l’un des premiers protocoles de sécurité d’Internet, Secure Sockets Layer.

Ils ne sont pas les seuls à être enthousiasmés par les ZKP. C’est une technologie que Michael Blau, investisseur en cryptographie d’Andreessen Horowitz, a récemment comparée à un tour de magicien. « L’un de ces domaines de progrès de type science-fiction est celui des preuves à connaissance nulle (ou ZKP), un outil cryptographique qui répond à deux défis critiques du Web3 : l’évolutivité et la confidentialité », a écrit Blau dans un article de blog sur la technologie en septembre. « Considérez les ZKP comme un grand tour de magie. »

Que sont les preuves zéro connaissance ?

Les ZKP existent en tant que théorie mathématique crypto depuis 1985, mais ce n’est que depuis trois ou quatre ans que la théorie a été transformée en technologie poursuivie par les startups, principalement en ce qui concerne les réseaux crypto blockchain, ou ce qu’on appelle web3. Toposware, cependant, envisage également d’offrir un service qui permettra aux entreprises d’utiliser également cette technologie avec l’ancien Internet habituel.

Les ZKP permettent à une partie de vérifier que les informations sont exactes, sans pour autant les révéler elles-mêmes. Au lieu de cela, ils vérifient d’autres faits connexes concernant les informations.

À moins que vous ne soyez enclin aux mathématiques, la plupart des gens qui comprennent les ZKP les décrivent généralement en termes d’analogie (bien que voici un lien vers l’un des nombreux articles universitaires qui approfondissent les détails).

Toposware utilise l’analogie de deux boules placées côte à côte. Sans jamais nommer les couleurs des boules, on peut vérifier qu’il s’agit de couleurs différentes en vérifiant avec une précision de 100 % chaque fois que les positions des boules ont été inversées. Cela prouve que les boules par ailleurs identiques sont de couleurs différentes, même si les couleurs elles-mêmes ne sont pas révélées.

Ou, comme le décrit Blau, quelqu’un peut prouver qu’il connaît le secret d’un tour de magie en réussissant le tour de magie, sans partager comment il a été réalisé.

Comment cela va changer Internet

Gauthier et Golestani décrivent les impacts potentiels de grande envergure des ZKP, tels que la lutte contre la désinformation. Il devient impossible que la désinformation soit présentée comme un fait, ou que les contrefaçons profondes soient confondues avec la réalité, car les ZKP les présenteront comme des faux. Des chercheurs de Stanford, par exemple, y travaillent.

Les ZKP peuvent également être utilisés pour détecter la fraude dans les applications financières ; créer des pistes d’audit ; dans les cas d’utilisation de la confidentialité ; et pour vérifier qu’un modèle d’IA spécifique est utilisé sans partager le modèle lui-même, disent les experts du ZKP.

Toposware travaille à transformer la technologie en un protocole Internet qui fonctionne si rapidement en arrière-plan qu’il ne ralentit pas les choses.

Toposware développe un service cloud, appelé « couche de règlement » où les entreprises peuvent ajouter son service ZKP à leurs réseaux. Et si les ordinateurs quantiques deviennent un jour suffisamment fiables, les ZKP devraient constituer un cas d’utilisation idéal, même si les protocoles ZKP actuels sont utilisés sur les ordinateurs conventionnels d’aujourd’hui, explique Gauthier.

Toposware fait partie d’une vingtaine de startups travaillant dans le domaine. PortalGate, par exemple, utilise ZKP pour le trading d’actifs cryptographiques ; Ingonyama fabrique des puces destinées aux ZKP.

Toposware, qui a levé 5 millions de dollars en novembre, pourrait être l’une des startups les plus avancées dans la transformation d’une technologie Web3 éclatante populaire parmi les passionnés de cryptographie en une technologie pratique disponible pour les entreprises.

La startup compte environ 20 employés et des partenariats avec des institutions universitaires du monde entier. Le protocole lui-même « a été conçu en collaboration avec le CEA, le Commissariat à l’énergie atomique français. Et nous avons des partenariats avec des institutions dans toute l’Europe et certaines aux États-Unis également », explique Gauthier.