Microsoft Research presents Magnetar for proof-based general-purpose computing
Microsoft Research presents Magnetar, a zero-knowledge virtual machine that proves RISC-V program execution using security based only on standard hash functions. It supports programs written in Rust, Go, or C without requiring developers to rewrite them as cryptographic circuits. Across 15 benchmark programs, Microsoft reports average speeds 10 to 39 times faster than the fastest existing comparable zkVMs on the same machine, with proofs verified in about 12 milliseconds.
Why it matters: The benchmark comparisons connect proving speed with general-purpose execution and standard hash functions, clarifying the tradeoffs that have limited broader adoption of verifiable computing.

