Vitalik Buterin: ZKプローバーの速度競争は終了、次はセキュリティ

Ethereumの共同創業者であるVitalik Buterin氏は、ネットワークにとって十分に高速なゼロ知識証明を実現する競争は勝ち取られたと述べ、現在はセキュリティに焦点を当てる必要があると語った。彼の発言は、ZKsyncが単一のグラフィックスカードでトランザクションをリアルタイムに証明できると主張した後になされた。

ZKsyncの新しいプローバーであるAirbender Primeは、7,200の連続したメインネットブロックにわたって、証明の99%を10秒未満で生成した。ただし、これらの数値はZKsync自身の評価によるものだ。

より高速な証明がEthereumにとって重要なのはなぜか？

現在、Ethereumのバリデータはブロックを検証するために各トランザクションを再実行している。計算を繰り返すことなく正しく実行されたことを示すゼロ知識（ZK）証明があれば、バリデータはその代わりにコンパクトな証明を調べることができるようになる。

この変更により、バリデータが各ブロックに対して行う作業量を減らすことができるかもしれない。新しいブロックはEthereum上で12秒ごとに現れるが、ZKsyncによれば、そのサンプルのどのブロックも、証明にそれほどの時間を必要としなかった。

ZKsyncによると、Airbender Primeは、公開プローバーリーダーボードであるETHproofsによって、平均証明時間で第1位にランクされている。さらにZKsyncは、より低いハードウェア要件により、証明がより幅広い機関や独立系オペレーターに開放されると主張している。

「この時点で、速度をめぐる戦いは決定的に勝ち取られたと私は考える。そしてzkEVMの最優先事項は、完全にセキュリティへと移行すべきだ。」

Ethereumの共同創業者であるVitalik Buterin氏は、X上でこの見解を共有した。

このマイルストーンに対し、@zksync のairbenderチームに大きなお祝いを送ります。

この時点で、速度をめぐる戦いは決定的に勝ち取られたと私は考える。そしてzkEVMの最優先事項は、完全にセキュリティへと移行すべきだ。

私にとってそれは、形式的に検証することを意味する

(i) の等価性…

— vitalik.eth (@VitalikButerin) October 15, 2026

速度のほかに、Buterin氏は、Ethereumの実行を証明する役割を担うシステムであるzkEVMが満たさなければならない3つのテストを挙げた。それらは、Ethereumの仕様に一致すること、ブロックガスに関するプローバーコストの上限を設けること、そして健全な証明システムに基づくことである。

彼はそれらのそれぞれが形式的に検証されることを望んでいる。つまり、単にテストされるのではなく、数学的に証明されるということだ。

より高速なプローバーはEthereumの価格を動かすことができるか？

直接的な影響はない。Airbender PrimeはZKsyncのツールであり、Ethereumプロトコルの変更ではない。Ethereum（ETH）の供給量、手数料、ステーキング報酬はすべて以前のままである。

むしろ、価格への影響は、マクロ経済環境や資金フローと並んで、ロードマップに対するセンチメントを通じてもたらされる可能性が高い。

それでも、本当に賭けられているのは信頼性だ。ZKsyncはこの技術を銀行に売り込んでおり、たとえハッキングされたサーバーであっても、ルールに違反する台帳更新の検証を得ることはできないと主張している。

したがって、脆弱性を持つ高速なプローバーは、その目標に逆行することになる。今や、EthereumがどのzkEVMを信頼できるかを決定づけるのは、形式的検証と監査になるかもしれない。