Beide Fassungen sind Block für Block ausgerichtet, in der Reihenfolge des Textes: Titel, das Wesentliche, dann Absatz für Absatz. Wo die Übersetzung einen Absatz zusammengezogen oder geteilt hat, bleibt das entsprechende Feld leer — wir stellen niemals zwei Passagen nach Gefühl nebeneinander.
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.
Ein Rechenergebnis kommt meist mit einer Frage im Gepäck: Hat das Programm wirklich so gelaufen, wie behauptet? Heute ruht die Antwort auf Vertrauen in denjenigen, der es ausgeführt hat, abgesichert durch Verträge, Prüfungen und Protokolle. Zero-Knowledge-Beweise bieten einen anderen Weg. Das Programm läuft, und neben seinem Ergebnis erzeugt es ein kurzes kryptografisches Zertifikat. Wer es besitzt, kann das Ergebnis in Millisekunden bestätigen, ohne das Programm erneut auszuführen und ohne die verwendeten Daten zu sehen.
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.
Die Idee stammt aus den 1980er-Jahren, doch drei Hürden verhinderten, dass sie zu einem allgemeinen Werkzeug wurde. Die Erstellung eines Beweises erforderte bisher millionenfach mehr Rechenaufwand als die Ausführung des Programms selbst. Viele Systeme verlangten außerdem, dass Entwickler ihr Programm von Hand als kryptografische Schaltung neu schreiben, also als feste arithmetische Beschreibung genau einer Berechnung. Diese Aufgabe dauert Monate und beginnt bei jeder Änderung von vorn. Und viele Beweise beruhen auf elliptischen Kurven, die ein hinreichend leistungsstarker Quantencomputer brechen könnte. Microsofts Quantum Safe Program wird seine Produkte und Dienste auf post-quantenkryptografische Verfahren umstellen, ein Ziel, das das Unternehmen kürzlich auf 2029 vorgezogen hat.
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 arbeitet seit mehr als einem Jahrzehnt an dem Problem. Sein 2019 vorgestelltes System Spartan kehrte zum Sum-Check-Verfahren zurück und machte es ohne vertrauenswürdige Einrichtung (Trusted Setup) für allgemeine Programme nutzbar. Diese geheime Anfangsphase würde, falls sie preisgegeben wird, jedem erlauben, Beweise zu fälschen. Phalanx nutzte 2021 Wiederholungen aus, etwa einen Prozessor, der bei jedem Schritt denselben Befehlszyklus durchläuft, um Berechnungen um eine Größenordnung schneller zu beweisen. Magnetar, angekündigt am 15. Oktober 2026, beweist Programme, die in Rust, Go oder C geschrieben sind, und stützt seine Sicherheit allein auf gängige Hash-Funktionen.
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.
Die wichtigste Zahl lautet, dass Magnetar im Schnitt 10- bis 39-mal schneller läuft als die bisherigen schnellsten vergleichbaren Systeme. Diese Angaben stammen aus der eigenen Ankündigung von Microsoft Research. Der Beitrag beschreibt ein Forschungssystem und erwähnt kein darauf aufbauendes Produkt.
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.
Für KI-Agenten, die im Auftrag einer Person handeln, könnte jede Aktion einen Beweis mitführen, dass sie der ihr vorgegebenen Richtlinie entsprach. Für regulierte Finanzinstitute würde er zeigen, dass Transaktionen korrekt verarbeitet wurden, ohne sie öffentlich zu machen. Microsoft Research stellt beide Anwendungen als möglich dar, sobald die Erstellung eines Beweises so alltäglich ist wie die Ausführung des Programms. Einen Zeitpunkt dafür nennt das Unternehmen nicht.