# 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.

- Kanonische URL: https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Herausgeber: Newsverum
- Rubrik: Technologie
- Land: Vereinigte Staaten
- Veröffentlicht: 2026-10-15T20:19:53+00:00
- Aktualisiert: 2026-10-15T20:19:53+00:00
- Zeitraum der Quellenprüfung: 2026-10-15
- Weitere Ausgaben: [Türkçe](https://newsverum.com/tr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [English](https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [العربية](https://newsverum.com/ar/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Français](https://newsverum.com/fr/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Español](https://newsverum.com/es/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*Die Quelle nennt kein Ereignisdatum; der angezeigte Zeitraum entspricht 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

Methodik: Die Ergebnisse werden der Quelle zugeschrieben; keine unabhängige Leistungsmessung.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | 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. | occurred |

Quellen: <https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/> · Daten herunterladen: [JSON](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=de&format=json) · [CSV](https://newsverum.com/api/v1/articles/microsoft-magnetar-verifiable-computing-research-october-2026/data/research-publication?lang=de&format=csv)

## Quellen

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (Quelle geprüft: 2026-10-15; Veröffentlicht: 2026-10-15)

---

Zitieren Sie die oben angegebene kanonische URL. [Redaktionsstandards und Korrekturen](https://newsverum.com/de/editorial)