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.
Période de consultation de la source: 2026-10-15
Publié: · Mis à jour:
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
- · Survenu
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.
Méthodologie
Les résultats sont attribués à la source, sans mesure indépendante des performances.
Mis à jour:
Sujets et lieux
Sujets proposés
- Science et technologieProposé
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Références géographiques
Seules les références géographiques présentes dans la source sont affichées. L’ouverture d’une carte externe est facultative. Les cartes facultatives utilisent OpenStreetMap. Leur ouverture transmet votre adresse IP et celle de ce site au fournisseur ; les coordonnées restent lisibles sans charger la carte.
- États-Unis · Rôle du lieu: Couverture · Type de lieu: Pays ou territoire · Précision de localisation: RégionaleÉléments probants
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗