Microsoft Research Blog

Proof-based general-purpose computing with Magnetar 

October 15, 2026 | Srinath Setty
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.

Recent Posts

  1. Magnetar proves a program's execution and returns a small proof that anyone can check, with security resting only on standard hash functions.

    Proof-based general-purpose computing with Magnetar 

    October 15, 2026 | Srinath Setty

    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.

  2. Diagram showing tutor guidance to student and real student feedback to tutor being hard to scale. With AI Student Simulator, fast proxy feedback is provided.

    Simulating student learning for better AI tutoring 

    October 12, 2026

    StudentSim is a research system for evaluating and improving AI tutoring tools before they are tested with learners. It models how individuals may engage with tutors, giving feedback to improve tutor performance across subjects like chess, writing, and mathematics.

  3. GridSFM diagram depicting the workflow

    Forecasting space weather risks on power grids 

    September 30, 2026 | Rohan Kannan

    Extreme space-weather events can damage power systems on Earth and degrade GPS accuracy and satellite operations. A new machine learning system can predict where damage is likely to occur 30-60 minutes before a storm arrives.

  4. Two images showing the robot performing the same task of handing over a tape from one robot arm to another. The videos show that while the task succeeds when the inference latency is low, the handover fails with high inference latency as is the case with onboard robot GPUs.

    Offloaded inference for real-world physical AI robotics 

    September 23, 2026

    Robots are getting smarter, but how can their hardware match that growth? New Microsoft Research findings show that moving AI inference beyond the robot can improve task success, boost efficiency, and support more advanced physical AI workloads.

Explore More

  • Events & conferences

    Events & conferences 

    Meet our community of researchers, learn about exciting research topics, and grow your network

  • Podcasts

    Podcasts 

    Ongoing conversations at the cutting edge of research

  • Microsoft Research Forum

    Microsoft Research Forum 

    Join us for a continuous exchange of ideas about research in the era of general AI