Microsoft presents Magnetar research on proving program execution
Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.
Source review period: 2026-10-15
Published: · Updated:
The source does not state the event date; the period shown is the source review period.
Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.
Microsoft reports average speedups of 10–39 times over the fastest comparable earlier systems across 15 benchmark programs on the same laptop. Security rests on standard hash functions; proving an AI agent’s policy compliance is described as a potential use, rather than an implemented service.
Data
Microsoft presents Magnetar research on proving program execution
Microsoft presents Magnetar research on proving program execution
- · Occurred
Publication of the research report
Microsoft Research presented Magnetar on October 15, a system producing zero-knowledge proofs for programs written in Rust, Go or C and compiled for RISC-V. The research aims to let others verify execution without revealing inputs or rerunning the computation.
Methodology
Reported research results are attributed to the source; no independent performance measurement was made.
Updated:
Subjects and places
Subject proposals
- Science and technologySuggested
- Preserved editorial category/topic; broad candidate onlywww.microsoft.com ↗
Geographic references
Only source-provided geographic references are shown. Opening an external map is optional. Optional story maps use OpenStreetMap. Opening a map sends your IP address and this site’s address to the map provider; location data remains readable as text without loading the map.
- United States · Place role: Coverage · Place type: Country or area · Location precision: RegionalEvidence
- Explicit preserved editorial country/region; no city or national centroid inferredwww.microsoft.com ↗