Proof-based general-purpose computing with Magnetar

T1Covered by 1 source · first reported by Microsoft — Official / Windows / Azure Updates / Research at 15 Oct, 16:00 UTC

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…

Sources

• T1Proof-based general-purpose computing with MagnetarMicrosoft — Official / Windows / Azure Updates / Research15 Oct, 16:00