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

Vitalik Buterinの最新の文書では、GKR（Goldreich–Kahan–Rothblum）プロトコルがZK証明を加速するために使用され、"バッチ×多層"計算構造に適応され、中間層のコミットメントが大幅に削減され、入力と出力のみにコミットメントが行われることが詳しく説明されています。この記事ではPoseidon2ハッシュを例に挙げています。