Microsoft Research Introduces Magnetar zkVM to Prove General-Purpose Program Execution

1. 00:00
   Microsoft ResearchPicks

   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.

Trends compare the same continuously observed participants, which may cover fewer sources than current heat. Point or click to inspect hourly heat, or use left and right arrow keys.