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

更新 09:39 UTC： Buterin氏の警告には、監査の問題を超えた第二の刃があった。

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

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

Buterin氏のセキュリティ重視の枠組みがzkEVMをめぐる議論を支配する中、当日のリスクオフの読み方に対して別の市場の声が反論した。BitMEXの共同創設者であるArthur Hayes氏はX上で、先が不透明だと述べる人工知能市場のいずれの方向にも賭けないとし、将来に兆ドル規模の救済パッケージが投入される可能性に備えてポジションを取ると語った。これを根拠に同氏はビットコイン(BTC)とイーサリアム (ETH)に対してロング志向を維持しており、大規模な財政支援が流動性環境を変え、暗号資産の価格を押し上げ得ると主張している。ただしHayes氏がAIセクターの暴落を明言したわけではなく、救済がいつ、どのような条件で実現するかについても詳細を示していないため、同氏の強気のスタンスは固定のタイムラインを持たないシナリオに依拠している。

Buterin氏の警告には、監査の問題を超えた第二の刃があった。高速で動作するプローバーでも誤った結果を生成すれば、それはネットワークへの直接的なリスクになると同氏は指摘する。さらに、重いブロックで証明生成コストが急騰すれば、その負担はリソースの限られた小規模なバリデーターや運営者に及び、イーサリアムの分散型構造を弱めかねないと論じた。市場の環境がこの指摘の重みを増していた。最新の読みでは、イーサリアム(ETH)の価格は2,365ドル付近にあり、9月末の2,800ドル付近の高値から約15%下落している。価格は2,490ドルと2,550ドル付近の移動平均を下回り、2,360ドル付近で推移している。相対力指数は38付近にあり、売り圧力の継続を示唆する水準ながら短期的な反発の余地も残る。2,305ドルを割り込む、直近の安値2,313ドル直下の水準を下回れば、8月以来の広義の回復構造が試されることになり、一方で2,490ドルを買い戻せば、より明確な最初の回復シグナルとなる。

@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を信頼できるかを決める。水準を追いたい読者は、当メディアのイーサリアムのテクニカル分析を参照できる。