グラフベースのzkVMについてさらに詳しく説明していきますが、まずはなぜHALスタイルのプローバーアーキテクチャが上限に達するのかを問いたいです。 性能、セキュリティ、将来のハードウェアサポートを制限する3つの根本的な欠陥が見られます。🧵

欠陥#1:グローバル最適化がない HALはカーネルを一つずつ起動し、計算全体を隠します。 このブロックは以下の通りです: - ホストデバイスのデータ移動の効率化↔ - カーネルをCUDAグラフにパックする方法 - 真のデータレベルマルチGPU並列性 その結果、GPUとCPUの同期が重く、利用率も低くなっています。

欠陥#2:セキュリティと監査の脆弱性の低さ 強力なZKシステムは以下の明示的な可視性を必要とします: - フィアット–シャミール転写相互作用 - 義務の証明およびIOP削減 計算グラフはこの情報を運ぶことができます。 HALはそれをブラックボックスの証明関数()の中に隠しています。

欠陥#3:将来のハードウェア共同設計の制限 新興加速器は、証明の一部(Fiat–Shamir、トレース生成など)をネイティブにサポートしている場合があります。 グラフは新しいハードウェアにコンパイル可能ですが、不透明なprove()関数はできません。

HALはCPUからGPUへの実用的な橋渡しでした。 しかし長期的には、ZKプルーバーやzkVMはグローバルな最適化、強力な監査性、真のハードウェアとソフトウェアの共同設計を実現するためにグラフネイティブでなければなりません。⚡️