Source Microsoft Research · Published · Open the original ↗
Lab notes
Proof-based general-purpose computing with Magnetar
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.
Microsoft Research publishes this post on its own site. Supence shows only what the publisher allows to be quoted.