微软研究院推出Magnetar 实现基于证明的通用计算

Proof-based general-purpose computing with Magnetar

Magnetar推动零知识证明技术普及，支持标准编程语言，性能大幅提升，具备抗量子安全特性，无需重跑工作负载即可验证计算结果。