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

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