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 with Magnetar appeared first on Microsoft Research.
Proof-based general-purpose computing with Magnetar
Publication summary. The terms of Microsoft Research do not allow reproduction of the full article: read the complete text on the original website.
Source summary (English)
Read the full article
www.microsoft.com