Microsoft Research· Srinath Setty·· 17 h ago
Proof-based general-purpose computing with Magnetar
Proof-based general-purpose computing with Magnetar
AI summary
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.
Selection record
Threshold 60Official, first-handFirst 62Second 71
AdmittedSum of both 133 ≥ twice the threshold 120
- Source tier
- Official, first-hand; this tier's threshold is 60
- Pre-filter
- passed：零知识证明zkVM，AI Agent可附证明
- Why it was chosen
- Covers the design of Microsoft Research's Magnetar zkVM, the performance it reaches on general-purpose programs and the cryptographic trade-offs involved.
A model scores each item twice, independently, against one written standard, out of 100. An item is admitted only when the two scores add up to twice the threshold. The threshold is set per source tier.
Source: Microsoft Research · microsoft.com