# Microsoft presents Magnetar research on proving program execution

> Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.

- Canonical URL: https://newsverum.com/en/news/microsoft-magnetar-verifiable-computing-research-october-2026
- Publisher: Newsverum
- Section: Technology
- Country: United States
- Published: 2026-10-15T20:19:53+00:00
- Updated: 2026-10-15T20:19:53+00:00
- Source review period: 2026-10-15
- Other editions: [Türkçe](https://newsverum.com/tr/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), [Deutsch](https://newsverum.com/de/news/microsoft-magnetar-verifiable-computing-research-october-2026.md), [Português](https://newsverum.com/pt/news/microsoft-magnetar-verifiable-computing-research-october-2026.md)

*The source does not state the event date; the period shown is the source review period.*

Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.

Microsoft reports average speedups of 10–39 times over the fastest comparable earlier systems across 15 benchmark programs on the same laptop. Security rests on standard hash functions; proving an AI agent’s policy compliance is described as a potential use, rather than an implemented service.

## Data

### Microsoft presents Magnetar research on proving program execution

Microsoft presents Magnetar research on proving program execution

Methodology: Reported research results are attributed to the source; no independent performance measurement was made.

| date | label | description | status |
|---|---|---|---|
| 2026-10-15 | Publication of the research report | Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation. | occurred |

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

## Sources

- [Microsoft Research](<https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/>) (Source checked: 2026-10-15; Published: 2026-10-15)

---

Cite the canonical URL above. [Editorial standards and corrections](https://newsverum.com/en/editorial)