gkr

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