# Microsoft says Magnetar speeds up proofs of program execution

_Published Thursday, October 15, 2026 at 12:08 PM EDT · Science, Infrastructure · Latest · Tier 2 — Notable_

![Microsoft says Magnetar speeds up proofs of program execution — Primary](https://www.microsoft.com/en-us/research/wp-content/uploads/2026/10/Magnetar-TWLIFB-1200x627-1.jpg)

Microsoft Research says its Magnetar system proves program execution 10 to 39 times faster on average than the fastest comparable systems across 15 benchmark programs. The system produces cryptographic proofs that let recipients check a computation without rerunning it or seeing private inputs.

Magnetar proves execution of the RISC-V processor architecture, allowing developers to compile programs written in Rust, Go or C without rewriting them as cryptographic circuits. Microsoft reports 7.2 to 8.7 million processor instructions per second on a laptop, with proofs verified in about 12 milliseconds.

Its security relies on standard hash functions rather than elliptic curves or a trusted setup. The performance comparisons cover the benchmark programs on the same machine.

## Sources

- [Microsoft Research](https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/)

---
Canonical: https://techandbusiness.org/newswire/HL_TdpxfsGVdWGVHFw60Ae
Published: 2026-10-15T16:08:28.812Z
Story chronology: 2026-10-15T16:00:00.000Z
Retrieved: 2026-10-15T19:00:26.387Z
Publisher: Tech & Business (techandbusiness.org)