Microsoft Research· Srinath Setty·· 37 minsélectionAI Score76
Microsoft Research présente Magnetar, un zkVM généraliste fondé sur les fonctions de hachage standard
Proof-based general-purpose computing with Magnetar
AI Introduction
Microsoft Research présente Magnetar, un zkVM qui prouve l'exécution de programmes écrits en Rust.
Raison de la recommandation
L'article détaille les choix de conception de Magnetar et les chiffres comparatifs face aux zkVMs existants, utile pour évaluer la faisabilité des preuves à divulgation nulle en production.
Source :Microsoft Research · microsoft.com