Proof-based general-purpose computing with Magnetar
Microsoft Research introduces Magnetar, proof-based computing where a short zero-knowledge proof shows a program ran correctly and can be checked in milliseconds without rerunning it.
Why it matters: Anyone who needs to trust a computed result can check a short proof in milliseconds instead of rerunning the program.