ZK証明：イーサリアムの “マンハッタン計画”

原著者:@0xJaehaerys

コンパイル：LlamaC

「推奨:この記事では、ゼロ知識証明(ZK-Proofs)が数十億ドル規模の新しい検証可能なコンピューティング市場をどのように生み出しているか、また、この分野におけるSuccinctとそのネイティブトークン$PROVE の技術的優位性、市場ポジショニング、生態学的データに関連する最近の動向に焦点を当てています。

はじめに

!

この文章は、Succinctの共同創設者Uma Royによるもので、パラダイムの転換を示しています。これは、また別のトークンの誕生を宣言するものではなく、データ主導のリアルタイムで台頭する新しい経済体、すなわち検証可能な計算経済のことです。長年にわたり、ゼロ知識（ZK）技術はブロックチェーンのスケーリングの理論的な終局と見なされてきました。今日、それはエンジニアリングの現実となり、今後10年間で最も重要なインフラ競争の1つを開きました。

この変革の原動力は、デビッド・ホフマンが呼ぶイーサリアムの「マンハッタン計画」に由来しています：プロトコルの根本的な再構築により、分散化を犠牲にすることなく、そのスループットを数倍に向上させることです。最近まで、これは遠いビジョンでした。しかし、一連の戦略的なプロトコルアップグレードと重要な技術的突破が、このビジョンを実行可能なロードマップに変えました。

私は、特に最終的にイーサリアムに適用されるZK-EVMのために、私たちがZKで行っていることは、イーサリアムのマンハッタン計画のようなものだとずっと考えてきました……イーサリアムが、現在ウォールストリートをチェーンに引き込んでいるすべての事柄を保持するためにZKを研究している裏で、彼らはこの非常に未来的な技術を開発していました。

本報告はこの新興の数十億ドル市場に対するファンダメンタル分析を行います。報告では、ZK証明に対する需要が投機ではなく、構造的に避けられないものである理由を説明し、この経済機会の規模を定量化し、Succinctのようなプラットフォームファーストの企業が、ネイティブトークン$PROVEを用いて、この検証可能な計算の新時代のインフラストラクチャーとなることが期待される理由を詳細に述べます。

I. 新市場の必然性

1.1 ギガガスとテラガス

イーサリアムは大変革を迎えており、その推進力は核心的な開発ロードマップから来ています。このロードマップは単なる空想ではなく、既に設定されている避けられない進化のプロセスです。プロトコル自体のこの再構築は、ゼロ知識（ZK）証明に対して構造的で予測可能な指数関数的成長の需要を生み出しています。グローバルスケールのスループットを追求するために、イーサリアムは数十億ドルの検証可能な計算経済体の中で最初で最大の消費者となる運命にあります。

この要求は、明確で壮大な長期ビジョンから生じています。Gigagasのロードマップは、L1実行層のスループットを1 Ggas/s、約10,000 TPSに拡張することを目指しています。しかし、イーサリアム財団の研究者ジャスティン・ドレイクが指摘したように、これは「氷山の一角」に過ぎません。最終的な目標は、約1,000のL2の協調作業を通じて、総スループットが1 Tgas/s（約1000万TPS）である「Teragas」エコシステムを実現することです。このモデルでは、99.9%の取引量がL2で発生し、L1は共有された安全性と清算の究極的な中心に進化します。ドレイクが言ったように:

“10,000 TPSは全く大したことではありません。全世界にサービスを提供するには、毎秒1,000万件の取引、毎秒1テラガスのレベルに達する必要があります。この目標をどのように達成するのでしょうか？答えはL2です。”

EIP-7938などの提案は、この指数関数的スケーリングを正式に確立しました。この提案は、L1のガス上限が毎年自動的に3倍に増加することを主張しています。このメカニズムは、安定した予測可能な成長を実現し、ネットワークの安全性を確保するために必要な計算資源の信頼できる需要曲線を創出することを目的としています。

この変化は、プロセスリスクを段階的に低減する多年にわたる「段階的な導入」プランによって管理されます。このプランは異なる段階で進行し、最終的には2027年までにZK証明を使用してブロックの有効性を検証することが義務付けられ、証明生成がプロトコルの中心的で経済的に不可欠な機能となります。この要求をプロトコルの進化に直接ハードコーディングすることにより、イーサリアムは実際にZK分野に対して産業政策を策定し、証明が未来のインフラに対する重要な資本投資の妥当性を提供するための必要な経済信号を示しています。

1.2 最終性の問題：Vitalik ButerinがL2にとってZKがなぜ重要であるかを論じる

この変化の緊急性はL1にとどまりません。これは、現在のL2エコシステムにおける最も重要なボトルネック、すなわち出金の最終性が遅いことによる摩擦とリスクを解決します。最近、イーサリアムの共同創設者であるヴィタリック・ブテリンが述べたように、迅速な出金時間の実現は重要な目標であり、L2にとっては「第二段階よりも重要」です。

ZK 1.0 時代に、あなたが言及した企業は ZK 技術とビジネスケースを組み合わせている……ZKSync は L2 企業であり、同時に ZK 企業でもある……そして私たちが行っているのは、ZK に全く無知な企業、例えば Optimism や Arbitrum が、ZK がこれほど簡単になった今、その利点を活用し、ビジネスの拡大やユーザーの採用といった本当に重要なことに集中できるようにすることです。

!

詳細な説明の中で、ブテリンは現在の主流のオプティミスティックロールアップ設計の核心的な問題を強調しました：

“一週間待ってから引き出すのは人々にとって本当に長すぎる。意図に基づくクロスチェーンブリッジでさえも……流動性提供者が一週間待たなければならない場合、その資金コストは非常に高くなってしまう。これにより、人々が信頼の仮定が受け入れられない解決策（例えばマルチシグ/MPC）を使用することが大いに促進されてしまい、これはまさにL2が存在する目的に反する。”

彼が提案した解決策は、ZK技術に基づく有効性証明システムへの決断的な移行です。歴史的にトレードオフが存在することを認めつつ、彼は最近の技術の変化を強調しました：

“歴史的に見て、ZK証明技術は常に未成熟でコストが高いため、Optimistic証明が賢明かつ安全な選択となっていました。しかし最近、この状況は急速に変わりつつあります。”

彼の見解では、ネイティブの引き出し時間を短期間で1時間以内に短縮し、中期的には最終的に12秒の引き出し時間を実現することで、ZK証明は「イーサリアムL1をデフォルトの資産発行地およびイーサリアムエコシステムの経済中心としての地位をさらに強化することができる」とのことです。この高いレベルの認識は、ZKへの移行を単なる技術的好みとしてではなく、イーサリアムエコシステム全体の安全性と経済的完全性にとっての戦略的必需品と見なすでしょう。

この柔軟性は、ソフトウェア開発者だけでなく、専門のハードウェアメーカーも引き付けています。業界をリードするZKハードウェアアクセラレーション企業Cysicは、その今後発売予定の「zkVM互換ASIC」が登場し、SP1をネイティブにサポートすることを発表しました。この専門ハードウェア会社はネイティブサポートを提供する計画を立てており、これはSP1が検証可能な計算の潜在的な標準としての強い信頼を業界が持っていることを示しており、オープンソースソフトウェアと専用チップの間のギャップを埋めています。

第二、数十億ドルの機会を定量化する

2.1 証明のユニットエコノミクス

スケール化された ZK エコシステムの経済的実現可能性は、特定の計算量の単位コストを証明することに依存します。初期の ZK システムは高価で知られていましたが、「ムーアの法則」に似た発展の軌跡により、そのコストは急激に低下しました。Paradigm が主催した「Frontiers」イベントで、Succinct の John は、現在の取引ごとの平均証明コストが 0.01 セントから 0.1 セントの間であると述べ、彼はこのコストを「DA などの他のコストと比較してほとんど無視できる」と表現しました。

私の見解では、インセンティブメカニズムは非常にシンプルです。今日のように、手数料とMEVに依存するだけです……コストは約0.01セントです。個々のユーザーがこの費用を支払う意志があれば、証明コストを補うのに十分です。

このコストはさらに低下する見込みです。イーサリアム財団の研究者ジャスティン・ドレイクは、ハードウェアとソフトウェアの継続的な指数関数的改善に伴い、L1の証明の長期的かつスケーラブルなコストが、1Mgas/s（百万ガス毎秒）あたり0.0001ドルから0.001ドルの間で安定すると予測しています。このコストの急速な低下は、ZKをニッチで高価な技術から商業的な実用ツールへと変え、大規模な市場の基盤を築いています。

2.2 市場規模——ボトムアップ予測（保守的見解）

保守的なボトムアップの財務モデルは、予想されるスループットの成長とコストの見積もりを組み合わせることで、ZK証明市場の年間収益を推定しました。このモデルによれば、L1証明の非利他的なかなりの収入は2027年から現れると予測されており、その時点でプロトコルはブロックの有効性を検証するためにZK証明の使用を強制することになります。

もしあなたが取引のコストが0.1セントに過ぎないと想像し、SolanaレベルのTPS、つまり毎秒4000〜5000件の取引を処理しているとしたら、これらすべての数字を掛け算すると、最終的に得られる証明の需要は約年間1億ドルになります。

表 1：L2 エコシステム ZKP の需要と収入予測（2025-2030）

!

方法論 — L2 エコシステム ZKP ニーズと収入予測 (2025–2030)

• L2 数量と ZK カバレッジ率
• 2025年の25のL2から始まり、2030年までに1000のL2に拡大します。
• カバレッジ率は、毎年ZKに基づくL2が占める割合を示し、50%から85%に増加しました。
• 各 ZK L2 の平均スループット
• 同年の L1 スループットと等しく設定し、「teragas アグリゲーション」仮説に従う（すなわち、各 L2 の容量は基盤層の拡張に伴って増加する）。
• これは楽観的な仮定であり、単純化のために、重い尾のスループット分布を均一な平均値に圧縮します。
• 総スループット計算：

総スループット(Mgas/s)=(L2カウント×カバレッジ率)×ZKL2あたりの平均スループット

• 価格設定の前提条件 *Mgasあたりの初期価格は0.0104ドルです(参照:Katana、2025年)。
• ハードウェアの効率、プロバイダー市場の競争、プロトコルレベルの最適化の推進により、コストは2030年前に大幅に0.0004ドルまで低下します。 *線形価格補間は、開始年から終了年の間で使用されます。 *年収：

年間収益=総スループット×Mgasあたりの価格×31,536,000(秒/年)

---

表2:ZKプルーフの総アドレス可能な市場(TAM) (2025-2030、ボトムアップ)

• L2の数量増加 — 2025年の25個のL2から始まり、2030年までに線形に1,000個に拡大します。
• ZK カバレッジ — L2 の一部だけが ZK プルーフを採用しています：2025 年は 50%、2030 年には 85% に増加します。
• 各 ZK L2 の平均スループット — 同年の L1 スループットと等しいと設定されています（これは楽観的な仮定です）。これは「teragas」ロードマップの論理と一致しており、成熟した L2 は L1 の容量に達することになります。
• 総 L2 スループット — 計算式は：ZK L2 の数量 × 各 ZK L2 の平均スループット
• その中で、ZK L2 数量 = L2 総数 × カバレッジ率。
• 100万ガスの価格 — 2025年初頭は0.0104ドル（Katana L2の証明コストに基づく）と定められ、2030年までに0.0004ドルに線形で下落し、zkVM、ハードウェア、そして市場競争による効率の向上を反映します。
• 年間L2ポテンシャル市場総額：

総L2スループット(Mgas/s)×Mgasあたりの価格×年間の秒数総L2スループット(Mgas/s)×Mgasあたりの価格×年間の秒数

• 年間 L1 潜在市場総額 — 2027年から（その時点で L1 ブロック強制証明が開始される）、価格はその年の L2 の $/Mgas と同じで、L1 のスループットはイーサリアムのスケーリングロードマップに基づいています。
• その他の需要 — 保守的に見積もって L2 の潜在市場総額の 10% を占め、ZK ブリッジ、共同プロセッサー、検証可能なアプリケーション（ZKML、オンチェーンプライバシー）を含みます。
• 総アドレス可能市場:L1合計アドレス可能市場+合計L2アドレス可能市場+その他の需要

---

2.3 市場規模の推定——トップダウンのビジョン（Teragas 終局）

もう一つの、Ethereumに基づく「Gigagas」と「Teragas」のロードマップが完全に実現されたトップダウンモデルは、潜在的な市場規模が1桁大きくなる可能性があることを示しています。

表 3：イーサリアム L1 ガススループット予測（2027-2030 年）

表4:ZKプルーフの市場規模と収益予測(トップダウン、2027-2030)

• 方法論（このトップダウンの表に対して）
• L1 スループット — イーサリアムに基づくスケーリングロードマップの目標：37.5 → 1,000 Mgas/s（2027–2030 年）。
• L2 数量 — 2027年から2030年の間に300から1,000に増加する。
• ZK カバレッジ率 — L2 の一部のみが ZK 証明を使用しており、その割合は 60% から 85% に増加しました。
• 各 ZK L2 の平均スループット — 同年の L1 スループットと等しく設定（例：2027 年は 37.5 Mgas/s、2030 年は 1,000 Mgas/s）、teragas レベルの総スループット仮定に適合する。
• Mgas の価格 — プルーフ機器のハードウェアの改善と市場競争に伴い、下がります：0.00075 ドル (2027) → 0.00040 ドル (2030)。
• L2 総スループット：

AggreGateL2Throughput=(L2Count×ZKCoverage)×L1スループット

*収入計算式:L1

• 収入 = L1_スループット × 価格 × 年間の秒数
• L2収益=AggreGate_L2_throughput ×年間×秒の価格
• Total Market = L1 Revenue + L2 Revenue

2.4 誰が証明の費用を負担するのか？

この数十億ドルの需要は、プロトコルのインフレによって資金を提供されるのではなく、L2およびアプリケーションチェーンの堅牢で多様な収入モデルによってサポートされます。Conduitの分析記事が詳述しているように、独自のチェーンを持つプロジェクトは、ZK証明の運営コストを負担できることを確保するために、少なくとも7つの異なる収入レバレッジを持っています。

表5:L2収益源の比較分析

!

Chains Win the World: ロールアップの 7 つの収益レバー

3 簡潔な技術的利点

3.1 リアルタイム証明は現実となった

最近の ZK 証明のパフォーマンスに関する一連の重要な突破がなければ、「Gigagas」の全体的なビジョンは理論の段階に留まるでしょう。Succinct チームの John が言ったように、「リアルタイム証明」を実現すること、つまり任意のイーサリアムブロックに対して 12 秒以内に ZK 証明を生成する能力は、「ZK 分野の月面着陸の瞬間」です。

この変化は、性能の向上を意味するだけでなく、開発者のアクセス性に革命をもたらします。Succinctの共同創設者であるウマ・ロイが説明するように、ZK開発にはかつて「40人の暗号学博士からなるチーム」と数億ドルの資本が必要で、特定のアプリケーション向けの証明システムを作成することができました。しかし、汎用のzkVMの出現により、このモデルは完全に打破されました。ロイは言います。「基本的に、40人の暗号学博士や数千万ドルまたは数億ドルの研究開発コストが必要だったものが、週末に完成できるプロジェクトに変わったのです。」

ポッドキャストの中での2つの力強いアナロジーを通じて、このブレークスルーをよりよく理解することができます。

• ASIC から CPU へ：業界全体が、特定の問題しか解決できない専用集積回路（ASIC）から、SP1 のようなエンジンが証明可能に任意のプログラムを実行できる汎用 CPU モデルへと移行しています。
• 暗号学の基礎モデル：SP1 の機能は、人工知能分野の基礎モデルに似ています。ChatGPT が純粋な英語を通じて AI を身近にするのと同じように、SP1 も標準コードを通じて ZK を使いやすくします。「人工知能と基礎モデルでは、英語を入力するだけで AI が使えるのと同様に、ここでは普通のコードを入力するだけで ZK が使えるんです。こんなに簡単です。」とロイは指摘しました。

SuccinctのSP1 HyperCubeは、この成果の決定的な証明です。画期的なデモでは、システムは12秒以内にすべてのリアルタイムEthereumメインネットブロックの93%を証明することに成功しました。残りの7%のブロックは、より長い時間がかかりましたが、技術的制限によるものではなく、EVMガス料金表の一部の操作（例：Blake2のプリコンパイル）の価格設定が不適切であったためです。このマイルストーンは、リアルタイム証明が工学的に実行可能であることを明確に証明しています。

3.2 進歩のエンジン：SP1 zkVM

Succinct技術スタックのコアはSP1であり、高性能でオープンソースのゼロ知識仮想マシン(zkVM)です。SP1は戦略的資産であり、最も広範な検証可能な計算タスクにサービスを提供し、業界を「ZK 2.0」時代に推進することを目的としています。

私は、$PROVE トークンの成功した発行は、zKVMが投資可能な資産クラスになることをほぼ証明したと言えると思います……これは非常に驚くべきことで、知っての通り、発行初日にその完全希薄評価額は実際にZKSync、Scroll、StarknetなどのZK Rollupプロジェクトを超えました。

!

“私たちの目標は、暗号学のすべての複雑さを排除し、開発者がRustなどの標準言語で‘普通のコード’を記述し、ZK証明を得ることです。”

• 使いやすい：RISC-V zkVMとして、SP1は開発者が既存の実績のあるコードベースと慣れ親しんだ言語を利用できるようにし、複雑な暗号技術を学ぶ必要がありません。
• 汎用性： RISC-V をターゲット命令セットとして選択することは、ZK エコシステム全体の広範なトレンドに沿っているだけでなく、イーサリアム L1 の長期ロードマップとも一致しています。
• 性能トレース：SP1の継続的な改善は「ムーアの法則」に似た傾向を示しています。証明時間は2023年の数十分から2025年のわずか数秒に短縮され、その改善速度はイーサリアムのロードマップが示す毎年3倍の計算需要の成長率を大きく上回っています。

SP1 の多機能性は、完全な ZK-rollup を実現することにとどまりません。その汎用的な zkVM としての強力な能力は、特定の市場のニーズを満たす新しいハイブリッドデザインを生み出しました。典型的な例は、ゼロ知識障害証明におけるその応用です。Facet のようなプロジェクトは、OP Succinct Lite に基づくシステムを使用し、その状態変換関数を Rust に移植し（Kona と REVM を通じて）、SP1 ELF バイナリファイルにコンパイルします。これにより、彼らは Optimistic システムの低コストな「理想的な状況」を提供するだけでなく、挑戦が発生した場合には ZK 証明の「単一取引解決」特性を保持します。これは、SP1 がより広範な暗号学的安全モデルにサービスを提供する能力を示し、潜在的な市場規模を拡大しています。

!

より成熟し専門的な証明者が参加するにつれて、このマーケットモデルの有効性がリアルタイムで検証されています。重要な進展の一つは、@cysic_xyz（先進的なZKハードウェアアクセラレーション会社）が、複数のノード証明者としてSuccinct証明者ネットワークに参加したことです。Cysicは汎用計算プロバイダーではなく、ZKワークロード専用に設計されたカスタムハードウェアと高スループットGPUクラスターを含む、技術スタック全体を完全に独自開発しています。

3.3 リアルタイム証明の経済学

このレベルのパフォーマンスは、技術的に実現可能であるだけでなく、経済的にも手の届くところにあります。リアルタイムの証明を行うことができるローカル証明クラスターを構築するための資本支出は、推定で

10万から30万ドルです。これはクラウドサービスプロバイダーを利用するよりもずっとお得です。ジョンによれば、「NVIDIAは実際にグラフィックカードの性能を低下させます……これは故意に行われており、より高い利益を得るためです」。

この実現可能性は、イーサリアム財団の「ファミリープルーフは必須」というイニシアティブに一致しており、このイニシアティブは ≤10 キロワットの目標消費電力制限を設定しています。ジャスティン・ドレイクは、この取り組みが実現可能であることを証明する個人的な目標を示しています：

“これは基本的に私が今年達成したいことです：すべてのイーサリアムブロックをリアルタイムで証明する……そして家でそれを完成させる。”

---

**** 第四に、すべてがZK****になることができます

4.1 アプリケーションの新しいデザインスペース

Ethereumの拡張は現在数十億ドルの市場ですが、本当の長期的な機会は「すべてのものがZK化される」ことにあります。

Succinctチームのジョンが指摘したように、汎用zkVMは「我々がリアルタイムでEthereumのために行った改善が、他の計算にも普遍的に適用されることを意味します。」

4.2 簡潔なアプリケーションケーススタディ

SuccinctのSP1は、さまざまな異なるアプリケーションをサポートしています:

• 検証可能な取引所 (Hibachi) – ZKを使用してプライバシー優先の永久契約取引所を構築し、オフチェーンの注文書の完全性を暗号学的に検証できる。
• クロスチェーン相互運用性 (Celestia) – Succinctの技術を採用した「惰性ブリッジ」を実現し、ZK証明を使用して他のチェーンの状態を安全かつ効率的に検証します。

私たちは「惰性ブリッジ」と呼ばれる概念を研究し続けています……もしチェーン上に実行環境がなければ、あなたのチェーンは他のチェーンの状態を検証するのが非常に難しくなります。したがって、私たちはZK証明を通じてこれを実現するために努力しています。

• DeFi L2s (@katana) – DeFiに特化したL2 Katanaは、Conduitを介してPolygonでローンチされ、SuccinctのZKプルーフ・オブ・ザ・アート技術を使用して高速で安全な決済を実現し、PolygonのAgglayerに接続するコアを備えています。
• コア DeFi インフラ (Lido)：Lido は流動的なステーキング分野のリーダーとして、テストネットで SP1 を使用して「信頼不要のアカウンティングオラクル」をサポートしています。このシステムは、信頼できる管理者に依存することなく、ステーキングされた ETH の残高を検証可能に追跡することで、安全性を向上させています。
• 高度なクロスチェーンブリッジ (Across)：Across プロトコルと Succinct が提携し、Ethereum コンセンサス層の ZK 証明を生成します。これにより、Ethereum の状態を多くの他のチェーンに安全かつ効率的にブリッジすることができ、相互運用性を実現するための重要な機能となります。
• 抑えきれない Rollups (Facet)：Facetは、Succinct技術の採用を促進するための強力なケーススタディを提供する初の汎用第二段階ロールアップです。管理者キーのない「抑えきれないロールアップ」となることを目指し、Facetは公式ブリッジとそれに関連するセキュリティリスクを排除しました。ブリッジのガスコインを使用せず、ユーザーが取引を発行する際に破棄されるL1 ETHに比例してマイニングされるネイティブトークン(FCT)を使用しています。このアーキテクチャは、Succinct技術に基づいて構築されたハイブリッドZK詐欺証明システムによってセキュリティが確保されています。状態根提案が挑戦を受けると、SP1 zkVMを使用してZK証明が生成され、争いを明確に解決します。これにより、Facetは「軽量プラットフォーム」として純粋で抑えきれない計算を提供し、資産管理やブリッジ機能をユーザーが選択するアプリケーションで構成される競争的エコシステムに委ねることができます。

4.3 拡張し続ける最前線：ZK クロスチェーンブリッジ、協調プロセッサー、および検証可能なアプリケーションの収益

下から上への市場モデルは、ZK クロスチェーンブリッジ、ZK コプロセッサ、およびその他の検証可能なアプリケーションを含む急成長する「その他の需要」カテゴリも含んでいます。

保守的な推定によると、2030年までにこの分野の年収は1.26億ドルを超えるまで成長するとされています。

ZKMLとオンチェーンプライバシーソリューションの成熟に伴い、この分野はさらに拡大する可能性があります。

5: 簡潔 vs. $PROVE

5.1 プルーフネットワーク：一般的で許可不要のマーケット

Succinctのコア戦略は、単により良いプローバーを構築するだけでなく、プロビングのための権威ある市場を構築することです。このグローバルな供給は仮定ではなく、経験豊富なオペレーターで構成されています。このネットワークは、主にアジアに位置し、既存のインフラ、低コストの電力、利用可能なコンシューマ向けGPUを持つ、通常は「前マイナー」と呼ばれる多くのプローバーを引き付けています。

その二国間市場はリアルタイムオークションシステムを通じて、世界中の計算力供給とZK証明に対する増大する需要を結びつけています。

私たちは双方向市場を構築しています：Succinct証明者ネットワーク。これは、ZK証明の生成プロセスを商品化することを目的としています。

この競争状況は市場の効率のエンジンであり、価格と遅延に持続的な下方圧力をかけ、消費者に直接利益をもたらします。

5.2 $PROVE トークン：ネットワークの経済エンジン

Succinctエコシステム全体の経済モデルは、そのネイティブトークン$PROVEに凝縮されています。

このトークンには2つの主要な共生機能があります：

• 支払い – $PROVEはこのネットワーク市場における唯一の通貨です。すべての証明書生成の手数料は$PROVE で支払う必要があり、このトークンに対する直接的な取引需要が確立されています。
• ステーキングによる安全保障 – 証明オークションに参加し、利益を得るためには、証明者は$PROVE を経済的な担保としてステークする必要があります。これはネットワークの信頼性にとって極めて重要であり、「悪意のある攻撃」（グリーフィング）を防ぐことを目的としています。つまり、証明者が証明を生成することを約束したにもかかわらず、最終的にそれを提供できない場合、L2などのアプリケーションに深刻な遅延を引き起こすことになります。ロイが言ったように、「証明者は悪意のある攻撃を行うことができるべきではありません……それは非常に悪いユーザー体験です」。もし証明者がその約束を果たせなかった場合、その一部のステークが没収され、彼らが「責任を負う」ことが保証されます。

5.3 価値蓄積のフライホイール

表6：$PROVE トークンのユーティリティと価値蓄積モデル

5.4 初日のデータ：実践に移すための証明

この経済モデルの有効性は、ネットワークが立ち上がった初日に証明されました。

共同創業者のUma Roy氏は、公開投稿で次のように報告している。

!

Royは、Succinctのプライベートクラスターにおいて35社以上の既存顧客がパブリックネットワークに移行する準備を進めていることから、需要は必然的に「放物線的に成長する」だろうと指摘しました。

結論

イーサリアムの壮大なスケーリングロードマップとゼロ知識技術の成熟が結びつき、今後10年間で最も重要な新興インフラ市場の1つを創出しています。イーサリアム財団の戦略的な焦点の移転と資金の投入により、理論的な理想がエンジニアリング競争に変わりました。そして、Succinctなどのチームが率いる技術的ブレークスルーにより、この競争の目標であるリアルタイム証明と大規模スケーリングのL1が実現可能な現実となりました。

繰り返し実行される時代は終わりを迎えています。暗号学的検証の時代が始まろうとしています。

この新しいパラダイムでは、Succinct Prover Networkのような分散型インフラプロバイダーが、この新興経済において不可欠な「ツルハシとシャベル」の供給者となる。

$PROVE トークンの経済モデルは、支払いとステーキング機能を統合しており、ネットワークの成長とトークン価値の蓄積を直接結びつける強力なフライホイールを創出しています。したがって、投資

$PROVE は単一のアプリケーションへの投資にとどまらず、次世代インターネットの基盤となる検証可能な計算層への直接的な投資です。

世界中のソフトウェアを証明する。