# Microsoft présente Magnetar pour prouver l’exécution des programmes

> Microsoft Research a présenté le 15 octobre Magnetar, qui produit des preuves à divulgation nulle de connaissance pour des programmes Rust, Go ou C compilés pour RISC-V. La recherche vise à vérifier l’exécution sans révéler les entrées ni refaire le calcul.

- URL canonique: https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Éditeur: Newsverum
- Rubrique: Technologie
- Pays: États-Unis
- Publié: 2026-10-15T20:19:53+00:00
- Mis à jour: 2026-10-15T20:19:53+00:00
- Période de consultation de la source: 2026-10-15
- Autres éditions: [Türkçe](https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [English](https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [العربية](https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Español](https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*La source ne précise pas la date de l’événement ; la période indiquée est celle de la consultation de la source.*

Microsoft Research a présenté le 15 octobre Magnetar, qui produit des preuves à divulgation nulle de connaissance pour des programmes Rust, Go ou C compilés pour RISC-V. La recherche vise à vérifier l’exécution sans révéler les entrées ni refaire le calcul.

Microsoft annonce des gains moyens de 10 à 39 fois face aux systèmes antérieurs comparables les plus rapides, sur 15 programmes de test exécutés sur le même portable. La sécurité repose sur des fonctions de hachage standard ; prouver le respect des règles par un agent IA est un usage potentiel, pas un service déjà déployé.

## Données

### Microsoft présente Magnetar pour prouver l’exécution des programmes

Microsoft présente Magnetar pour prouver l’exécution des programmes

Méthodologie: Les résultats sont attribués à la source, sans mesure indépendante des performances.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | Publication du rapport de recherche | Microsoft Research a présenté le 15 octobre Magnetar, qui produit des preuves à divulgation nulle de connaissance pour des programmes Rust, Go ou C compilés pour RISC-V. La recherche vise à vérifier l’exécution sans révéler les entrées ni refaire le calcul. | occurred |

Sources: <https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/> · Télécharger les données: [JSON](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=fr&format=json) · [CSV](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=fr&format=csv)

## Sources

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (Source vérifiée: 2026-10-15; Publié: 2026-10-15)

---

Citez l’URL canonique ci-dessus. [Principes éditoriaux et corrections](https://newsverum.com/fr/editorial)