Semi-Quantum Cryptography with Certified Deletion
Cet article présente un compilateur général permettant à des clients classiques de téléverser des textes chiffrés quantiques vers des serveurs pour une suppression certifiée publiquement vérifiable et un audit non destructif, en s'appuyant sur la dureté post-quantique de LWE et en introduisant une nouvelle technique de simulation pour adapter les arguments de sécurité basés sur la purification aux interactions classiques.
Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète
À l'ère numérique, nous faisons confiance aux serveurs pour conserver nos informations les plus sensibles, des messages privés aux dossiers financiers. Nous comptons sur le chiffrement pour protéger ces données, en les brouillant de sorte que seuls ceux qui possèdent la clé correcte puissent les lire. Cependant, un problème fondamental surgit lorsque nous voulons supprimer ces données. Une fois qu'un fichier est copié sur un serveur, le propriétaire n'a aucun moyen de contraindre le serveur à détruire la copie originale. Un serveur malhonnête peut simplement conserver une sauvegarde cachée, attendant un moment futur où la clé de chiffrement pourrait être divulguée ou volée, moment auquel il pourrait déverrouiller les données et tout lire. Pour les ordinateurs classiques, il s'agit d'une situation impossible ; il n'existe aucun moyen physique de prouver qu'une information a été effacée.
La physique quantique offre une solution potentielle à ce dilemme grâce à une propriété connue sous le nom de « théorème de non-clonage ». Contrairement aux bits classiques, qui peuvent être copiés parfaitement, l'information quantique existe dans des états délicats qui sont perturbés si quelqu'un tente de les copier. Cela permet le concept de « suppression certifiée ». Dans ce scénario, un utilisateur télécharge des données sous forme d'état quantique. Si le serveur prétend plus tard avoir supprimé ces données, il doit produire un certificat. En raison des lois de la mécanique quantique, si le serveur a réellement supprimé les données, il ne peut pas en garder une copie qui lui permettrait de lire le message plus tard, même s'il obtient la clé de déchiffrement. Si le serveur tente de garder une copie, l'acte de copie aurait altéré l'état, et le certificat échouerait à la vérification.
Pendant des années, cette idée puissante est restée largement théorique ou exigeait que l'utilisateur possède son propre ordinateur quantique pour envoyer les données. Cela créait une barrière massive : les utilisateurs ordinaires, et même de nombreuses organisations, ne peuvent pas se permettre le matériel coûteux et spécialisé nécessaire pour générer et envoyer des états quantiques. Les données devaient voyager via un canal quantique, une exigence qui rendait la technologie impraticable pour une utilisation généralisée. Une nouvelle étude de Yael Tauman Kalai et Justin Raizes change ce paysage en démontrant comment un ordinateur classique tout à fait ordinaire peut télécharger des données vers un serveur quantique et recevoir tout de même ces garanties de suppression. Ils ont créé une méthode qui permet à un utilisateur standard d'interagir avec un serveur quantique en utilisant uniquement une communication numérique classique, tout en bénéficiant des avantages de sécurité de la mécanique quantique.
Les chercheurs y sont parvenus en concevant un protocole ingénieux qui agit comme un pont entre les mondes classique et quantique. Au lieu de demander à l'utilisateur de préparer directement un état quantique complexe, l'utilisateur envoie une série d'instructions classiques. Le serveur, qui possède les capacités quantiques nécessaires, utilise ces instructions pour préparer l'état quantique requis de son côté. La brillance de la nouvelle méthode réside dans la façon dont elle vérifie que le serveur a réellement fait ce qui était demandé sans que l'utilisateur ne voie jamais l'état quantique. Le protocole utilise un outil mathématique appelé fonction « claw-free » à trappe (trapdoor claw-free function). En termes simples, il s'agit d'un puzzle mathématique facile à résoudre si l'on possède une clé secrète (la « trappe »), mais incroyablement difficile à résoudre sans elle. Le serveur doit prouver qu'il connaît la solution de ce puzzle pour recevoir les données, mais la structure du puzzle garantit que le serveur ne peut pas garder une copie des données sans enfreindre les règles du puzzle.
Le cœur de leur découverte est une technique qui permet à la preuve de sécurité de fonctionner même si l'utilisateur ne voit jamais l'état quantique. Dans les tentatives précédentes, prouver la sécurité d'un tel système exigeait que l'utilisateur détienne une version « purifiée » de l'état, essentiellement un jumeau quantique intriqué avec la copie du serveur. Cela était impossible si l'utilisateur utilisait un ordinateur classique. Les auteurs ont développé une nouvelle façon de simuler cette intrication en utilisant uniquement une communication classique. Ils ont montré que même si les messages de l'utilisateur sont classiques et semblent déterminer complètement l'état, la structure mathématique du protocole permet à la preuve de sécurité de traiter la situation comme si l'état était toujours dans une superposition quantique. Cela signifie que si le serveur tente de garder une copie des données pour les lire plus tard, les garanties mathématiques du système s'effondrent, et le serveur sera pris en flagrant délit.
Cette percée ne se limite pas à l'envoi d'un seul message. Les auteurs fournissent un « compilateur » général, un ensemble d'instructions qui peut être appliqué à de nombreux types d'outils cryptographiques différents. Ils ont démontré que cette méthode fonctionne pour le chiffrement à clé publique, où n'importe qui peut envoyer un message à un destinataire ; pour le chiffrement basé sur des attributs, où l'accès dépend de justificatifs spécifiques ; et même pour le chiffrement totalement homomorphe, qui permet d'effectuer des calculs sur des données cryptées sans jamais les déchiffrer. Dans chaque cas, l'utilisateur peut télécharger les données en utilisant uniquement une communication classique, et le serveur peut être contraint de supprimer les données avec un certificat vérifiable. Si le serveur s'exécute et supprime les données, l'utilisateur peut être certain que même si le serveur obtient ultérieurement la clé de déchiffrement, il ne pourra pas récupérer le message original.
Au-delà de la simple suppression, les chercheurs ont montré que ce système permet des « preuves de non-intrusion ». Il s'agit d'un moyen pour un utilisateur de vérifier si ses données ont été volées ou divulguées à un tiers sans détruire les données dans le processus. Dans de nombreux scénarios de sécurité, vérifier une fuite nécessite de détruire la preuve, mais ici, l'utilisateur peut demander au serveur de prouver que personne d'autre n'a accès aux données, et le serveur peut le faire sans perdre la capacité de déchiffrer le message plus tard. Ceci est crucial pour l'audit, car cela permet à un utilisateur de vérifier l'intégrité de son stockage de données sans avoir à rejeter les données elles-mêmes. Le serveur peut prouver qu'il est le seul à détenir la clé, et l'utilisateur peut être confiant que les données restent sécurisées.
L'étude aborde également la question pratique de la récupération des données. Dans certains schémas de suppression quantique, une fois les données supprimées, elles disparaissent à jamais, même pour le propriétaire. Les auteurs ont conçu un protocole où l'utilisateur peut récupérer ses données tout en s'assurant simultanément qu'elles sont supprimées du serveur. Le serveur effectue une opération quantique spécifique qui convertit les données en une forme que l'utilisateur peut lire, mais ce faisant, il détruit sa propre capacité à lire ces données à l'avenir. Cela signifie que l'utilisateur n'a pas à choisir entre récupérer ses données et les protéger contre de futures fuites de clés ; il peut faire les deux en même temps.
La sécurité de l'ensemble de ce système repose sur l'hypothèse que certains problèmes mathématiques, spécifiquement ceux liés au problème « Learning With Errors » (LWE), sont difficiles à résoudre, même pour les ordinateurs quantiques. C'est une hypothèse standard en cryptographie moderne, largement considérée comme vraie. Les auteurs ont prouvé que tant que ces problèmes mathématiques restent difficiles, leur système est sécurisé. Ils ne se sont appuyés sur aucune hypothèse exotique ou non prouvée, et n'ont pas exigé que l'utilisateur possède du matériel quantique. La seule exigence est que le serveur possède la capacité quantique pour effectuer les opérations nécessaires, ce qui est une attente raisonnable pour un fournisseur de services cloud dans le futur.
Ce travail représente une étape significative vers la démocratisation de la sécurité quantique. En éliminant la nécessité pour l'utilisateur de posséder un ordinateur quantique, les auteurs ont levé le principal obstacle à l'accès à la suppression certifiée. La technologie qu'ils décrivent permet un avenir où les utilisateurs peuvent télécharger leurs données dans le cloud et avoir une garantie mathématique qu'elles peuvent être effacées, une garantie qui tient même si les clés de chiffrement sont compromises ultérieurement. Elle transforme le concept de suppression de données d'un espoir en un fait vérifiable, fondé sur les lois de la physique et la dureté des mathématiques. Le résultat est un système où la confiance n'est plus seulement une question de politique, mais une question de loi physique.
Noyé(e) sous les articles dans votre domaine ?
Recevez des digests quotidiens des articles les plus récents correspondant à vos mots-clés de recherche — avec des résumés techniques, dans votre langue.