Microsoft's Magnetar zkVM proves programs 10-39x faster using only standard hash functions
Microsoft Research · rss · 2026-10-16
Microsoft Research unveils Magnetar, a zkVM that proves programs written in Rust, Go, or C with security resting only on standard hash functions. It runs 10-39x faster on average than the prior fastest comparable systems and needs no trusted setup or unproven cryptographic conjectures. The post traces a decade of research — Spartan, Phalanx, Nova folding, Brakedown commitments, Jolt, BinarySpartan — culminating in general-purpose, quantum-safe verifiable computing, with use cases from AI agent policy proofs to confidential financial verification.
More from Infra
- FLUX 3 Image Klein: open-weights image model runs on 8 GB consumer GPUs — The Decoder · 2026-10-16
- Every x86 boot replays 40 years of computing history in milliseconds, in 4 stages — lauriewired · 2026-10-16
- engy.ai processes 50B+ tokens in a day as open-model inference demand surges — const_reborn · 2026-10-16
- New inference engine 'e' hits 10,500 tok/s on a single DGX Station — brandon_galang · 2026-10-16
- SGLang ships Day-0 support for FLUX 3 Image Klein: 10 reference images, BF16/FP8/NVFP4 variants — ying11231 · 2026-10-16
- NVIDIA's Nemotron 3.5 Super VL hits CoreWeave: 12B-active multimodal MoE at $0.25/M input tokens — wandb · 2026-10-16