微软研究院提出 Magnetar 零知识证明通用计算验证框架

Proof-based general-purpose computing with Magnetar 微软研究院发布通用零知识证明计算系统 Magnetar。该系统支持使用标准编程语言编写业务逻辑，在无需重新执行完整工作负载或泄露敏感数据的前提下验证计算结果的正确性，在提升计算验证速度的同时引入了抗量子密码学安全保护。