私たちは@ziskvmシステムの上にグラフベースのzkVMを構築しています。 私たちの目標は、プロバーアーキテクチャを基本から再考し、より良いパフォーマンス、移植性、セキュリティを実現することです。🧵

ZKPの証明は「スピード第一」の時代に突入しています。ほぼすべてのプロバーがGPUアクセラレーションをサポートしています(CUDA、Metalなど)。 しかし、ハードウェアのオフロードの背後にあるアーキテクチャは、生のハードウェアと同じくらい重要です。

現在、主に二つのアプローチがあります。 - HALモード:同じ関数呼び出し、異なるハードウェアバックエンド。 - グラフモード:証明プロセス全体を計算グラフとしてエンコードし、プラットフォームごとに最適化・コンパイルを行います。

その分裂は明確です: - グラフモード→AIシステム - ほとんどのZKP証明器はHALモード→(歴史的でCPU優先の理由から) HALは便利ですが、計算のグローバル構造を隠しています。

グラフモードは、プロバー全体を明示的かつ検査可能にし、より深い最適化、クロスプラットフォーム実行、そしてより強力なセキュリティと監査性を可能にします。 今後の投稿では、この設計がグラフベースのzkVMをどのように形作り、何を解放するかをお伝えします。⚡️