Microsoft Research unveils Magnetar system for proof based general purpose computing

Microsoft Research reported that it has developed Magnetar, a system that enables zero-knowledge proofs for general-purpose computing. The framework allows users to verify computing outputs without re-executing workloads or exposing sensitive data. Microsoft Research stated that the system supports standard programming languages, provides computational speed increases, and offers quantum-resistant security. [1]

According to Microsoft Research, current verification relies on trusting operators, vendors, counterparties, or agents through contracts, audits, and logs. Magnetar aims to replace these trust requirements by generating cryptographic proofs alongside computational results. The system addresses the fundamental question of whether a program executed as claimed and generated correct outputs. [1]

Cryptographic proofs of computational effort originated in 1993 when Moni Naor and Cynthia Dwork proposed proof of work to prevent denial-of-service attacks and email spam. Adam Back later expanded on their research in 1997 to formally describe the Hashcash system. [2]