Posté par Redbran le Jeudi 12/05/2022 à 13:00

Logiciels quantiques: une implémentation de l'algorithme de Shor vérifiée pour la première fois

L'algorithme de Shor est à l'origine de l'engouement de la communauté scientifique pour le quantique dans les années 1995. Mais aucune implémentation du célèbre algorithme n'avait jusqu'à présent pu être vérifiée, faute d'outils adaptés. C'est désormais chose faite, grâce aux travaux du CEA-List.

L’ordinateur quantique parfait n’existe pas encore que déjà, bon nombre d’algorithmes sont prêts à y être implémentés. C’est le cas, par exemple, de l’emblématique algorithme de Shor, qui permet de casser n’importe quelle clé de cryptographie en une fraction de seconde. Les chercheurs du List, qui travaillent aussi sur les logiciels quantiques, développent une expertise pour vérifier en amont de leur exécution sur la machine, que ces logiciels feront bien ce que l’on attend d’eux.

Si des méthodes existent pour tester les programmes classiques, elles ne sont pas applicables sur les programmes quantiques. Les chercheurs ont donc mis au point des outils de vérification dérivés de ceux existants, et qui sont fondés sur les "méthodes formelles" bien maitrisées par le List. Réunis dans l’environnement logiciel QBrick, ils permettent de s’assurer qu’un programme quantique s’exécutera comme prévu sur toutes les entrées possibles.

Grâce à QBrick, les chercheurs ont, pour la toute première fois, réussi à certifier la partie quantique d’une implémentation de l’algorithme de Shor, avec une automatisation supérieure à 95%. Ce taux d’automatisation est trois fois supérieur à ceux des autres certifications existant par le monde, et sur un programme six fois plus grand. Ces résultats ont été présentés à la conférence internationale ESOP 2021, et constituent un jalon important vers la conception de méthodes et environnements efficaces de programmation quantique, positionnant le CEA comme acteur national clé du logiciel quantique.
Dernières actualités
Certaines bactéries produisent des toxines qui leur permettent de contrôler leur propre...
Cette observation donne un accès expérimental direct à la masse d’une particule élémentaire...
D’ordinaire, les mauvaises nouvelles sur le réchauffement annoncent un record inquiétant à la...
Selon une nouvelle étude de l’Université McGill, les personnes exposées aux feux de forêt...
Les microARN ("miARN"), qui répriment des gènes spécifiques, pourraient être des suppresseurs...
Matériau essentiel à la conduction électrique, le cuivre est aujourd’hui l’un des métaux...
La sonde spatiale de l’ESA vient de passer tout près du Soleil, l’occasion de faire des images...
S’il y a une leçon à retenir de la débâcle de l’hydroxychloroquine, c’est qu’une...
- Des scientifiques viennent de caractériser une protéine cruciale des cellules du foie,...
Les maladies inflammatoires chroniques de l’intestin (MICI) constituent un important problème de...
Le sol lunaire n’est pas ce qu’il y a de mieux pour faire pousser des plantes. Et pourtant, ça...
L’éruption explosive du volcan sous-marin Hunga, aux Tonga, le 15 janvier dernier a engendré...
Des champignons mortels bien différents produisent la même toxine, l’amanitine. Toutefois, son...
D’après des chercheurs de l’Université McGill, et leurs collègues d’Italie,...
C’est l’une des dernières opérations réalisées dans le cadre des essais préliminaires...
Qu’y a-t-il de commun entre l’embouchure d’un fleuve, là où le niveau de la mer...
Après une cure de jouvence de trois ans, les installations du LHC viennent d’être...
L’étude des satellites d’astéroïdes est une science relativement jeune comparée aux...
C’est le genre de découverte dont la force d’attraction engloutit tous les superlatifs, ne...
Environ 500 millions d’humains souffrent du diabète, maladie métabolique traduisant un...
Ce site fait l'objet d'une déclaration à la CNIL
sous le numéro de dossier 1037632
Informations légales