イーサリアム財団、ブロック制限を検証するevm.fastチャレンジを開始

画像を読み込み中

ダド・ルビッチ 2

RISC-Vモデル上でのイーサリアムブロック検証について、有限の最悪ケースのステップ上限を証明するよう貢献者に求める公開チャレンジ

2026年11月2日（月）· 23:34 EST · 読了時間3分

テクノロジー分野において

共有

イーサリアム財団はevm.fastで技術チャレンジを開始したが、その目標は異例だ。現在の最高スコアは無限大である。

課題は、イーサリアムのブロックを検証するのにどれだけの計算量がかかるかについて、最悪の場合の上限を証明することだ。機械検証済みの証明に裏付けられた有限の答えであれば、既存の記録を上回る。

スコアの仕組み

この課題はKと呼ばれる数値を測定する。Kは、課題が対象とするすべての入力に適用される、64ビットRISC-Vモデルの実行ステップ数に対する認定された上限である。起動ステップも合計に含まれるため、参加者はウォームアップをこっそり省略することはできない。

モデルはFlapjackを通じて実行される。Flapjackは、64ビットのRISC-Vアーキテクチャ向けに構築された、PancakeコンパイラをLean 4に適応させたものである。Lean 4は証明支援系であり、数学的証明を一行ずつ検証するソフトウェアである。RISC-Vはオープンな命令セットであり、プロセッサが理解する基本的な語彙である。

検証済みのFlapjackコンパイラでコンパイルされたベースラインプログラムは、ブロック検証が最終的に停止することをすでに証明している。しかし、それが証明していないのは一様な上限、つまりすべての入力にわたって成り立つ単一の固定された上限である。したがって、ベースラインはスコアを∞と主張する。

このチャレンジは貢献者に開かれていると位置づけられている。金銭的な賞金、締め切り、提出プラットフォームはまだ発表されていない。

zk証明にとって最悪ケースの境界が重要な理由

この取り組みは、財団のより広範なゼロ知識証明の議題に位置づけられる。ゼロ知識証明とは、検証者が計算全体をやり直すことなく、ある当事者が計算を正しく実行したことを示せる仕組みである。こうした証明を汎用プログラム向けに生成するシステムはzkVMと呼ばれる。その多くはコードをRISC-Vまでコンパイルする。

財団の2025年から2026年にかけての目標には、証明可能なセキュリティ、再帰の健全性、予測可能な証明コストが含まれる。再帰の健全性とは、他の証明を検証する証明のことであり、それらが積み重なっても正しさを保つ必要がある。予測可能な証明コストは、このチャレンジが最も直接的にかかわる部分である。

この分野では速度がすでに急激に向上している。フルイーサリアムブロックのリアルタイム証明という文脈において、対象ハードウェア上でメインネットブロックの99%について、レイテンシは約16分から10秒未満に短縮された。

イーサリアムにおける形式検証の背景

この課題は、セキュリティ推定、ゲストプログラム検証、およびイーサリアム実行におけるRISC-Vのセマンティクスに関する財団の他の進行中の取り組みと並行して位置づけられている。ゲストプログラムとはzkVMが実行し証明するコードのことであり、この場合はイーサリアムのブロックを検証するロジックを指す。

これが意味するもの

フルブロックのリアルタイム証明は、証明者が典型的なブロックだけでなく、考え得る最も困難なブロックに備えて予算を組める場合にのみ機能します。証明済みのKは、その予算に経験的な推測ではなく数学的な基盤を与えます。

サービス妨害（DoS）の観点もあります。攻撃者が、検証に予想をはるかに超える手順を要するブロックを作成できれば、プルーバーは遅れを取る可能性があります。認定された上限があれば、最悪のケースがすでに既知であり文書化されているため、その種の不意打ちを仕組むことははるかに難しくなります。

ベースラインが無限大にあるため、最初の有効なエントリーは、たとえ緩い上限であってもデフォルトで勝利します。その後、実際の競争は、Kを証明者が実際に計画できる数値に向けて厳格化することになります。

開示：この記事はEstefano Gomezによって編集されました。コンテンツの作成およびレビュー方法の詳細については、編集ポリシーをご覧ください。