吴は、イーサリアム創設者のVitalik ButerinがGKRプロトコルについて紹介する投稿を行ったことを知りました。GKRは、多くの証明システムが非常に高速で動作することを可能にするプロトコル群です。GKRは、ZK-EVM、zk-MLなどの高速証明を実現するためのコアプロトコルであり、「多層低次処理 + 大量の繰り返し関数適用」に適応した計算（例えばハッシュ、ニューラルネットワーク）を行い、中間層へのコミットメントは不要で、入力出力へのコミットメントのみが必要です。これにより効率が大幅に向上します。sumcheckの各ラウンドの計算量を減少させる（例えばGruenのトリック）、Poseidon2のバッチ処理などの最適化を通じて、理論的にはPoseidonハッシュのコストはわずか15倍（従来のSTARKsは100倍）であり、実際には10倍未満に抑えることができ、データ量が増えるほどコストはゼロに近づきます。