ビタリックブテリンがイーサリアムの証明システムを強化するためのGKRプロトコルを発表

ヴィタリック・ブテリンがイーサリアムのプルーフシステムを強化するためのGKRプロトコルを発表

イーサリアムの共同創設者であるヴィタリック・ブテリンが、ZK-EVMおよびzk-ML環境全体で計算を劇的に加速するように設計された新しい暗号証明システムのファミリーであるGKRプロトコルを導入しました。

効率のために構築されたGKRは、入力と出力のみにコミットすることで、前例のない速度で証明生成を可能にし、すべての中間計算ステップを検証する必要を排除します。

証明性能のブレイクスルー

GKR ( ゴールドワッサー–カライ–ロスブルーム ) アプローチは、複数の低次数レイヤーを使用し、ハッシュ化やニューラルネットワーク推論などの類似の操作を繰り返す計算に最適化されています。これらは、暗号技術とAIの両方で一般的な構造であり、大規模な証明は何百万もの操作を同時に処理しなければなりません。

従来のSTARKのような証明システムとは異なり、各層でのコミットメントを必要とするGKRの洗練された手法は、エンドポイントに焦点を当てており、オーバーヘッドを大幅に削減します。その結果、特に計算要求が膨大なZK-EVMやzk-MLモデルにおいて、証明の作成が非常に速くなります。

妥協のない効率性

ブテリンによると、GKRの強みはそのシンプルさにあります。それは入力と出力にのみコミットし、間のステップを検証するために合計チェック証明の構造を利用しています。この構造は、ハッシュ処理(や、Poseidon)、またはニューラルレイヤーのような反復作業に最適であり、パターンを効率的に並行して証明することができます。

GKR自体はゼロ知識プライバシーを提供しませんが、ZK-SNARKまたはZK-STARKシステム内でラップすることで機密性を追加できます。プロトコルの設計は、高い効率を維持しながら、正確性の検証において完全な数学的厳密性を保つことを可能にします。

イーサリアムにとってなぜ重要なのか

ブテリンは、GKRがブロックチェーンのスケーラビリティと証明計算において大きな前進を代表していることを強調しました。冗長なコミットメントを避け、エンドツーエンドの検証に焦点を当てることで、GKRは膨大な作業負荷を迅速かつ低コストで証明することを可能にします。

イーサリアムがより高速でスケーラブルなゼロ知識システムに向かって進化し続ける中で、GKRは暗号とAIアプリケーションの両方で次世代の計算証明フレームワークを支えるコアコンポーネントになる可能性があります。