微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可直接证明用 Rust、Go、C 编写的 RISC-V 程序执行，在三种语言间通用。微软研究院称，它在 15 个基准程序上平均比现有最快同类系统快 10 到 39 倍。
据微软研究院介绍，Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，证明验证约需 12 毫秒；其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，不需要椭圆曲线、格、专用哈希函数或可信设置。
AI 根据报道生成 · 2 小时前更新