AI × AEC · CURATED INSIGHT
Microsoft Research Introduces Magnetar zkVM for Verifiable Computing
Microsoft Research presented Magnetar, a zero-knowledge virtual machine that proves RISC-V execution using standard hash functions like SHA-256 or SHA-3, eliminating the need for circuit rewrites.
Microsoft Research introduced Magnetar, a zero-knowledge virtual machine (zkVM) for general-purpose computing. Proving executions on the RISC-V architecture, it allows programs written in Rust, Go, or C to generate proofs without circuit rewrites. Across 15 benchmark programs, Magnetar ran 10 to 39 times faster on average than existing zkVMs, with proofs verifying in about 12 milliseconds.
Key takeaways
- Magnetar supports Rust, Go, and C programs compiled to RISC-V, achieving 10 to 39 times faster average proof generation than prior comparable zkVM systems.
- The system relies entirely on standard hash functions such as SHA-256 or SHA-3 for security, avoiding trusted setups and elliptic curves.
Source：Microsoft Research Read the original ↗
Prepared, checked and automatically published by AI; not individually reviewed by a human.