Magnetar di Microsoft: prove 10-39 volte più veloci, in ricerca

Un risultato informatico arriva di solito accompagnato da una domanda: il programma è davvero stato eseguito come dichiarato? Oggi la risposta si basa sulla fiducia in chi lo ha eseguito, sostenuta da contratti, audit e log. Le prove a conoscenza zero offrono un'altra strada. Il programma viene eseguito e, insieme al suo risultato, produce un breve certificato crittografico. Chiunque lo possieda può confermare il risultato in millisecondi, senza rieseguire il programma e senza vedere i dati utilizzati.

L'idea risale agli anni Ottanta, ma tre ostacoli ne hanno impedito la diffusione come strumento generale. Produrre una prova ha richiesto storicamente milioni di volte più calcolo dell'esecuzione del programma stesso. Molti sistemi obbligavano inoltre gli sviluppatori a riscrivere a mano il programma come circuito crittografico, cioè una descrizione aritmetica fissa di un unico calcolo esatto: un lavoro che richiede mesi e va rifatto a ogni modifica. Infine, molte prove si basano sulle curve ellittiche, che un computer quantistico abbastanza potente potrebbe compromettere. Il Quantum Safe Program di Microsoft porterà i suoi prodotti e servizi alla crittografia post-quantistica, un obiettivo che l'azienda ha di recente anticipato al 2029.

Microsoft Research lavora sul problema da oltre un decennio. Il suo sistema Spartan, del 2019, è tornato all'approccio sum-check e lo ha reso applicabile a programmi generali senza una configurazione di fiducia, cioè un passaggio iniziale segreto il cui furto permetterebbe a chiunque di falsificare le prove. Phalanx, nel 2021, ha sfruttato la ripetitività, come un processore che esegue lo stesso ciclo di istruzioni a ogni passo, per dimostrare i calcoli un ordine di grandezza più velocemente. Magnetar, annunciato il 15 ottobre 2026, dimostra programmi scritti in Rust, Go o C e basa la sicurezza solo su funzioni hash standard.

Il dato principale è che Magnetar è in media da 10 a 39 volte più veloce dei sistemi comparabili più rapidi precedenti. Queste cifre provengono dall'annuncio dello stesso Microsoft Research. Il post descrive un sistema di ricerca e non menziona alcun prodotto basato su di esso.

Per gli agenti di intelligenza artificiale che agiscono per conto di una persona, l'idea è che ogni azione possa essere accompagnata da una prova di aver rispettato la politica ricevuta. Per gli istituti finanziari regolamentati, dimostrerebbe che le transazioni sono state elaborate correttamente senza renderle pubbliche. Microsoft Research presenta entrambi gli usi come possibili una volta che produrre una prova diventerà routine quanto eseguire il programma, senza però indicare una data per questo traguardo.