Microsoft Research unveils Magnetar, a zero-knowledge proof system for Rust, Go and C programs

Microsoft Research has introduced Magnetar, a zero-knowledge proof system built to support proof-based general-purpose computation. The system can generate proofs that programs written in Rust, Go, or C were executed correctly, according to the announcement cited by Techub. Microsoft Research said Magnetar delivers a major speed gain over earlier systems in the same category. Proof generation is, on average, 10x to 39x faster than the previous fastest comparable systems. The research group also said Magnetar’s security relies only on standard hash functions. In its description of the project, Microsoft Research framed Magnetar as an attempt to tackle three hurdles that have limited broader zero-knowledge proof adoption: proof generation speed, usability for ordinary programmers, and a cryptographic foundation that can remain trustworthy over the long term. The release positions Magnetar as a system meant to make proving the correct execution of conventional software more practical without requiring developers to abandon mainstream programming languages.