Microsoft Research introduces Magnetar for proof-based general-purpose computing

Magnetar is a new form of computing using zero-knowledge proofs, allowing a workload to produce a short, verifiable proof alongside its result. This enables anyone to check the proof in milliseconds without rerunning the program or trusting the operator. Magnetar proves programs written in Rust, Go, or C, running 10 to 39 times faster on average than prior fastest comparable systems, and bases its security only on standard hash functions.