跳到正文
熱點事件持續更新

Microsoft Research 介紹 zkVM Magnetar

1 篇報道1 個報道來源3 小時前更新

先了解這件事

AI 綜述

2026年10月16日,Microsoft Research 介紹 Magnetar,一款零知識虛擬機(zkVM),可為以 RISC-V 執行的程式生成證明,支援以 Rust、Go 或 C 編寫的程式。報道指出,其安全性只依賴標準雜湊函數。在筆記型電腦上,Magnetar 每秒可證明 7.2 至 8.7 百萬條處理器指令;在15項基準測試中,平均速度比同一部電腦上最快的既有 zkVM 快 10 至 39 倍,生成的證明約 12 毫秒即可完成驗證。

AI 根據報道生成 · 2 小時前更新

報道時間線

沿着報道,瞭解事件的不同側面。

10月16日
  1. Microsoft Research精選
    Magnetar 以零知識證明支援通用計算

    Microsoft Research 介紹 Magnetar,一款零知識虛擬機(zkVM),可證明以 RISC-V 執行的程式,支援以 Rust、Go 或 C 編寫的程式,安全性只依賴標準雜湊函數。在筆記型電腦上,Magnetar 每秒可證明 7.2 至 8.7 百萬條處理器指令;在15項基準中,其平均速度比同一部電腦上最快的既有 zkVM 快 10 至 39 倍,證明約 12 毫秒即可完成驗證。

本事件熱度走勢

還沒有足夠的連續觀測數據,暫不繪製趨勢。