Proof-based general-purpose computing

October 2026. Microsoft Research introduces Magnetar on its blog (blog, paper (opens in new tab)).
August 2026. NeutronNova and Neo and SuperNeo appear at CRYPTO 2026.
May 2026. A Microsoft Research blog post presents Vega: zero-knowledge proofs for digital identity in the age of AI (blog). Vega and Nebula appear at IEEE S&P 2026.
May 2025. MicroNova appears at IEEE S&P 2025.
August 2024. HyperNova appears at CRYPTO 2024, and Reef at USENIX Security 2024.
May 2024. Lasso and Jolt appear at EUROCRYPT 2024.