ヴィタリック・ブテリンは、Goldreich–Kahan–Rothblum（GKR）プロトコルに関する包括的な記事を発表し、ゼロ知識（ZK）証明を大幅に高速化する可能性を強調しました。この記事では、中間コミットメントを最小限に抑え、入力と出力のコミットメントのみに焦点を当てた「バッチ×多層」計算構造を紹介しています。Poseidon2ハッシュを例に挙げ、ブテリンはsumcheckやGruenのトリック、線形バッチ処理などの最適化を組み込んだ再帰的証明プロセスを説明しています。 この記事は、GKRプロトコルが多項式コミットメントのシナリオでBaseFoldやFRIと統合でき、従来のSTARKに比べて約100倍低いオーバーヘッドを達成し、一桁台のオーバーヘッドが期待できると示唆しています。しかし、ブテリンはFiat–Shamirチャレンジにおける回路内予測可能性に関連する潜在的なリスクを警告し、その実装には注意が必要であると強調しています。