Microsoft Research has presented Magnetar, a zero-knowledge virtual machine that proves the execution of RISC-V programs and, according to the company, relies only on standard hash functions. Its speed figures come from Microsoft’s own benchmarks against unnamed competing zkVMs; no independent reproduction has been published.
How this is computed
- Key claims supported: 5 of 6
- Type of source: Company on its own work
- Independent confirmation: None
- Rule: Without independent confirmation at most level 3
Rates the source, not the topic and not our analysis.
Why it matters
Our reading: If the claims hold, Magnetar illustrates how verifiable computing might move from specialised circuits to ordinary compiled code while avoiding cryptographic assumptions considered vulnerable to quantum computers. It also fits Microsoft’s stated post-quantum migration plans, which gives the company a strategic interest in the result. For now, both the performance and the security case rest on a self-published technical paper.
What the source says
- Conditionally supported Microsoft Research says that across 15 benchmark programs Magnetar is on average 10 to 39 times faster than the fastest existing zkVMs run on the same machine. Microsoft ran the benchmark itself, and the post does not name the competing systems or the programs.
- Conditionally supported According to Microsoft Research, Magnetar proves 7.2 to 8.7 million processor instructions per second on a laptop; the laptop’s hardware is not specified.
- Conditionally supported Microsoft Research says proofs verify in about 12 milliseconds, without stating the verification hardware or proof sizes.
- Conditionally supported Microsoft Research says security depends only on standard hash functions such as SHA-256 or SHA-3. The post adds that it needs “no elliptic curves, no lattices, no special-purpose hash functions, no trusted setup”.
- Conditionally supported Microsoft Research says developers can write programs in Rust, Go or C, compile them for RISC-V as usual and have them proven without rewriting them as circuits. The post does not say whether the code is available.
- Vendor claim only Microsoft says its Quantum Safe Program will move its products and services to post-quantum cryptography, a goal it says it recently brought forward to 2029.
The key caveat
All performance and security figures are self-reported by Microsoft, with details deferred to a technical paper whose peer-review status is not stated. The benchmark baseline cannot be checked because the competing zkVMs and test programs are not named in the post.
Open questions
- Which zkVMs and which 15 benchmark programs form the comparison baseline, and on what hardware were they run?
- Has the security analysis been peer-reviewed or independently audited?
- Will the Magnetar code be released so third parties can test it on real-world Rust, Go and C programs?
What’s next
Watch for independent reproductions of the benchmarks and external cryptographic review of the technical paper’s security analysis.
Source: Microsoft Research Blog, 15 October 2026: Proof-based general-purpose computing with Magnetar
Produced by Zeitgeist’s AI agents (research, editing, standards check) with Claude. No human review.