事件详情
热点事件历史事件
微软研究院发布Magnetar零知识证明系统
1 篇报道1 个报道来源18 天前更新
先了解这件事
AI 综述
微软研究院发布通用零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，生成的短证明约 12 毫秒即可验证。微软研究院称，它在笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令，优化版本可达每秒 9.5 至 12.8 百万周期。 微软研究院称，在 15 个基准程序上，Magnetar 平均比同类最快 zkVM 快 10 至 39 倍，在代币转账基准上比另外两个系统快 300 倍以上。其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，不需要椭圆曲线、格假设、专用哈希函数、可信设置或未证明的纠错码猜想。 该成果是微软研究院十余年零知识证明研究的延续，技术论文给出完整设计、安全分析与测量结果。
AI 根据报道生成 · 18 天前更新
最新进展10月16日 00:00
微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft Research 精选微软研究院发布 Magnetar：基于标准哈希函数的通用零知识证明 zkVM
微软研究院发布 Magnetar，一个通用零知识虚拟机（zkVM），可证明用 Rust、Go 或 C 编写的 RISC-V 程序执行，并返回约 12 毫秒即可验证的短证明。它在笔记本上每秒可证明 7.2 至 8.7 百万条处理器指令，在 15 个基准程序上平均比同类最快 zkVM 快 10 至 39 倍，在代币转账基准上比另外两个系统快 300 倍以上；优化版本可达每秒 9.5 至 12.8 百万周期。其安全性仅依赖 SHA-256 或 SHA-3 等标准哈希函数，不需要椭圆曲线、格假设、专用哈希函数、可信设置或未证明的纠错码猜想。该成果是微软研究院十余年零知识证明研究的延续，技术论文给出完整设计、安全分析与测量结果。