微软发布零知识虚拟机Magnetar

微软研究院发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序。据微软研究院称，它在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍，在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，证明约 12 毫秒内可验证。 微软研究院称，Magnetar 的安全性只依赖 SHA-256 或 SHA-3 等标准哈希函数，无需受信任设置或椭圆曲线，并称其通过支持标准编程语言、大幅速度提升和抗量子安全性，帮助把零知识证明推向主流。上述性能与安全特性均出自微软研究院的说法，具体实现程度和适用范围尚未在报道中给出。

AI 根据报道生成 · 53 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。