{
  "id": 14734541,
  "title": "Proof-based general-purpose computing with Magnetar",
  "url": "https://urgent.news/2026/10/15/proof-based-general-purpose-computing-with-magnetar",
  "topic": "ai",
  "section": "AI",
  "published": "2026-10-15T16:00:00.000Z",
  "source": {
    "name": "Microsoft Research",
    "slug": "microsoft-research",
    "url": "https://www.microsoft.com/en-us/research/blog/proof-based-general-purpose-computing-with-magnetar/"
  },
  "original_language": "en",
  "account": "At Microsoft Research, over a decade of work has been invested in making zero-knowledge proofs and verifiable computing practical. Prior attempts had focused on small programs and introduced compromises in efficiency, usability, or security. The latest breakthrough from Microsoft Research, known as Magnetar, addresses these three challenges simultaneously.\n\nMagnetar enables the creation of proofs for programs written in Rust, Go, or C. On average, it runs 10 to 39 times faster than the fastest prior systems. Its security rests solely on standard hash functions, ensuring it remains trustworthy even decades into the future. Moreover, Magnetar's proof generation and verification processes are streamlined, making it possible for normal programs to utilize zero-knowledge proofs without requiring cryptographic expertise.\n\nThe impact of Magnetar extends to various domains. For instance, an AI agent acting on someone's behalf could append a proof that each action adhered to the policy it was given. Regulated financial institutions could demonstrate the correct processing of transactions without exposing sensitive information. By verifying a result based on the accompanying proof, correctness no longer needs to be contingent on the trustworthiness of the program's producer.",
  "summary": "Zero-knowledge proofs can verify computing results without rerunning workloads or exposing sensitive data. Magnetar helps bring them into the mainstream with support for standard programming languages, major speed gains, and quantum-resistant security. The post Proof-based general-purpose computing with Magnetar appeared first on Microsoft Research .",
  "key_points": [
    "Magnetar enables proofs for Rust, Go, or C programs",
    "10 to 39 times faster than prior systems",
    "Security based on standard hash functions"
  ],
  "editors_take": null,
  "illustration": null,
  "coverage": {
    "outlets": 1,
    "also_reported_by": []
  },
  "ai_generated": true,
  "disclaimer": "Summaries, key points and the editor’s take are written by software from other outlets’ reporting and may contain errors — always check the linked original."
}