Microsoft stellt Magnetar-Forschung zum Nachweis von Programmausführung vor
Microsoft Research stellte am 15. Oktober Magnetar vor, das Zero-Knowledge-Beweise für in Rust, Go oder C geschriebene und für RISC-V kompilierte Programme erzeugt. Die Forschung soll Ausführung ohne Offenlegung der Eingaben oder erneute Berechnung überprüfbar machen.
Zeitraum der Quellenprüfung: 2026-10-15
Veröffentlicht: · Aktualisiert:
Die Quelle nennt kein Ereignisdatum; angezeigt wird der Zeitraum der Quellenprüfung.
Microsoft Research stellte am 15. Oktober Magnetar vor, das Zero-Knowledge-Beweise für in Rust, Go oder C geschriebene und für RISC-V kompilierte Programme erzeugt. Die Forschung soll Ausführung ohne Offenlegung der Eingaben oder erneute Berechnung überprüfbar machen.
Microsoft meldet bei 15 Testprogrammen auf demselben Laptop durchschnittlich 10- bis 39-fache Geschwindigkeit gegenüber den schnellsten vergleichbaren Vorgängersystemen. Die Sicherheit beruht auf Standard-Hashfunktionen; der Nachweis der Regelkonformität eines KI-Agenten wird als mögliche Anwendung beschrieben, nicht als eingerichteter Dienst.
Daten
Microsoft stellt Magnetar-Forschung zum Nachweis von Programmausführung vor
Microsoft stellt Magnetar-Forschung zum Nachweis von Programmausführung vor
- · eingetreten
Veröffentlichung des Forschungsberichts
Microsoft Research stellte am 15. Oktober Magnetar vor, das Zero-Knowledge-Beweise für in Rust, Go oder C geschriebene und für RISC-V kompilierte Programme erzeugt. Die Forschung soll Ausführung ohne Offenlegung der Eingaben oder erneute Berechnung überprüfbar machen.
Methodik
Die Ergebnisse werden der Quelle zugeschrieben; keine unabhängige Leistungsmessung.
Aktualisiert:
Themen und Orte
Themenvorschläge
- Wissenschaft, Technik, ForschungVorgeschlagene Kennzeichnung
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Geografische Angaben
Angezeigt werden nur geografische Angaben aus der Quelle. Eine externe Karte lässt sich optional öffnen. Optionale Karten in Artikeln nutzen OpenStreetMap. Beim Öffnen werden Ihre IP-Adresse und die Adresse dieser Website an den Kartenanbieter übermittelt. Ortsangaben bleiben auch ohne Karte als Text lesbar.
- Vereinigte Staaten · Funktion des Ortes: Abdeckung · Art des Ortes: Land oder Gebiet · Ortsgenauigkeit: regionalBeleg
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗