Microsoft Research 推出面向基于证明的通用计算的 Magnetar
Proof-based general-purpose computing with Magnetar
- 谁
- Microsoft Research
- 引文
Magnetar is a zero-knowledge virtual machine, or zkVM, and it makes major progress on all three challenges at once.
发生了什么
Microsoft Research 推出 Magnetar，这是一种零知识虚拟机，使用仅基于标准哈希函数的安全机制来证明 RISC-V 程序的执行。它支持用 Rust、Go 或 C 编写的程序，无需开发者将其改写为密码学电路。Microsoft 报告称，在 15 个基准测试程序中，Magnetar 在同一台机器上的平均速度比现有最快的可比 zkVM 快 10 至 39 倍，证明验证时间约为 12 毫秒。
推荐理由
基准测试对比将证明速度与通用执行和标准哈希函数联系起来，阐明了限制可验证计算更广泛采用的权衡。
这件事到目前为止
微软研究院推出了 Magnetar，这是一种零知识虚拟机，可证明 RISC-V 程序的执行。该院报告称，在同一台机器上运行的 15 个基准程序中，Magnetar 的平均速度比现有最快的可比 zkVM 快 10 至 39 倍。 Magnetar 支持用 Rust、Go 或 C 编写的程序，无需开发者将其重写为密码学电路。其安全性仅依赖标准哈希函数。微软报告称，验证证明约需 12 毫秒。
继续阅读
最新日报 · 第 24 期NVIDIA 与 AI4Bharat 推出 Nemotron-pretraining-Indic-v1 及开放数据生成流水线正在热议
明早 08:00 把这样一份日报发到你邮箱
和上面这份一样：几件值得看的事。免费，点确认信之后才会开始发送，每封信都能一键退订。 看一份往期日报 · 2026-10-17