Vitalikは、ZK-EVMやzk-MLなどの高速証明を実現できるGKRプロトコルを紹介する記事を公開しました。

Odaily Planet Dailyによると、イーサリアム創設者のVitalik Buterin氏が今朝、GKRプロトコルを紹介する記事を公開した。GKRは、ZK-EVMやzk-MLといった高速証明を実装するための中核プロトコルである。「多層低レベル処理＋広範な繰り返し関数適用」（ハッシュやニューラルネットワークなど）を含む計算に適している。中間層へのコミットメントを必要とせず、入力と出力へのコミットメントのみで済むため、効率が大幅に向上する。ラウンドごとのサムチェック計算量（Gruen's trickなど）を削減し、Poseidon2のバッチ処理を最適化することで、

理論上、Poseidonのハッシュオーバーヘッドはわずか15倍（従来のSTARKでは100倍）で、実際には10倍未満になることもあります。データ量が増えるほど、オーバーヘッドはゼロに近づきます。