Vitalikが投稿、GKRプロトコルがゼロ知識証明の計算効率を向上

ChainCatcherのニュースによると、Ethereumの創設者であるVitalik Buterinは今朝、GKRプロトコルについて投稿しました。GKR（Goldwasser-Kalai-Rothblum）プロトコルは、高性能ゼロ知識証明システムの中核技術となりつつあります。

最新の研究によれば、GKRは中間層でのコミットメント操作を回避し、入力と出力のみにコミットメントを行うことで、従来のSTARK手法の理論的コストを100倍から約15倍に削減し、実際の実装では10倍未満にまで抑えられています。このプロトコルは特にPoseidonハッシュ関数やニューラルネットワークなどの多層計算モデルに適しており、コア技術である「sumcheck」はランダムな線形結合を用いた再帰的な多次元問題の簡略化を実現します。GKR自体はゼロ知識特性を提供しませんが、ZK-SNARKやZK-STARKと組み合わせることができ、リアルタイムのZK-EVM証明や大規模な機械学習モデルの検証における重要な技術的支柱となっています。