VitalikがGKRチュートリアル記事を公開：超高速ZK証明を支える「バッチ×レイヤー」プロトコル

ChainCatcherの報道によると、Vitalik Buterinは最新の記事で、GKR（Goldreich–Kahan–Rothblum）プロトコルがZK証明の高速化に利用され、「バッチ × 多層」計算構造に適応し、中間層のコミットメントを大幅に削減し、入力と出力のみにコミットメントを行うことを詳述しています。

記事ではPoseidon2ハッシュを例に、sumcheckをコアとした再帰的証明プロセスを詳しく説明し、最適化手法（Gruen’s trick、線形バッチ処理、一部ラウンドでの先頭要素のみの立方化）を提示しています。多項式コミットメントのシナリオでは、BaseFoldやFRIと組み合わせることが可能です。著者は、実際のコストは従来のSTARKの理論値の約100分の1であり、1桁台のコストも期待できると述べ、Fiat–Shamirチャレンジにおいては回路内での予測可能性リスクに注意するよう警告しています。