微软研究院发布Magnetar零知识证明系统
热点事件历史事件
微软研究院发布Magnetar零知识证明系统
1 篇报道1 个报道来源10 天前更新
先了解这件事
AI 综述
微软研究院发布零知识虚拟机 Magnetar，可证明 Rust、Go、C 编译后的 RISC-V 程序执行。微软研究院称，Magnetar 在笔记本上每秒证明 7.2 至 8.7 百万条处理器指令，在 15 个基准程序（从密码学哈希到小型 EVM 解释器内的代币转账）上平均比同机现有最快 zkVM 快 10 至 39 倍，在代币转账基准上比另外两个 zkVM 快 300 倍以上。 微软研究院还称，优化版 Magnetar 每秒可证明 9.5 至 12.8 百万个周期，使上述各项加速比再提高约 1.3 倍；其证明验证耗时约 12 毫秒。上述性能数据均出自微软研究院，尚待第三方验证。
AI 根据报道生成 · 10 天前更新
最新进展10月16日 00:00
微软研究院发布 Magnetar：基于证明的通用计算 zkVM报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft Research精选微软研究院发布 Magnetar：基于证明的通用计算 zkVM
微软研究院发布零知识虚拟机 Magnetar，可证明 Rust、Go、C 编译后的 RISC-V 程序执行，在笔记本上每秒证明 7.2 至 8.7 百万条处理器指令，15 个基准程序上平均比现有最快 zkVM 快 10 至 39 倍，证明验证约 12 毫秒。