跳到正文
热点事件持续更新

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

1 篇报道1 个报道来源5 小时前更新

先了解这件事

AI 综述

微软研究院发布了一种名为 Magnetar 的零知识证明计算系统,面向用 Rust、Go 或 C 写的通用程序,可对其正确执行生成证明,证明验证耗时约 12 毫秒。 Magnetar 针对 RISC-V 指令集生成证明,开发者只需用常规方式编译上述语言的程序即可。系统仅依赖 SHA-256 或 SHA-3 等标准哈希函数。微软研究院称,其生成速度比现有零知识虚拟机快 10 至 39 倍。

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

报道时间线

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

10月16日
  1. Microsoft Research
    Microsoft Research 发布 Magnetar:通用零知识证明计算系统

    Microsoft Research 发布 Magnetar,这是一种面向通用程序的零知识证明计算系统,可对 Rust、Go 或 C 写的程序生成正确执行证明,验证耗时毫秒级。

本事件热度走势

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