ヴィタリック・ブテリンの新しい研究
ヴィタリック・ブテリンは、今後数年でイーサリアムが証明検証とスケーリングにアプローチする方法を再構築する可能性のある新しい研究を発表しました。彼は、ゼロ知識計算をより迅速かつ効率的にするために設計された画期的な証明システムであるGKRプロトコルを紹介しました。
GKRプロトコルの概要
この新しいチュートリアルは、10月20日に彼の個人ブログ vitalik.eth.limo に公開され、Goldwasser–Kalai–Rothblumプロトコルの詳細が説明されています。この再帰的証明集約方法は、イーサリアム（ETH）がスケーリングと検証を完全に扱う方法を変える可能性を秘めています。
「これは、大規模なハッシュやニューラルネットワークスタイルの計算を証明するのに自然に適しています」と彼は書き、ブロックチェーンとAIの両方のワークロードに対する適合性を強調しました。
GKRの利点と設計
GKRフレームワークは、大規模な計算をほとんどオンチェーンのオーバーヘッドで検証し、複雑な暗号証明を簡素化します。ブテリンは、GKRが高価な中間コミットメントを必要とせずに対数時間で証明を処理する方法を説明し、従来のZK-SNARKやSTARKシステムよりもはるかに効率的であると述べています。
GKR自体はゼロ知識ではありませんが、プライバシーのためにZK-SNARKやSTARKレイヤーにラップすることができ、簡潔さと機密性を組み合わせています。
ブテリンのビジョンと今後の展望
GKRは、簡素化され量子耐性のあるネットワーク設計である「リーン・イーサリアム」に対するブテリンの広範なビジョンと一致しています。これは、イーサリアムの迅速な最終性、ロールアップのための証明集約、ゼロ知識ベースのスケーラビリティへの移行を直接サポートします。
このリリースは、レイヤー2ネットワーク間の高度な相互運用性ツールの提案、ノードストレージを最小限に抑えるための部分的なステートレスクライアント、ZKによって可能にされたガバナンスなど、ブテリンからのいくつかの関連するイニシアチブに続くものです。これらはすべて、イーサリアムをより効率的でプライベート、かつアクセスしやすくすることを目指しています。
開発者がGKRベースのシステムの実験を開始するにつれて、イーサリアムの暗号的バックボーンは軽くなり、迅速になる可能性があり、ブテリンのスケーラブルで検証された計算の長期的な目標の実現を助けるでしょう。
