イーサリアム(ETH)、Vitalik氏がZK証明の高速化競争の終結を宣言、99%が10秒未満で証明完了

速度からセキュリティへ、焦点は移った

イーサリアム (ETH)の共同創設者であるVitalik Buterin氏は10月15日木曜日、ネットワークで実用になる速度でゼロ知識証明を生成する競争はすでに決着したと述べ、今後はzkEVMの開発者がセキュリティに全力を注ぐべきだと語った。発言はZKsyncが市販のグラフィックボード1枚でのリアルタイム証明を達成したと発表された数時間以内に、X上で公開された。同氏はまずZKsyncのairbenderチームを祝ったうえで、速度をめぐる戦いは「明白に勝利した」と表現している。ブロックチェーンのロードマップが暗号学的検証に一段と寄っていく中での宣言だが、市場の反応は別で、イーサリアム(ETH)の価格は過去24時間で5.7%下落した。技術的な節目が単独で市場を動かすことは珍しい、という事実を示す結果となっている。イーサリアムの実行を証明するzkEVMには、同氏の枠組みで3つの試験が課される。イーサリアムの仕様と一致すること、プローバーの稼働コストを各ブロックのガス代予算内に収めること、そして健全な証明システムの上に立つことだ。3つすべてを形式的検証、すなわちテストの実行ではなく数学的に証明された状態に置きたい意向を示している。速度が構造的な意味を持った理由は、コンセンサスメカニズムにある。プルーフオブステークでは、12秒ごとに追加される各ブロックを検証するため、バリデーターがすべての取引を再実行してきた。ゼロ知識証明は計算の正しさを再実行なしに確認できる仕組みで、バリデーターは短い暗号証明の検証に置き換えられ、ブロック当たりの負担は数分の一にまで減る。この作業量の削減こそゼロ知識研究の長年掲げてきた成果であり、各証明チームが年単位でベンチマークを公表して競ってきた理由でもある。

@VitalikButerin · Xの投稿

X.

Xで見る

ZKsync、7,200ブロックのベンチマークで実証

発言の裏付けとなったのは、ZKsyncが新型プローバーAirbender Primeで実施した自己評価だ。メインネットの連続7,200ブロックを対象に、システムは証明の99%を10秒未満で生成した。サンプル内に12秒の上限を使い切ったブロックは1つもなかった。数値は目を引くものの、独立監査ではなく自己申告である点は留意が必要だ。リアルタイム証明はzkEVMが任意のスケーリング実験からインフラへと移行するしきい値として長く扱われてきた。証明が要約対象のチェーンの速度に追いついて初めて、インフラとして機能するためだ。外部検証としては、ZKsyncは公開のプローバーランキング「ETHproofs」を挙げる。Airbender Primeは平均証明時間で首位に立っており、同ランキングはコストも追跡しており、ベンダーの主張を超えたベンチマークを機関投資家に提供している。ハードウェアは物語の後半部だ。特殊化されたマシンのクラスターではなくグラフィックボード1枚で証明できれば、参入コストは下がり、より多くの機関投資家や独立系の運営者が証明セットに参加できる、というのが同社の主張である。zkEVM技術の上に構築されるレイヤー2システム全般では、少数の専門プローバーへの依存が常態的な批判となっており、この分散化の議論はそこに響く。Airbender PrimeはあくまでZKsyncの製品であり、イーサリアム (ETH)のプロトコル変更ではない。ETHの供給量、手数料の仕組み、ステーキング報酬には一切触れず、発行やオンチェーン経済がこの節目で動くことはない。商業的な賭け金は別の場所にある。ZKsyncは、ハッキングされたサーバーでもルール違反の台帳更新が検証されない、という論法で銀行にプローバーを売り込んでいる。この約束が成立するのは高速プローバー自体が欠陥を持たない場合に限られ、監査と形式的検証が、機関投資家がどのzkEVMを信頼できるかを決める分水嶺となる。

形式的検証が決める次の段階

当メディアの読みでは、市場は今回の発表をプロトコルイベントではなくロードマップ上のセンチメントとして扱った。Airbender Primeは現時点で手数料、発行、バリデーターの経済性を何も変えないため、5.7%の下落は証明の主張よりもマクロ環境と資金フローに沿っている。同銘柄は木曜の早い時間帯にすでに2,400ドルを下回っていた。ただし、地層の下では構造が動いている。MetaMaskのステーキング解約によりバリデーター数は1か月で7.7%減少し、バリデーターの作業負担軽減は運用上さらに意味を持つ。短期の試験はButerin氏自身が設定したものだ。形式的検証と監査が、イーサリアムがどのzkEVMを信頼できるかを決める。水準を追いたい読者は、当メディアのイーサリアムのテクニカル分析を参照できる。