熱點事件持續更新
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日 00:00
Microsoft Research 介紹 Magnetar,並公佈其效能基準結果。報道時間線
沿着報道,瞭解事件的不同側面。
10月16日
- Microsoft Research精選Magnetar 以零知識證明支援通用計算
Microsoft Research 介紹 Magnetar,一款零知識虛擬機(zkVM),可證明以 RISC-V 執行的程式,支援以 Rust、Go 或 C 編寫的程式,安全性只依賴標準雜湊函數。在筆記型電腦上,Magnetar 每秒可證明 7.2 至 8.7 百萬條處理器指令;在15項基準中,其平均速度比同一部電腦上最快的既有 zkVM 快 10 至 39 倍,證明約 12 毫秒即可完成驗證。
本事件熱度走勢
還沒有足夠的連續觀測數據,暫不繪製趨勢。