阅读
工具
关于
微软研究院推出了 Magnetar，这是一种零知识虚拟机，可证明 RISC-V 程序的执行。该院报告称，在同一台机器上运行的 15 个基准程序中，Magnetar 的平均速度比现有最快的可比 zkVM 快 10 至 39 倍。 Magnetar 支持用 Rust、Go 或 C 编写的程序，无需开发者将其重写为密码学电路。其安全性仅依赖标准哈希函数。微软报告称，验证证明约需 12 毫秒。
AI 根据报道生成 · 2 天前更新
沿着报道，了解事件的不同侧面。
Microsoft Research 推出 Magnetar，这是一种零知识虚拟机，使用仅基于标准哈希函数的安全机制来证明 RISC-V 程序的执行。它支持用 Rust、Go 或 C 编写的程序，无需开发者将其改写为密码学电路。Microsoft 报告称，在 15 个基准测试程序中，Magnetar 在同一台机器上的平均速度比现有最快的可比 zkVM 快 10 至 39 倍，证明验证时间约为 12 毫秒。
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。
