Quand l’inconnu devient un atout

Un jour, des mathématiciens ont compris une chose étrange : les mathématiques ont des limites. Certaines vérités existent, mais personne ne pourra jamais les prouver. Longtemps, cette découverte a semblé être un défaut. Pourtant, des chercheurs ont décidé de l’utiliser à leur avantage.

C’est ainsi qu’est née une idée puissante : prouver que l’on sait quelque chose sans rien dévoiler. Cette technique, appelée preuve à divulgation nulle de connaissance, change la façon dont nous protégeons nos données en ligne.

Le problème des trois couleurs

Imaginez un grand planisphère. Vous devez le colorier avec seulement trois couleurs, et aucune zone voisine ne peut avoir la même teinte. C’est un vrai défi. Vous y parvenez. Maintenant, comment prouver que vous avez réussi sans montrer votre carte ?

Pendant longtemps, on pensait que c’était impossible. Soit on montrait tout, soit on cachait tout.

La preuve à divulgation nulle de connaissance

En 1985, trois chercheurs ont transformé cette idée en un jeu simple. Vous cachez votre carte colorée. Un ami désigne au hasard deux zones voisines. Vous les découvrez juste assez longtemps pour montrer que leurs couleurs sont différentes. Puis vous recouvrez tout et vous changez secrètement les couleurs.

Vous répétez l’opération des dizaines de fois. Chaque vérification est rapide. Si vous réussissez à chaque fois, votre ami finit par croire que votre solution est correcte. Il n’a pourtant jamais vu la carte complète.

C’est le principe de base : convaincre sans révéler.

Une intuition qui semblait solide

Jusqu’en 1994, la plupart des spécialistes pensaient que ce jeu devait rester interactif. Ils estimaient qu’une preuve écrite, même cryptée, ne pouvait pas être vérifiée sans risquer de tout dévoiler.

Un lien inattendu avec les théorèmes de Gödel

Puis un étudiant, Rahul Ilango, a eu une intuition différente. Il a relié ce problème aux travaux de Kurt Gödel. En 1931, Gödel avait montré que tout système mathématique contient des vérités qui ne peuvent pas être proues dans ce système.

Ilango s’est demandé : et si on utilisait ces vérités impossibles à prouver comme base pour des preuves à divulgation nulle ? Au lieu de miser sur la difficulté du calcul, il a choisi de s’appuyer sur les limites fondamentales des mathématiques elles-mêmes.

La réaction a été la surprise. Beaucoup de cryptographes, dont Amit Sahai, n’y croyaient pas au début. Pourtant, la méthode fonctionne.

Des usages concrets

Cette avancée ouvre de nouvelles perspectives :

• Vérifier une transaction sur une blockchain sans révéler les montants ni les identités
• Confirmer que l’on connaît un mot de passe sans l’envoyer
• Montrer qu’une intelligence artificielle fonctionne bien sans exposer les données utilisées

Si ces preuves deviennent plus rapides et plus simples, elles pourraient changer la façon dont nous partageons des informations tout en gardant notre vie privée intacte.

Un pont entre deux mondes

Ce qui frappe ici, c’est la rencontre entre deux domaines souvent vus comme lointains. Gödel parlait de philosophie des mathématiques. Les cryptographes cherchaient à protéger des secrets. Des décennies plus tard, quelqu’un a vu le lien entre ces idées.

Ilango montre que l’inconnu n’est pas toujours un obstacle. Parfois, il peut servir de fondation à des systèmes plus sûrs.