Les deux versions sont alignées bloc par bloc, dans l’ordre du texte : titre, l’essentiel, puis paragraphe par paragraphe. Quand la traduction a fusionné ou scindé un paragraphe, la case correspondante reste vide — on ne rapproche jamais deux passages au jugé.
A computer result usually arrives with a question attached: did the program really run as claimed? Today the answer rests on trust in whoever ran it, backed by contracts, audits and logs. Zero-knowledge proofs offer another route. The program runs, and alongside its output it produces a short cryptographic certificate. Anyone holding it can confirm the result in milliseconds, without rerunning the program and without seeing the data it used.
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.
The idea dates from the 1980s, but three obstacles kept it from becoming a general tool. Producing a proof has historically taken millions of times more computation than running the program itself. Many systems also required developers to rewrite their program by hand as a cryptographic circuit, a fixed arithmetic description of one exact computation, a job that takes months and must be redone with every change. And many proofs rest on elliptic curves, which a sufficiently powerful quantum computer could break. Microsoft's Quantum Safe Program will move its products and services to post-quantum cryptography, a goal it recently accelerated to 2029.
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 has worked on the problem for more than a decade. Its 2019 system Spartan returned to the sum-check approach and made it work for general programs without a trusted setup, a secret initial step whose leak would let anyone forge proofs. Phalanx, in 2021, exploited repetition, such as a processor running the same instruction cycle at every step, to prove computations an order of magnitude faster. Magnetar, announced on 15 October 2026, proves programs written in Rust, Go or C and rests its security only on standard hash functions.
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.
The headline figure is that Magnetar runs 10 to 39 times faster on average than the prior fastest comparable systems. Those numbers come from Microsoft Research's own announcement. The post describes a research system, and it does not mention any product built on it.
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.
For AI agents acting on someone's behalf, the idea is that each action could carry a proof that it complied with the policy it was given. For regulated financial institutions, it would show that transactions were processed correctly without making them public. Microsoft Research presents both uses as possible once producing a proof is as routine as running the program, and it does not put a date on that point.
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.