热点事件历史事件
Microsoft Research 发布 Magnetar 通用计算零知识证明系统
1 篇报道1 个报道来源4 天前更新
先了解这件事
AI 综述
2026 年 10 月 16 日，Microsoft Research 发布通用零知识虚拟机 Magnetar。该系统能够为用 Rust、Go、C 编写的程序生成执行正确性证明，无需针对特定电路进行定制化设计。据 Microsoft Research 一手报告，Magnetar 在 15 个基准测试上平均比同类最快的系统快 10 至 39 倍。作为一款通用零知识虚拟机，Magnetar 旨在为多种编程语言和计算任务提供高效的可验证计算能力。
AI 根据报道生成 · 4 天前更新
最新进展10月16日 00:00
Microsoft Research 发布 Magnetar，在 15 项基准测试中速度达同类最快系统的 10 至 39 倍。报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft ResearchMicrosoft Research 发布 Magnetar 通用零知识虚拟机
Microsoft Research 发布通用零知识虚拟机 Magnetar，能为 Rust、Go、C 编写的程序生成执行正确性证明，在 15 个基准测试上平均比同类最快的系统快 10 至 39 倍。
本事件热度走势
当前热度 3·可比范围峰值 10（10月16日 01:00）·近 24 小时可比范围变化 -49%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。