跳到正文
热点事件历史事件

微软研究院 Magnetar：基于哈希函数的通用零知识证明系统

1 篇报道1 个报道来源18 天前更新

先了解这件事

AI 综述

微软研究院发布零知识虚拟机 Magnetar，可证明用 Rust、Go 或 C 编写的程序。微软研究院称，其平均运行速度比此前最快的同类系统快 10 至 39 倍，安全性仅依赖标准哈希函数。 按微软研究院给出的数据，Magnetar 在笔记本上每秒可证明 720 万至 870 万条处理器指令，优化版本每秒可证明 950 万至 1280 万个周期（约为此前速度的 1.3 倍），证明验证耗时约 12 毫秒。 该系统延续 Spartan、Phalanx、Nova 等研究，目标场景包括 AI 智能体行为合规证明和金融机构交易验证。

AI 根据报道生成 · 16 天前更新

最新进展10月16日 00:00
微软研究院 Magnetar：基于哈希函数的通用零知识证明系统

报道时间线

沿着报道，了解事件的不同侧面。

10月16日
  1. Microsoft Research
    微软研究院 Magnetar：基于哈希函数的通用零知识证明系统

    微软研究院推出零知识证明系统 Magnetar，可证明用 Rust、Go 或 C 编写的程序，平均运行速度比此前最快的同类系统快 10 至 39 倍，且安全性仅依赖标准哈希函数。该系统延续了 Spartan、Phalanx、Nova 等十余年研究成果，旨在让生成证明像运行程序一样常规，可用于 AI 智能体行为合规证明和金融机构交易验证等场景。