Magnetarは通常コードの証明を高速化するが、信頼のコストは消えない

Microsoft Researchは、RV64I命令セット向けにコンパイルしたプログラムを扱う透明型zkVM、Magnetarを公開した。計算全体をやり直さずに正しい実行を証明でき、用途によっては機密入力も開示せずに済む。

RV64Iが暗号回路を一般的なコンパイル先に変える

安全性はSHA-256やSHA-3などの標準ハッシュ関数に基づき、trusted setupを必要としない。Rust実装は120ビットの安全性を掲げる。M4 Maxと高性能コア12基を備えたMacBook Proでは、毎秒650万から770万サイクルを処理した。証明は約600 KiBで、検証時間は10から12 msだった。

15種類のアプリケーション負荷で、著者らはSP1 Hypercubeの22倍から57倍のスループットを報告した。2種類のJoltとの比較では、システムと負荷に応じて5倍から33倍としている。

通常のtoolchainが開発者の参入コストを下げる

重要なのは単独の記録よりRV64Iへの対応だ。RustやGoを汎用命令セットへコンパイルでき、アプリケーションを専用の暗号回路へ手作業で変換する負担を減らせる。検証可能なクラウド処理、計算監査、blockchainアプリケーションが現実的な対象になる。

高コストな計算は一度だけ実行し、受け手は小さな証明を確認する。既存の開発工程に近い形で統合できれば、証明は独立した研究案件ではなくdeploymentの部品になり得る。

一つのbenchmark勝利だけでは本番採用を決められない

数値は著者自身が特定のマシンで測定したものだ。zkVMの比較は負荷、compiler、メモリ、並列化、安全性設定で変わる。今回の比較でJoltの証明は100 KiB未満だった一方、Magnetarは異なる前提と性能の組み合わせに約600 KiBを使う。

ここでいう耐量子性は標準ハッシュ関数に基づく安全性を指す。アプリケーション、compiler、zkVM内で動くコード全体の安全性まで保証する言葉ではない。

実運用がメモリ、費用、移植性の負担を示す

x86とARMサーバーでの再現試験、長時間処理のメモリ消費、証明1件当たりの費用が次の焦点になる。独立したチームが既存のRustやGoプログラムを大幅な改修なしに動かせるかも重要だ。

本番統合によって、高速な暗号技術がボトルネックを消したのか、それともcompiler、運用、監査へ移しただけなのかが分かる。

Lilithの判定

Magnetarは計算のやり直しではなく、600 KiBの明細を検証者に渡す。Microsoftの研究室を出ても合計が合うか、次は独立チームが確かめる番だ。