Microsoft Research· Srinath Setty·· 16 時間前
Microsoft ResearchがMagnetarを公開：証明ベースの汎用計算zkVM
Proof-based general-purpose computing with Magnetar
AI による要約
Microsoft Researchはゼロ知識仮想マシンMagnetarを公開した。Rust、Go、Cで書かれたRISC-Vプログラムの実行を証明でき、ノートPC上で毎秒720万〜870万のプロセッサ命令を証明、15のベンチマークプログラムで既存の最速zkVMより平均10〜39倍高速で、証明の検証は約12ミリ秒。
入選の記録
基準 60公式・一次情報1 回目 622 回目 71
入選二回の合計 133 ≥ 基準の 2 倍 120
- 情報源の区分
- 公式・一次情報、この区分の基準は 60 点
- 予備審査
- 通過：零知识证明zkVM，AI Agent可附证明
- 推薦理由
- Microsoft ResearchがMagnetarのzkVM設計を公開。ゼロ知識証明を汎用プログラムに適用したときの性能と暗号学的なトレードオフがわかる。
採点はモデルが同じ基準で独立に二回行い、満点は 100。二回の合計が基準の 2 倍に届いたものだけが入選します。基準は情報源の区分ごとに決めています。
情報源：Microsoft Research · microsoft.com