事件记录历史事件
微软研究院发布零知识证明系统Magnetar
1 篇报道1 个报道来源11 天前更新
先了解这件事
报道摘要
微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。
摘自 Microsoft Research
报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft Research精选微软研究院发布 Magnetar：基于证明的通用计算 zkVM
微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，证明验证约 12 毫秒。