ヴィタリックがZKボムを放つ：イーサリアムを加速させるGKRプロトコル

イーサリアムのスケーリングに関する議論が盛り上がる中、ビタリックブテリンが新しいチュートリアルをプロトコル GKR (Goldwasser–Kalai–Rothblum)に公開しましたが、これは大したことです。

具体的に言うと、GKRは、コストのかかる中間コミットなしで、対数時間で動作する暗号証明の検証方法です。翻訳：証明は、現在のZK-SNARKやSTARKよりも速く、安価に行われます。

なぜそれが重要なのか？プロトコルは、大量の計算(ハッシュ、ニューラルネットワークなどを、オンチェーンのオーバーヘッドなしに処理できます。GKR自体はゼロ知識ではありませんが、プライバシーを保つためにZK-SNARK/STARKレイヤーにパッケージ化できます。

ビタリック・ブテリンの「リーン・イーサリアム」のビジョンに沿ったもので、より軽量で、より速く、量子攻撃に強いチェーンです。より効率的なロールアップと、鍵となる迅速なファイナリゼーションを実現しています。

開発者たちは今後数ヶ月でGKRベースのシステムを本格的に実験できるようになります。ロールアップやスケーラビリティの面で具体的な最適化が見られるかもしれません。