Magnetar beschleunigt Beweise für normalen Code, doch die Vertrauensfrage bleibt

Microsoft Research hat Magnetar veröffentlicht, eine transparente zkVM für Programme, die auf den Befehlssatz RV64I kompiliert werden. Ein Beweis kann die korrekte Ausführung bestätigen, ohne die gesamte Berechnung zu wiederholen und je nach Einsatz ohne sensible Eingaben offenzulegen.

RV64I macht aus der Kryptoschaltung ein normales Kompilierungsziel

Die Sicherheit stützt sich auf Standard-Hashfunktionen wie SHA-256 oder SHA-3 und benötigt kein trusted setup. Die Rust-Implementierung zielt auf 120 Bit ausgewiesene Sicherheit. Auf einem MacBook Pro mit M4 Max und 12 Leistungskernen erreichte sie 6,5 bis 7,7 Millionen Zyklen pro Sekunde. Die Beweise waren etwa 600 KiB groß und wurden in 10 bis 12 ms verifiziert.

Bei 15 Anwendungsfällen melden die Autoren den 22- bis 57-fachen Durchsatz von SP1 Hypercube. Gegenüber zwei Jolt-Varianten liegt die angegebene Spanne je nach System und Aufgabe beim 5- bis 33-Fachen.

Eine übliche Toolchain senkt die Einstiegshürde

RV64I ist wichtiger als der Rekord allein. Rust oder Go lassen sich für einen allgemeinen Befehlssatz kompilieren, statt jede Anwendung manuell in eine spezialisierte Kryptoschaltung zu übersetzen. Damit werden überprüfbare Cloud-Aufträge, Rechenaudits und Blockchain-Anwendungen greifbarer.

Eine Partei führt die teure Berechnung einmal aus, die Empfänger prüfen einen kompakten Beleg. Bleibt die Integration nah an normaler Softwareentwicklung, kann der Beweis Teil des Deployments statt eines eigenen Forschungsprojekts werden.

Ein Benchmark-Sieg entscheidet noch keine Produktionswahl

Die Zahlen stammen von den Autoren und einer bestimmten Maschine. Vergleiche zwischen zkVMs hängen von Workload, Compiler, Speicher, Parallelisierung und Sicherheitsprofil ab. Jolt erzeugte in diesem Vergleich Beweise unter 100 KiB, Magnetar benötigt für eine andere Mischung aus Annahmen und Leistung rund 600 KiB.

Postquantenfest bezeichnet hier die Sicherheit durch Standard-Hashfunktionen. Daraus folgt keine automatische Sicherheit für Anwendung, Compiler oder Gastcode in der zkVM.

Erst Einsätze zeigen Speicherbedarf, Kosten und Portabilität

Nötig sind reproduzierte Tests auf x86- und ARM-Servern, Speicherwerte für lange Aufgaben und die Kosten je erzeugtem Beweis. Unabhängige Teams müssen bestehende Rust- und Go-Programme ohne große Umbauten ausführen können.

Produktionsintegrationen werden zeigen, ob schnellere Kryptografie den Engpass beseitigt oder nur in Compiler, Betrieb und Audit verschoben hat.

Liliths Urteil

Magnetar reicht dem Prüfer einen 600-KiB-Beleg statt der gesamten Neuberechnung. Nun müssen unabhängige Teams zeigen, dass die Rechnung auch außerhalb des Microsoft-Labors aufgeht.