マイクロソフト、ゼロ知識証明システムMagnetarを発表
まずはこの出来事を
AI によるまとめ
2026年10月16日、マイクロソフトリサーチはゼロ知識仮想マシンMagnetarを発表し、Rust、Go、Cで書かれたRISC-Vプログラムの実行を証明できると述べた。発表によると、MagnetarはノートPC上で毎秒720万〜870万のプロセッサ命令を証明でき、15のベンチマークプログラムで既存の最速zkVMより平均10〜39倍高速で、証明の検証には約12ミリ秒かかる。現時点でこの件に関する一次報道はこの1件のみで、続報や相反する主張はない。
報道をもとに AI が作成 · 13 時間前に更新
最新の続報10月16日 00:00
マイクロソフトリサーチがzkVM Magnetarを発表、既存の最速zkVMより10〜39倍高速と主張。報道の時系列
報道をたどり、出来事のさまざまな面を知る。
10月16日
- Microsoft Research精選Microsoft ResearchがMagnetarを公開：証明ベースの汎用計算zkVM
Microsoft Researchはゼロ知識仮想マシンMagnetarを公開した。Rust、Go、Cで書かれたRISC-Vプログラムの実行を証明でき、ノートPC上で毎秒720万〜870万のプロセッサ命令を証明、15のベンチマークプログラムで既存の最速zkVMより平均10〜39倍高速で、証明の検証は約12ミリ秒。
この出来事の注目度の推移
現在の注目度 7·比較範囲のピーク 9（10月16日 03:00）·過去 24 時間の比較範囲での変化 –
推移は、途切れずに観測できた同じ主体どうしだけで比べるため、現在の注目度の集計より範囲が狭いことがあります。ポインタを動かすかグラフをクリックすると 1 時間ごとの注目度が見られます。キーボードでは左右の矢印キーで切り替えられます。