主なポイント
- Vitalik Buterinは、高速な証明システムを強化するためにGKRを導入しました。
- Ethereumの創設者は、GKRがゼロ知識ではないことを強調しました。
- ButerinはAI業界の「エージェンティック」モデルへの注力を批判しています。
Ethereum共同創設者のVitalik Buterinは、非常に高速な証明システムを可能にする革新を含むGKRプロトコルを導入しました。彼はこれらのソリューションを、多くの運用中の証明システムの極端な速度を支えるプロトコルファミリーであると説明しました。Buterinは、Poseidonハッシュの証明におけるGKRの実装を示すことに焦点を当てました。
GKRはゼロ知識ではない
Buterinは自身の投稿の冒頭で、超高速なZK-proverの存在を認めました。これらは、Ethereum Layer-1をリアルタイムで実現し、わずか50台の一般消費者向けGPUで動作するZK-EVM proverです。
「一般的なノートパソコンで毎秒200万件のPoseidonハッシュを証明し、zk-MLシステムがLLM推論をますます高速に証明している」とButerinは述べました。
ここでGKRプロトコルが登場します。これはこれらのproverの原動力となるものです。このソリューションは、高速なZK-EVMおよびzk-ML証明を可能にするために設計されています。また、複数の低次数レイヤーと多数の繰り返し関数適用（ハッシュやニューラルネットワークを含む）を伴う計算に最適化されています。
Ethereum共同創設者のVitalik Buterinは、非常に高速な証明システムを可能にするGKRプロトコル、つまりプロトコルファミリーを導入しました。GKRは、高速なZK-EVMおよびzk-ML証明のためのコアプロトコルであり、複数の低次数レイヤーと多くの繰り返し関数適用を伴う計算に最適化されています…
— Wu Blockchain (@WuBlockchain) 2025年10月20日
必要なのは、入力と出力へのコミットメントだけで、中間レイヤーは必要ありません。長期的には、これにより効率が大幅に向上します。Buterinが「コミットメント」と述べているのは、データを暗号学的データ構造に格納することを指します。これは、KZGやMerkle treeを用いることで実現でき、ユーザーがそのデータに関する特定のクエリを証明できるようにします。
ユーザーは、GKRをゼロ知識プロトコルと誤解しないよう注意が必要です。なぜなら、GKRは簡潔性を扱うものであり、プライバシーを扱うものではないからです。しかし、GKRでもゼロ知識を実現することは可能であり、そのためには証明をZK-SNARKまたはZK-STARKでラップすればよいのです。
Ethereum共同創設者、エージェンティックAIを批判
Buterinが最近議論している多くのプロトコルの中には、人工知能（AI）モデルも含まれています。2ヶ月前、彼はAI業界が「エージェンティック」モデルに過度に注力していることを批判しました。彼の意見では、自律型システムが多すぎるのは良くないとしています。
彼は、人間の入力をより多く許容するシステムの方が、より良く、より安全な結果を生み出すと指摘し、元Tesla AIディレクターのAndrej Karpathyによる以前のコメントとも一致しています。どうやらEthereum共同創設者は、強力な編集能力を持つと主張するオープンウェイトAIモデルにより熱心なようです。
9月には、ガバナンスにAIを過度に依存することには大きな危険が伴うとも強調しました。
next
