热点事件持续更新
Microsoft Research发布Magnetar零知识证明工具
2 篇报道2 个报道来源1 小时前更新
先了解这件事
AI 综述
2026年10月16日，Microsoft Research发布零知识虚拟机Magnetar，可证明用Rust、Go或C编写的RISC-V程序执行，并生成毫秒级可验证的简短证明。同日，Microsoft Research在X上进一步说明，零知识证明可在不重新运行工作负载、不暴露敏感数据的情况下验证计算结果；Magnetar通过支持标准编程语言、大幅提速以及抗量子安全性，推动零知识证明走向主流。目前进展为发布与官方介绍，尚无后续应用或评测信息。
AI 根据报道生成 · 1 小时前更新
最新进展10月16日 00:05
微软发布Magnetar零知识虚拟机，支持Rust、Go、C程序并生成毫秒级证明。报道时间线
沿着报道，了解事件的不同侧面。
10月16日
- Microsoft Research (@MSFTResearch) · X微软Magnetar推动零知识证明主流化
零知识证明可以在不重新运行工作负载、不暴露敏感数据的情况下验证计算结果。Magnetar 通过支持标准编程语言、大幅提速以及抗量子安全性，帮助零知识证明走向主流：https://msft.it/6016atJb6
- Microsoft ResearchMicrosoft Research 发布 Magnetar：基于标准哈希的通用零知识证明计算
Microsoft Research 发布零知识虚拟机 Magnetar，可证明 Rust、Go 或 C 编写的 RISC-V 程序执行，并生成毫秒级可验证的简短证明。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。