Microsoft releases zero-knowledge proof system Magnetar
Understand the story
On October 16, 2026, Microsoft Research released Magnetar, a zero-knowledge proof virtual machine (zkVM) system. The system can prove the execution of programs written in Rust, Go, or C and compiled to RISC-V, verifying a proof in about 12 milliseconds. According to Microsoft Research, Magnetar is a general-purpose computing system based on zero-knowledge proofs. Only this one report exists so far; there is no follow-up progress or third-party feedback yet.
AI overview of reporting · Updated 3 days ago
Reporting timeline
Explore different aspects of the story through its reporting.
- Microsoft ResearchProof-based general-purpose computing with Magnetar
Microsoft Research released Magnetar, a zero-knowledge-proof virtual machine that can prove the execution of programs written in Rust, Go, or C and compiled to RISC-V, with verification of a proof taking about 12 milliseconds.
Story heat trend
Current heat3·Comparable peak10（10/16 01:00）·Comparable change over 24 hours -49%
The trend compares the same continuously observed sources, which may cover fewer sources than the current heat score. Hover or select the chart to inspect each hour; use the left and right arrow keys to navigate.