イーサリアムの共同創設者であるヴィタリック・ブテリンは、プロトコルGKR (Goldwasser–Kalai–Rothblum)を発表しました。これは、暗号証明の効率とブロックチェーン上の計算の検証を大幅に改善することを約束する革新です。

彼の個人ブログに掲載され、公式Xアカウントを通じて共有されたこの発表は、この方法がEthereumや他のネットワークが複雑な計算を処理する方法を最適化できることを説明しており、安全性や透明性を損なうことはありません。

ブロックチェーン効率に適用された数学的進歩

GKRプロトコルは、研究者であるシャフィ・ゴールドワッサー、ヤエル・カライ、ガイ・ロスブルームによって元々導入された暗号モデルに基づいています。その目的は、プライバシーではなく-ゼロ知識システム(ZK)のように-、検証可能な効率性です: 各操作を繰り返すことなく、大規模な計算の有効性を証明することです。

簡単に言えば、GKRは、トランザクションからAIモデルの推論まで、大量の操作を確認することを可能にします。これは、合計チェック技術や多項式変換を用いることで実現されます。このアプローチは、オンチェーンおよびオフチェーンの両方で迅速かつスケーラブルな検証を達成するための強力なツールを表しています。

GKRはより速く、スケーラブルなEthereumへの新たな一歩を刻みます

彼の投稿で、ブテリンはGKRがZKロールアップ、証明の集約システム、人工知能モデルの検証において即座の潜在能力を持っていることを強調しています。これらのすべての領域は、最小限の計算コストで大量の情報を処理するという課題を共有しています。

プロトコルは、ZK-SNARKsやSTARKsなどの技術と統合され、検証の前の層として機能し、証明のサイズと複雑さを減少させます。これは、EthereumのLayer 2ソリューションに対して、ガス料金の削減やスケーラビリティの向上につながる可能性があります。

ブテリンはこの進展を、重い計算がチェーンの外で行われ、検証された結果のみがチェーンに記録される、より軽量でモジュール式の<<ethereum>>のビジョンの中に位置づけています。

熱意は高いものの、ブテリンはGKRが普遍的な解決策ではないことを明らかにしています。なぜなら、その性能は計算の構造、メモリ、並列性の程度に依存するからです。非構造的な環境では、その影響は限られるでしょう。

とはいえ、繰り返しパターンを伴う操作 - ニューラルネットワークやスマートコントラクトの大規模な実行など - では、プロトコルがプロセスを指数関数的に加速する可能性があります。GKRは、検証可能なコンピューティングのグローバルなエコシステムに向けた重要な要素として位置づけられています。

検証可能なコンピューティングの時代へ

GKRを用いて、Ethereumはセキュリティを犠牲にすることなく分散システムがスケールできる未来に向かっています。この革新は、金融アプリケーションから高度な人工知能までをサポートできる分散環境を構築するための努力に加わります。

ブテリンの提案は明確な傾向を再確認しています：ブロックチェーンの次の進化は、単に分散化だけでなく、効率性とインテリジェントな検証にも焦点を当てるでしょう。</ethereum>