イーサリアムの 12 GPU の証明問題に 4 GPU の答えが得られた

ZisK の新しい 4 GPU ベンチマークの主張により、イーサリアムのリアルタイム証明レースにおける主要なハードウェア数が減少しました。 2 月に、集中化のリスクの可能性として、約 12 GPU のセットアップを調査しました。新しい数字は、作業負荷と動作条件が同等であれば、プルーフ生成を独立したオペレータに近づける可能性があります。

ZisK はオープンソースのゼロ知識仮想マシンプロジェクトであり、8 月 18 日、その v1.1.0 アルファ証明者が 4 つの RTX 5090 GPU で 9.62 秒の p99 を記録したと発表しました。追跡調査では、テストされたイーサリアムブロックの99.7％が10秒以内に完了したと述べた。

Jordi Baylina は、この結果を、4 GPU の証明と、主張されている 128 ビットのセキュリティおよびポスト量子耐性を組み合わせたマイルストーンとして増幅しました。

イーサリアムの作業標準では、メインネットのブロックの少なくとも 99% が 10 秒以内に証明されることが求められています。 ZisK の p99 が同等のメインネットブロックのワークロードとタイミング境界で計算された場合、9.62 秒はそのしきい値より 0.38 秒下回ります。

ZisK はブロック範囲、サンプルサイズ、p99 計算、タイミング境界、プルーフサイズ、または 4 GPU 実行時のシステム全体の消費電力の測定値をまだ公表していません。現時点では、この発表はベンチマークの主張です。

6 つの部分からなるテスト

イーサリアム財団は、レイテンシの目標を、分散化を維持することを目的とした他の 5 つの条件と組み合わせました。それは、オンプレミスの機器のコストが 10 万ドル以下、消費電力が 10 キロワット以下、完全にオープンソースのコード、少なくとも 128 ビットのセキュリティ、および信頼できるセットアップなしで証明が 300 KiB 以下であることです。

CryptoSlate は、財団が 128 ビットのセキュリティしきい値を重視していることも追跡しました。

ZisK のリポジトリは MIT または Apache 2.0 に基づいてライセンスされており、プロジェクトは新しい結果に対して 128 ビットのセキュリティを主張しています。この発表には同等のテストに必要な作業負荷と測定の詳細が不足しているため、遅延条件は暫定的なものにとどまります。

ハードウェア演算は有望に見えますが、家庭での実用性は未解決のままです。 Nvidia は、リファレンス RTX 5090 の合計グラフィックス電力を 575 ワットと指定しています。4 枚のカードの合計 GPU のみの定格は 2.3 kW であり、CPU、メモリ、ストレージ、変換損失、冷却が計算に入る前の 10 kW の上限を下回っています。

Nvidia は RTX 5090 を 1,999 ドルで発売し、発売時のメーカー希望小売価格は 4 枚のカードで 7,996 ドルでした。この数字では、マルチ GPU マシンの残りの部分には 100,000 ドルを下回る大きな余地が残されています。

リグは名目予算内に収まっても、小規模なオペレータの電力供給、冷却、またはホストハードウェアの容量に負担がかかる場合があります。高速プルーフ生成には、イーサリアムのプルーフサイズとセットアップルールも満たさなければなりません。

ZisK の 4 GPU イーサリアムの証明に関する主張は暫定的なものであり、システム全体の電力とコストは未解決のまま、9.62 秒の遅延が報告されています。

OpenVM はベンチマークの境界が重要な理由を示します

OpenVM の 7 月の製品リリースでは、ブロック 24,000,000 から始まる 7,200 個の Ethereum メインネットブロックにわたる 8 つの 5090 GPU で 9.8 秒の p99 が報告されました。実行では 100 ビットの証明可能なセキュリティが使用され、300 KB 未満の証明が生成されました。

ZisK の 4 GPU という数字は真の効率向上を表している可能性がありますが、同等の入力が欠落しているため信頼できるランキングが妨げられています。セキュリティレベルは異なり、ZisKはその結果にプルーフサイズを添付しておらず、テストされたブロック数とタイミング境界は未公開のままです。

Ethproofs API は、証明時間に証人の生成を含み、データのフェッチと証明送信のレイテンシーを除くと定義しています。異なる間隔で計算された p99 は、異なる運用負荷を測定しながらも同様に見える可能性があります。

Ethproofs は現在、v0.18.0 までの ZisK バージョンをリストしており、16 GPU RTX 5090 ZisK 構成を公開しています。独立した 4 GPU v1.1.0-alpha p99 の結果はまだ示されておらず、公開された再現性のベースラインがないまま発表となっています。

ZisK のリリース履歴では v1.1.0-alpha であることが確認されていますが、そのリポジトリでは現在のラインがセキュリティと正確性の監査を受ける製品リリースの基盤であると説明されています。

2025 年 11 月に公開された OpenZeppelin レビューでは、過去のコミットにおける ZisK バイナリと主な制約の限られたセットを調査しました。 1 つの重大な問題と 2 つの高重大度の問題を含む 13 件の調査結果が報告されましたが、そのレポートでは解決済みとマークされたものはありませんでした。

CryptoSlate の 2 月の分析では、約 12 GPU、7 秒のセットアップが新たな集中化リスクとして挙げられました。 ZisK は現在、以前の懸念とは別に 4 GPU の実行を主張していますが、構成が同等であることは示されていません。

開示されたメインネットブロックセット、完全なタイミング定義、信頼できるセットアップなしの 300 KiB 未満の証明、測定された壁面電力、および独立して実行可能なリリースがあれば、結果は家庭での証明のブレークスルーの証拠となるでしょう。

今のところ、この主張は単純なデータセンター規模の反対意見を弱めているが、運用上の訴訟は未解決のままである。