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

PANews 10月20日のニュース、Vitalik Buterinが最新の文章を発表し、GKR（Goldreich–Kahan–Rothblum）プロトコルがZK証明を加速するために使用されることを詳しく説明し、「バッチ×多層」計算構造に適応し、中間層のコミットメントを大幅に削減し、入力と出力のみにコミットメントを行うことを示しました。この記事ではPoseidon2ハッシュを例にとり、sumcheckを中心とした再帰的証明プロセスを詳しく説明し、最適化（Gruen’s trick、線形バッチ処理、一部ラウンドは立方体の最初の要素のみ）を提供し、多項式コミットメントのシナリオではBaseFoldまたはFRIと組み合わせることができます。著者は、実際のコストが従来のSTARKの約100倍の理論値を下回ると述べ、単一の数字レベルのコストを期待できると警告し、Fiat–Shamirチャレンジは回路内の予測可能性リスクに注意が必要だと述べています。