微软研究院发布Magnetar零知识证明系统

2026年10月16日，微软研究院发布零知识虚拟机 Magnetar，可证明以 Rust、Go 或 C 编写的 RISC-V 程序执行。据该来源称，其安全性仅依赖 SHA-256、SHA-3 等标准哈希函数，无需椭圆曲线、格假设、专用哈希函数、可信设置，也不依赖未证明的纠错码猜想。性能方面，该来源称 Magnetar 在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，优化版本每秒可证明 950 万至 1280 万周期，使上述各项速度约提升 1.3 倍；证明验证耗时约 12 毫秒。上述性能数据与免依赖条件均出自微软研究院的发布说明，为其单方表述。目前事件仍处发布阶段，尚无后续跟进报道。

AI 根据报道生成 · 2 小时前更新

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