Dans le domaine émergent où les ordinateurs classiques communiquent avec des machines quantiques, un défi fondamental surgit : comment un utilisateur classique peut-il vérifier qu'un dispositif quantique fait réellement quelque chose qu'un ordinateur classique ne peut pas faire, sans pour autant en apprendre davantage sur l'état interne de la machine ? Cette question est au cœur des « preuves de quanticité » (proofs of quantumness), un échange cryptographique où un vérificateur classique envoie un puzzle à un prouveur quantique, qui doit résoudre ce dernier pour prouver sa nature quantique. La sécurité de ces interactions repose sur un type spécifique de verrou mathématique connu sous le nom de fonction sans griffe à trappe (trapdoor claw-free function). Imaginez une paire de portes verrouillées qui semblent identiques de l'extérieur ; un observateur classique ne peut pas savoir vers où chaque porte mène, mais une machine quantique peut traverser les deux simultanément. La personne qui a construit les portes détient une clé secrète, ou « trappe », qui révèle exactement comment les portes sont connectées. Pendant des années, la sécurité de ces protocoles reposait sur une hypothèse fragile : que la personne envoyant le puzzle générait les clés honnêtement. Si un acteur malveillant envoyait un ensemble de clés légèrement différent qui semblait identique mais se comportait différemment, le prouveur quantique pourrait être trompé pour révéler des secrets ou échouer au test, tandis que le vérificateur resterait inconscient de la supercherie.

Une équipe de chercheurs de l'Université nationale de Singapour a désormais construit un cadre robuste pour corriger cette vulnérabilité, créant un système où les clés elles-mêmes sont accompagnées d'un certificat d'authenticité vérifiable. Leurs travaux, publiés dans une étude récente, introduisent une méthode pour certifier qu'une clé a été générée correctement sans révéler la trappe secrète nécessaire pour briser le système. Ils ont développé un schéma universel qui fonctionne à travers différentes fondations mathématiques, et pas seulement celle la plus couramment utilisée aujourd'hui. En attachant une preuve à connaissance nulle à chaque clé, le système permet au prouveur quantique de vérifier que le puzzle est authentique avant de tenter de le résoudre. Cela garantit que le prouveur interagit avec un défi quantique légitime plutôt qu'avec un piège malveillant. Les chercheurs ont démontré que cette approche transforme avec succès les preuves quantiques existantes en versions « à connaissance nulle » (zero-knowledge), où le vérificateur n'apprend que le fait que le prouveur est quantique, et rien de plus sur les capacités du prouveur ou sur les données spécifiques traitées.

Cependant, l'étude trace également une ligne nette autour des limites de son efficacité. Les chercheurs ont découvert que pour certains protocoles avancés conçus pour cacher la nature même des clés, l'ajout d'un certificat briserait en réalité la sécurité. Dans ces cas spécifiques, la sécurité repose sur le fait que personne ne peut distinguer une clé « sans griffe » (claw-free) d'une clé « injective » totalement différente. Si un certificat était émis pour prouver que la clé est sans griffe, il révélerait instantanément l'identité de la clé, détruisant le secret que le protocole était censé protéger. Ainsi, bien que le nouveau cadre offre un outil puissant pour sécuriser de nombreuses interactions quantiques, il ne s'agit pas d'une solution universelle ; c'est un instrument de précision qui doit être utilisé uniquement lorsque la structure de la clé est destinée à être publique, et non cachée.

Le cœur du problème réside dans la nature des clés utilisées dans ces interactions cryptographiques. Une fonction sans griffe à trappe est un objet mathématique qui agit comme une paire de fonctions, chacune mappant des entrées vers des sorties d'une manière facile à calculer mais difficile à inverser sans un secret. La propriété « sans griffe » signifie que trouver deux entrées différentes qui produisent la même sortie est informatiquement impossible pour quiconque ne possède pas la trappe secrète. Dans une preuve de quanticité typique, un vérificateur classique génère une telle clé et l'envoie à un prouveur quantique. Le prouveur doit ensuite effectuer une opération quantique qui démontre qu'il peut gérer la structure unique de la clé. Le piège est qu'un vérificateur malveillant pourrait générer une clé qui semble identique à une clé légitime mais qui manque de la structure sans griffe nécessaire, ou pire, une clé conçue pour extraire des informations supplémentaires du prouveur. Parce que la clé n'est qu'une chaîne de nombres, le prouveur n'a aucun moyen de savoir si la clé est honnête ou s'il s'agit d'un piège.

Pour résoudre cela, les chercheurs ont défini un nouveau concept appelé « relation de clé certifiable ». Il s'agit d'une règle mathématique qui décrit précisément ce à quoi ressemble une clé honnête, accompagnée d'un « témoin » (witness) qui prouve que la clé a été générée correctement. Le témoin est une information que seul le générateur honnête possède, telle que les nombres aléatoires spécifiques utilisés pour créer la clé. Les chercheurs ont montré que pour plusieurs grandes familles de ces fonctions — basées sur la difficulté de la factorisation de grands nombres, la complexité des logarithmes discrets et la dureté de l'apprentissage avec erreurs (learning with errors) — un témoin valide peut toujours être récupéré à partir de la trappe secrète. La percée a consisté à réaliser que le générateur pouvait prouver l'existence de ce témoin sans jamais le montrer. Ils y sont parvenus en utilisant un « argument de connaissance à connaissance nulle » (zero-knowledge argument of knowledge), une technique cryptographique qui permet à une partie de convaincre une autre qu'elle connaît un secret sans pour autant révéler ce secret.

Le résultat est un schéma de « génération de clé certifiée ». Lorsqu'un vérificateur crée une clé, il produit désormais également un certificat. Ce certificat est une preuve mathématique que la clé appartient à la bonne famille et qu'elle a été générée honnêtement. Le prouveur quantique reçoit à la fois la clé et le certificat. Avant d'effectuer tout travail, le prouveur effectue une vérification rapide du certificat. Si le certificat est valide, le prouveur sait que la clé est sûre à utiliser. Si le certificat est manquant ou invalide, le prouveur sait que le vérificateur tente de le tromper et interrompt l'interaction. Crucialement, le certificat ne révèle rien sur la trappe secrète. Les chercheurs ont prouvé que même avec ce certificat supplémentaire, la difficulté mathématique de briser le système reste exactement la même qu'auparavant. Le certificat agit comme un sceau d'authenticité qui ne fragilise pas le verrou.

Ce cadre permet d'utiliser un « compilateur » générique, un outil capable de prendre n'importe quel protocole de preuve de quanticité existant et de le mettre à niveau pour qu'il soit à connaissance nulle. Dans les protocoles originaux, le vérificateur pourrait apprendre plus que le simple fait que le prouveur est quantique ; il pourrait apprendre des détails sur l'état interne du prouveur ou sur les opérations quantiques spécifiques effectuées. En insérant l'étape de génération de clé certifiée, les chercheurs ont montré que le vérificateur peut être contraint de ne rien apprendre de plus que le seul fait que le prouveur est quantique. Cela est vital pour l'avenir de l'informatique quantique en nuage (quantum cloud computing), où les utilisateurs doivent vérifier qu'un serveur distant utilise un ordinateur quantique sans donner à ce serveur un levier pour apprendre des données privées de l'utilisateur. L'étude confirme que cette mise à niveau fonctionne de manière transparente pour les protocoles basés sur la factorisation, les logarithmes discrets et l'apprentissage avec erreurs, à condition que la relation mathématique sous-jacente puisse être certifiée.

Les chercheurs ne se sont pas contentés de définir ce qui fonctionne ; ils ont également délimité avec soin ce qui ne fonctionne pas. Ils ont identifié une classe de protocoles où la sécurité dépend de l'impossibilité de distinguer une clé sans griffe d'une clé injective. Dans ces scénarios, la clé « injective » est un type d'objet mathématique différent qui se comporte différemment mais semble identique à un observateur. La sécurité de ces protocoles repose sur le fait que le prouveur ne sait pas quel type de clé il a reçu. Si le vérificateur délivrait un certificat prouvant que la clé est sans griffe, le prouveur connaîtrait immédiatement le type de clé, brisant ainsi la sécurité du protocole. Les chercheurs ont démontré que dans ces cas précis, l'acte de certification lui-même fuit l'information que le protocole cherche à cacher. Le certificat devient un élément de distinction, un outil qui sépare les deux types de clés, rendant le protocole non sécurisé.

Cette limitation n'est pas un défaut de la méthode de certification, mais une frontière fondamentale de son application. Les chercheurs expliquent que la certification est un outil pour les protocoles où la structure de la clé est censée être une connaissance publique, tandis que la trappe secrète reste cachée. Ce n'est pas un outil pour les protocoles où l'identité même de la famille de clés est le secret. En délimitant cette frontière, l'étude fournit un guide clair pour la conception cryptographique future. Elle indique aux ingénieurs qu'ils peuvent utiliser en toute sécurité des clés certifiées pour sécuriser les preuves quantiques dans de nombreux contextes, mais qu'ils doivent éviter cette technique dans les protocoles qui reposent sur l'indistinguabilité des familles de clés.

Ce travail représente une étape importante vers la rendre la cryptographie quantique pratique et sécurisée pour des déploiements réels. En passant d'un modèle où la confiance est supposée à un modèle où la confiance est vérifiée, les chercheurs ont comblé une lacune critique dans la sécurité des interactions classiques-quantiques. Leur cadre n'est pas lié à une seule hypothèse mathématique, mais repose sur un principe général qui peut être appliqué à différentes fondations cryptographiques. Cette flexibilité garantit qu'à mesure que de nouveaux algorithmes résistants au quantique sont développés, la méthode de certification de leurs clés pourra être adaptée. L'étude conclut que, bien que le chemin vers une communication quantique entièrement sécurisée soit complexe, la capacité de vérifier l'intégrité des clés utilisées dans ces interactions est un jalon nécessaire et réalisable. Les chercheurs ont fourni le plan d'un futur où les preuves quantiques sont non seulement vérifiables, mais aussi privées, garantissant que la puissance de l'informatique quantique puisse être exploitée sans compromettre les secrets qu'elle est censée protéger.