ビタリックブテリンがより高速な証明システムのためのGKRプロトコルを発表

ビタリックブテリンは、イーサリアムが今後数年で確認とスケーリングに取り組む方法を再構築する可能性のある新しい研究を共有しました。

概要

• ビタリックブテリンが、より高速な証明集約のためのプロトコルGKRを紹介します。
• GKRはイーサリアムのZKおよびロールアップシステムの効率を向上させます。
• それは2025年に向けたイーサリアムの「リーン」かつ量子安全なビジョンへの一歩を示しています。

ビタリックブテリンは、ゼロ知識計算をより速く、より効率的にするために設計された画期的な証明システムであるGKRプロトコルを導入しました。

2023年10月20日に、彼の個人ブログvitalik.eth.limoで公開されたブテリンの新しいチュートリアルでは、ゴールドウォッサー–カライ–ロスブルームプロトコルの詳細が説明されています。この再帰的証明集約手法は、イーサリアムがスケーリングと確認を完全に処理する方法を変える可能性を秘めています。

GKRプロトコルと証明効率の未来

GKRフレームワークは、オンチェーンのオーバーヘッドをほとんどかけずに大規模な計算を確認し、複雑な暗号証明を簡素化します。ブテリンは、GKRが高価な中間コミットメントを必要とせずに対数時間で証明を処理する方法を説明しており、従来のZK-SNARKやSTARKシステムよりもはるかに効率的です。

彼の投稿で、ブテリンはレヴ・スフカノフ、ジェンフェイ・チャン、ザカリー・ウィリアムソンに彼らのフィードバックとレビューを称賛し、GKRのコアな強みはスケーラビリティにあると強調しています。「それは、大規模なハッシュのバッチとニューラルネットワークスタイルの計算を証明するための自然な適合です」と彼は書き、ブロックチェーンとAIのワークロードの両方に対する適合性を強調しました。

プロトコルの設計により、証明者は中間段階でのコミットメントを省略でき、コストと計算負荷が低減されます。GKR自体はゼロ知識ではありませんが、プライバシーのためにZK-SNARKまたはSTARKレイヤーにラップすることができ、簡潔さと機密性を組み合わせます。

イーサリアムのロードマップにおける重要な要素

GKRは、ビタリックブテリンの「Lean Ethereum」に対するより広範なビジョンに沿っています。これは、簡素化された量子耐性ネットワーク設計です。イーサリアムの迅速な確定性、ロールアップのためのプロフ集約、およびゼロ知識に基づくスケーラビリティへの移行を直接サポートします。

このリリースは、ビタリックブテリンからのいくつかの関連するイニシアティブに続いています。これには、レイヤー2ネットワーク間の高度な相互運用ツールの提案、ノードストレージを最小限に抑えるための部分的なステートレスクライアント、そしてZKによって可能にされたガバナンスが含まれます。これらはすべて、イーサリアムをより効率的でプライベートかつアクセス可能にすることを目指しています。

イーサリアムの暗号的基盤は、開発者がGKRベースのシステムを試し始めるにつれて、より軽量で高速になる可能性があります。これは、ビタリックブテリンの長期的な目標であるスケーラブルで確認された計算の実現を助けるでしょう。