热点事件持续更新
微软发布零知识证明系统 Magnetar
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月16日，Microsoft Research 发布零知识证明虚拟机（zkVM）系统 Magnetar。该系统可证明用 Rust、Go 或 C 编写并编译到 RISC-V 的程序执行，验证一条证明约需 12 毫秒。据 Microsoft Research 介绍，Magnetar 是基于零知识证明的通用计算系统。目前事件仅有这一条报道，尚无后续进展或第三方反馈。
AI 根据报道生成 · 2 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft ResearchMicrosoft Research 发布 zkVM 系统 Magnetar：基于零知识证明的通用计算
Microsoft Research 发布零知识证明虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写并编译到 RISC-V 的程序执行，验证一条证明约需 12 毫秒。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。