イーサリアムの共同創設者であるヴィタリック・ブテリンは、さまざまな証明システムを大幅に高速化することを目的とした新しいプロトコル群であるGKRプロトコルを発表しました。GKRは、ZK-EVMやzk-MLのようなシステムにおける高速な証明において重要な役割を果たし、多層の低次数処理やハッシュ化やニューラルネットワークのような反復的な関数適用を含む計算を最適化します。このプロトコルは、中間層を省略し、入力と出力にのみコミットメントを要求することで効率を向上させます。 GKRは、グルーントリックやPoseidon2のバッチ処理などの技術を用いて、ラウンドごとのサムチェック計算を削減する最適化を通じてこれを実現しています。理論的には、従来のSTARKsで100倍だったPoseidonハッシュの証明オーバーヘッドをわずか15倍に削減し、実際には10倍未満になることもあります。データ量が増加するにつれて、オーバーヘッドはゼロに近づき、証明システムの効率性における大きな進歩を示しています。