Today for AI
返回热点榜
compute热度 0.0°

AI 聚合热点事件 · 2026/10/16

微软研究院发布 Magnetar：基于哈希的零知识证明实现通用计算验证提速 10-39 倍

1 篇收录报道0 家独立信源交叉印证持续跟踪至 2026/10/16 00:00:00
全景综述与最新动态

微软研究院推出 Magnetar，一种支持 Rust、Go 和 C 语言程序的零知识证明系统。它仅依赖标准哈希函数即可生成可快速验证的执行证明，平均性能比此前最快同类系统提升 10 至 39 倍，显著降低了通用计算可信执行的技术门槛。

最新动向/微软研究院推出 Magnetar，一种支持 Rust、Go 和 C 语言程序的零知识证明系统。它仅依赖标准哈希函数即可生成可快速验证的执行证明，平均性能比此前最快同类系统提升 10 至 39 倍，显著降低了通用计算可信执行的技术门槛。

报道时间线

共 1 篇 · 最新优先
  1. Microsoft ResearchT1·78 分

    微软研究院发布 Magnetar：基于哈希的零知识证明实现通用计算验证提速 10-39 倍

    原标题：Proof-based general-purpose computing with Magnetar

    • Magnetar 支持直接对 Rust、Go、C 等主流语言编写的程序进行零知识证明，无需专用密码学专家介入。
    • 其安全性完全建立在标准哈希函数之上，避免了复杂椭圆曲线或配对运算带来的长期信任风险。
    • 相比现有最快的同类系统，Magnetar 的证明生成速度提升了 10 到 39 倍，大幅缩短了验证延迟。