← Derniers articles
💻 computer science

Implementation and Evaluation of a Dilithium-Based Post-Quantum Blockchain Prototype

Cet article démontre que la migration d'un prototype de blockchain vers le schéma de signature post-quantique ML-DSA-44 a révélé que des failles d'implémentation critiques dans la validation des applications, la représentation des données et la logique de concurrence ont eu un impact bien plus important sur la correction et la performance du système que la transition de l'algorithme de signature elle-même.

Auteurs originaux : Ahmed Abdellatif, Eman K. Elsayed, Alaa Zaghloul, Khaled Abd El Salam

Publié 2026-09-08
📖 7 min de lecture🧠 Analyse approfondie

Auteurs originaux : Ahmed Abdellatif, Eman K. Elsayed, Alaa Zaghloul, Khaled Abd El Salam

Article original sous licence CC BY 4.0 (https://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

Le monde numérique repose sur un système de verrous et de clés pour garder notre argent, nos votes et nos secrets en sécurité. Pendant des décennies, ces verrous ont été construits sur des énigmes mathématiques faciles à résoudre pour les humains, mais presque impossibles à déchiffrer, même pour les ordinateurs les plus puissants. Cependant, les scientifiques savent depuis longtemps qu'un nouveau type d'ordinateur, utilisant les règles étranges de la physique quantique, pourrait un jour briser ces verrous en quelques secondes. Pour préparer cet avenir, les chercheurs conçoivent de nouveaux verrous basés sur des défis mathématiques différents que même les ordinateurs quantiques ne peuvent pas résoudre. Ce processus est appelé cryptographie post-quantique. Mais remplacer simplement le verrou ne suffit pas. Un verrou n'est aussi bon que la porte sur laquelle il repose, les charnières qui le maintiennent et les personnes qui décident quand l'ouvrir. Si le cadre de la porte est faible ou si les gens sont confus, le verrou le plus solide du monde ne protégera personne.

Une équipe de chercheurs de l'Université des Sciences et de la Technologie de Misr a décidé de tester cette idée en construisant un modèle fonctionnel de registre numérique, un système souvent appelé blockchain, utilisé pour enregistrer des votes et des transactions. Ils ont commencé avec un prototype utilisant une version précoce d'un nouveau verrou résistant au quantique, puis l'ont remplacé par la version officiellement standardisée. Leur objectif n'était pas seulement de voir si le nouveau verrou fonctionnait, mais d'observer comment l'ensemble du système se comportait lors du changement. Ils voulaient voir si le reste de la machine — les parties qui vérifient les identités, comptent les votes et stockent les données — pouvait gérer la transition sans se briser. Ce qu'ils ont découvert, c'est que le nouveau verrou fonctionnait presque aussi bien que l'ancien, mais que les vrais problèmes se cachaient dans les recoins du logiciel, dans la manière dont les données étaient inscrites et dans la façon dont les différentes parties du système communiquaient entre elles.

Les chercheurs ont commencé par mesurer la vitesse brute du nouveau verrou, connu sous le nom de ML-DSA-44, par rapport à l'ancienne version qu'ils utilisaient. Ils ont effectué des milliers de tests pour voir à quelle vitesse le système pouvait signer un message et vérifier que la signature était authentique. Les résultats ont montré que le nouveau verrou n'était pas une amélioration spectaculaire ni un désastre ; il était légèrement plus lent, d'environ cinq à huit pour cent, mais la différence était suffisamment faible pour ne pas ralentir un système réel. Ce fut un soulagement, car cela signifiait que le changement cryptographique central était gérable. Cependant, l'équipe a rapidement réalisé que la vitesse du verrou était la partie la moins intéressante de l'histoire. Les découvertes les plus significatives venaient de l'observation de la manière dont le système gérait les messages qui passaient par le verrou.

Dans leur modèle, le système était conçu pour finaliser une décision, comme l'approbation d'un bloc de votes, une fois qu'un certain niveau de confiance était réuni auprès d'un groupe de validateurs. Les chercheurs ont mis en place un scénario où quatre-vingts pour cent des validateurs de confiance approuvaient un bloc qui était en réalité corrompu et invalide. Comme le système était conçu pour faire confiance aux signatures, il a accepté l'approbation et a finalisé le mauvais bloc. Cela s'est produit dans chacun des vingt mille tests qu'ils ont effectués. Les signatures étaient mathématiquement parfaites, prouvant que les validateurs avaient effectivement envoyé le message, mais le système n'a pas vérifié si le message lui-même avait du sens. C'était comme un garde de sécurité qui vérifie parfaitement la carte d'identité d'un visiteur, mais ne remarque pas que le visiteur tente d'entrer dans une pièce où il n'a aucune raison d'être. Le verrou fonctionnait, mais la règle pour ouvrir la porte était défaillante.

L'équipe a également découvert une erreur subtile mais dangereuse dans la manière dont le système vérifiait l'identité de l'expéditeur d'un message. Dans une partie de l'ancien code, le système demandait à la personne envoyant un message : « Qui êtes-vous ? », puis utilisait cette réponse pour trouver la clé correcte afin de vérifier la signature. Le système ne vérifiait jamais si le nom donné par la personne correspondait réellement au nom inscrit à l'intérieur du message scellé qu'elle envoyait. Lors d'un test contrôlé, les chercheurs ont envoyé vingt mille messages où l'expéditeur prétendait être une personne, mais le message était signé comme s'il provenait d'une autre. L'ancien système les a tous acceptés. Ce n'est que lorsque les chercheurs ont ajouté une simple vérification pour comparer les deux noms que le système a commencé à rejeter les messages non concordants. Cela a montré qu'un système peut être mathématiquement sûr mais rester vulnérable s'il fait confiance aux mauvaises informations pour prendre ses décisions.

Une autre découverte majeure concernait le stockage des données. Les chercheurs ont comparé trois méthodes différentes pour consigner les enregistrements numériques. Une méthode utilisait un format texte courant qui transformait les données binaires en longues chaînes de lettres et de chiffres, rendant les fichiers beaucoup plus volumineux. Une autre méthode utilisait un format plus efficace mais conservait les mêmes longues chaînes. La troisième méthode utilisait le format efficace mais stockait les données sous forme d'octets bruts (raw bytes), de la manière dont un ordinateur les voit naturellement. Les résultats étaient frappants : passer au format d'octets bruts réduisait la taille des enregistrements de près de moitié par rapport à la version chargée en texte. Cela signifiait qu'un système utilisant la nouvelle méthode aurait besoin de beaucoup moins d'espace de stockage et pourrait déplacer les données plus rapidement, non pas parce que le verrou était meilleur, mais parce que la manière de packager les données était plus intelligente.

Enfin, l'équipe a testé le comportement du système lorsque les différentes parties du réseau fonctionnaient sur des processus informatiques distincts, simulant un véritable réseau distribué. Ils ont introduit de légers délais pour imiter le temps nécessaire à un message pour voyager à travers un réseau. Dans un test spécifique, un message est arrivé une fraction de seconde après que le système a déjà pris sa décision. Le système a correctement marqué le message comme étant en retard, mais l'a tout de même comptabilisé dans le résultat final. Cela a créé une condition de concurrence (race condition) où l'issue pouvait changer selon le timing exact du réseau. Les chercheurs ont corrigé cette logique et relancé les tests, confirmant que le système ignorerait désormais correctement les messages tardifs. Cela a mis en évidence que, même si la cryptographie est parfaite, le moment où un système cesse d'écouter peut être tout aussi important que la sécurité des messages qu'il entend.

L'étude a conclu que passer à un avenir résistant au quantique n'est pas seulement une question de remplacement d'un algorithme mathématique. C'est un voyage complexe qui nécessite de vérifier chaque couche du système, de la manière dont les données sont écrites aux règles qui régissent la prise de décision. Le nouveau verrou a bien fonctionné, mais les chercheurs ont découvert que les risques réels résidaient dans la logique applicative, les vérifications d'identité et la coordination entre les différentes parties du système. Pour ce prototype, le succès de la migration dépendait autant de la résolution de ces problèmes périphériques que de la performance du nouveau schéma de signature. Ce travail sert de rappel que, dans le monde numérique, un verrou solide n'est qu'une partie d'une porte sécurisée, et que le reste du cadre doit être tout aussi robuste.

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.

Essayer Digest →