热点事件持续更新
微软发布 Magnetar 通用零知识证明 zkVM
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
2026年10月16日，Microsoft Research 发布零知识虚拟机 Magnetar。该系统基于标准哈希函数，通过证明 RISC-V 执行，可用简短证明确认 Rust、Go 或 C 程序按预期执行，验证约需12毫秒。官方称其在笔记本上每秒可证明720万至870万条处理器指令；在15个基准程序上，平均比同类最快 zkVM 快10至39倍，优化版本可达每秒950万至1280万个 cycles。
AI 根据报道生成 · 1 小时前更新
最新进展10月16日 00:00
微软研究院发布 Magnetar zkVM，称验证约12毫秒、性能较同类最快方案快10至39倍。报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft ResearchMicrosoft Research 发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM
Microsoft Research 推出零知识虚拟机 Magnetar，可用简短证明确认 Rust、Go 或 C 程序按预期执行，验证约需 12 毫秒。它证明 RISC-V 执行，在笔记本上每秒证明 720 万至 870 万条处理器指令，15 个基准程序平均比同类最快 zkVM 快 10 至 39 倍，优化版本可达每秒 950 万至 1280 万个 cycles。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。