Calcul généraliste fondé sur des preuves avec Magnetar, de Microsoft Research

Magnetar produit, avec le résultat d'un programme, une courte preuve vérifiable en millisecondes sans ré-exécution, sans confiance envers l'opérateur et sans accès aux données. Il prouve des programmes écrits en Rust, Go ou C, tourne 10 à 39 fois plus vite en moyenne que les systèmes comparables antérieurs les plus rapides, et ne repose que sur des fonctions de hachage standard. Il prolonge plus d'une décennie de travaux de Microsoft Research sur les preuves zero-knowledge.