VitalikがZK-EVM、zk-MLなどの高速証明のためのGKRプロトコルについて投稿。

gkrは、zk-evm、zk-mlなどの高速証明を可能にするコア・プロトコルであり、「低次処理の多層＋多数の繰り返し関数アプリケーション」を持つ計算（ハッシュ、ニューラルネットワークなど）に適応している。中間層にコミットする必要がなく、入力と出力にのみコミットすればよいため、効率が劇的に向上する。サムチェックの1ラウンドあたりの計算量の削減（Gruenのトリックなど）、Poseidon2のバッチ処理、その他の最適化により、Poseidonハッシュの理論的な証明のオーバーヘッドはわずか15倍（従来のSTARKは100倍）、実際には10倍以下になることもあり、データ量が大きくなればなるほどオーバーヘッドはゼロに近くなる。