Le due versioni sono allineate blocco per blocco, nell’ordine del testo: titolo, l’essenziale, poi paragrafo per paragrafo. Quando la traduzione ha fuso o diviso un paragrafo, la casella corrispondente resta vuota — non accostiamo mai due passaggi a occhio.
A computer result usually arrives with a question attached: did the program really run as claimed? Today the answer rests on trust in whoever ran it, backed by contracts, audits and logs. Zero-knowledge proofs offer another route. The program runs, and alongside its output it produces a short cryptographic certificate. Anyone holding it can confirm the result in milliseconds, without rerunning the program and without seeing the data it used.
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.
The idea dates from the 1980s, but three obstacles kept it from becoming a general tool. Producing a proof has historically taken millions of times more computation than running the program itself. Many systems also required developers to rewrite their program by hand as a cryptographic circuit, a fixed arithmetic description of one exact computation, a job that takes months and must be redone with every change. And many proofs rest on elliptic curves, which a sufficiently powerful quantum computer could break. Microsoft's Quantum Safe Program will move its products and services to post-quantum cryptography, a goal it recently accelerated to 2029.
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 has worked on the problem for more than a decade. Its 2019 system Spartan returned to the sum-check approach and made it work for general programs without a trusted setup, a secret initial step whose leak would let anyone forge proofs. Phalanx, in 2021, exploited repetition, such as a processor running the same instruction cycle at every step, to prove computations an order of magnitude faster. Magnetar, announced on 15 October 2026, proves programs written in Rust, Go or C and rests its security only on standard hash functions.
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.
The headline figure is that Magnetar runs 10 to 39 times faster on average than the prior fastest comparable systems. Those numbers come from Microsoft Research's own announcement. The post describes a research system, and it does not mention any product built on it.
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.
For AI agents acting on someone's behalf, the idea is that each action could carry a proof that it complied with the policy it was given. For regulated financial institutions, it would show that transactions were processed correctly without making them public. Microsoft Research presents both uses as possible once producing a proof is as routine as running the program, and it does not put a date on that point.
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.