Magnetar de Microsoft accélère les preuves 10 à 39 fois, en recherche

Un résultat informatique arrive généralement accompagné d'une question : le programme a-t-il vraiment tourné comme annoncé ? Aujourd'hui, la réponse repose sur la confiance accordée à celui qui l'a exécuté, appuyée sur des contrats, des audits et des journaux. Les preuves à divulgation nulle de connaissance offrent une autre voie. Le programme s'exécute et, en parallèle de sa sortie, produit un certificat cryptographique court. Quiconque le détient peut confirmer le résultat en millisecondes, sans relancer le programme et sans voir les données utilisées.

L'idée remonte aux années 1980, mais trois obstacles l'ont empêchée de devenir un outil général. Produire une preuve a longtemps demandé des millions de fois plus de calcul que l'exécution du programme lui-même. De nombreux systèmes obligeaient aussi les développeurs à réécrire leur programme à la main sous forme de circuit cryptographique, c'est-à-dire une description arithmétique figée d'un calcul précis, un travail qui prend des mois et doit être refait à chaque modification. Enfin, de nombreuses preuves reposent sur des courbes elliptiques, que pourrait briser un ordinateur quantique suffisamment puissant. Le programme Quantum Safe de Microsoft doit faire passer ses produits et services à la cryptographie post-quantique, un objectif qu'elle a récemment avancé à 2029.

Microsoft Research travaille sur le problème depuis plus de dix ans. Son système Spartan, présenté en 2019, est revenu à l'approche sum-check et l'a rendue utilisable pour des programmes généraux, sans configuration de confiance, cette étape initiale secrète dont une fuite permettrait à n'importe qui de falsifier des preuves. Phalanx, en 2021, a exploité la répétition, comme un processeur exécutant le même cycle d'instructions à chaque étape, pour prouver des calculs un ordre de grandeur plus vite. Magnetar, annoncé le 15 octobre 2026, prouve des programmes écrits en Rust, Go ou C et ne repose, pour sa sécurité, que sur des fonctions de hachage standard.

Le chiffre phare est que Magnetar fonctionne en moyenne 10 à 39 fois plus vite que les systèmes comparables les plus rapides jusqu'ici. Ces chiffres proviennent de l'annonce de Microsoft Research elle-même. Le billet décrit un système de recherche et ne mentionne aucun produit qui en serait issu.

Pour les agents d'IA agissant au nom d'une personne, l'idée est que chaque action puisse être accompagnée d'une preuve qu'elle respecte la politique qui lui a été donnée. Pour les établissements financiers réglementés, cela permettrait de montrer que les transactions ont été traitées correctement sans les rendre publiques. Microsoft Research présente ces deux usages comme envisageables une fois que produire une preuve sera aussi courant que d'exécuter le programme, sans avancer de date pour ce point.