PANewsは10月20日、Vitalik Buterin氏がGoldreich–Kahan–Rothblum（GKR）プロトコルを用いてZK証明を高速化する方法について詳述した新しい論文を発表したと報じました。「バッチ×多層」の計算構造に適応することで、この論文では中間コミットメントを大幅に削減し、入力と出力のコミットメントのみを必要とします。Poseidon2ハッシュを例に、記事ではサムチェックを中心とした再帰証明プロセスを詳細に解説し、最適化（Gruenのトリック、線形バッチ処理、一部のラウンドではキューブの最初の要素のみを使用するなど）を提案しています。これは、多項式コミットメントのシナリオにおいてBaseFoldまたはFRIと組み合わせることができます。著者は、実際のオーバーヘッドは従来のSTARKの理論値の約100分の1であり、1桁台のオーバーヘッドが見込まれると述べています。また、Fiat–Shamirチャレンジにおける回路内予測可能性のリスクについても警告しています。