# イーサリアム拡張の新時代：リアルタイム証明とネイティブRollupイーサリアムは拡張の新時代に突入しており、ゼロ知識証明技術が重要な推進力となっています。本稿では、リアルタイム証明の技術的難易度、証明者の参加ロジック、L1切り替えプロセスにおける安全性の課題、そしてネイティブロールアップがZK拡張の最終形態となる方法について探ります。## リアルタイム証明：イーサリアムのスケーリングの鍵となるピースリアルタイム証明はエーテルが高性能へ向かうための重要なブレークスルーです。それは、12秒以内にイーサリアムメインネットの1つのブロックに対するZK証明の生成プロセスを完了することを指します。一旦実現すれば、イーサリアムはブロック検証ロジックをプロトコル自体に組み込むことができ、検証可能性を保証しつつGas上限を大幅に引き上げ、L1の大規模拡張を実現します。リアルタイム証明を実現するためには、zkVM技術だけでなく、イーサリアムプロトコル層の変更も必要です。来年のGlamsterdamアップグレードでは「ブロック検証と即時実行のデカップリング」メカニズムが導入され、証明者にzkEVM証明を生成するためのより多くの時間が提供される見込みです。ある技術チームが最新の SP1 Hypercube zkVM を発表しました。200 台の GPU クラスターの下で、93% のメインネットブロックに対してリアルタイムで証明を生成できます。彼らは今年の年末までに成功率を 99% に引き上げる自信があります。イーサリアムは、ブロック時間を12秒から6秒に短縮することも考慮しており、これによりユーザー体験と取引確認速度が向上しますが、証明者に追加の負担がかかります。しかし、ZK技術が毎年10倍の性能向上を実現できることを考慮すると、この課題に対処できると信じています。## イーサリアム ZK プルーフのハードウェア要件リアルタイムで ZK 証明を生成するには強力な計算リソースが必要です。イーサリアム財団が証明者に設定した初期技術目標は、ハードウェアコストを 10 万ドル以内に抑え、電力消費を 10 キロワット未満にすることです。この要求が高すぎると考える人もいますが、実際には証明者と検証者の役割は異なります。検証者はノードを運営し、コンセンサスに参加しますが、証明者の仕事は ZK 証明を生成することです。一度証明が生成されると、ネットワークはその証明が正しいかどうかを検証するだけで、取引を再実行する必要はありません。現在の10万ドルのハードウェア構成は初期目標に過ぎません。来年の初めまでに、GPUの需要を約16枚のグラフィックカードに減らし、総コストを1万ドルから3万ドルの間に抑えることができると予想されています。あるチームはテストネット上に数百の証明者からなる分散型ネットワークを構築しました。システムは競争式の証明メカニズムを採用し、より短い時間と低コストの参加者が勝者となり、算力の入札のようなメカニズムを形成します。これは、ZK駆動のイーサリアムの未来において、マイニング精神が別の形で再現されることを意味します。## メインネットがZKアーキテクチャに切り替え：システム移行の課題イーサリアム L1 メインネットを ZK アーキテクチャに切り替えることは重大な技術的課題であり、プロトコル層の再構築が必要であり、さまざまな潜在的リスクを考慮する必要があります。考えられるリスクには、悪意のある攻撃者が「プローバーキラー」を挿入し、検証メカニズムを無効にすることや、ネットワークの活性度が急激に低下し、持続可能性に影響を与えることなどがあります。全体の移行プロセスには数年かかる可能性があります。ZK仮想マシンは初期技術として脆弱性が存在するかもしれませんが、エコシステムが成熟するにつれて、多様な証明システム、整備されたインセンティブメカニズム、形式的検証などの手段を通じて、その実現可能性と堅牢性を向上させることができます。イーサリアムは、コンセンサス層のアーキテクチャを再構築し、「Beam Chain」と呼ばれる新しい構造を構築する計画を立てており、目的は設計の初めからZK最適化に友好的であることです。将来的には、イーサリアム全体のデータ検証作業が普通のノートパソコンのCPU上で完了する可能性があります。## メインネット「スナーク化」：ネイティブロールアップの展望イーサリアムのメインネットがzkEVMを統合するにつれて、ネイティブRollupの概念が浮上し始めました。現在のRollupは独立した証明システムを採用しており、イーサリアムのメインネットとの間には一定の信頼仮定があります。一方、ネイティブRollupのビジョンは、イーサリアムL1の検証者が直接Rollupの状態遷移証明を検証し、実際にメインネットによって検証され、メインネットが安全を保証するL2を実現することです。これには、イーサリアム L1 クライアントに「execute precompile」コードを追加する必要があり、バリデーターが L2 で生成された ZK 状態遷移証明を直接検証できるようにします。実現すれば、将来的には L1 でもネイティブ Rollup 上の取引でも、その最終的な決済と安全性は同じグループのイーサリアムバリデーターによって保証され、信頼レベルは完全に等しくなります。ネイティブ Rollup は異種であり、ユーザーにより多様で差別化されたアプリケーション体験を提供できます。まだイーサリアムのロードマップに正式に記載されていませんが、zkEVM の起動や L1 アーキテクチャの再構築に伴い、そのための予測インターフェースとプリコンパイルロジックは予見可能な技術トレンドとなっています。EVMのスナーク化とネイティブロールアップの推進において、イーサリアムは高度な技術的協調を持っています。このプロセスは依然としてコミュニティガバナンスを通じて進められ、イーサリアム改善提案を形成し、ハードフォークで実装される必要があります。楽観的な期待の下では、年末に関連提案が提出され、Glamsterdamアップグレード後のフォークでオンラインになる可能性があります。しかし、このタイムラインは依然として高い不確実性を持っており、慎重に考慮する必要があります。! [](https://img-cdn.gateio.im/social/moments-6f148d254fa477b06b0cabc6c0b2bdd0)
イーサリアムのスケーリング新章：リアルタイム証明とネイティブRollupの技術的ブレークスルー
イーサリアム拡張の新時代：リアルタイム証明とネイティブRollup
イーサリアムは拡張の新時代に突入しており、ゼロ知識証明技術が重要な推進力となっています。本稿では、リアルタイム証明の技術的難易度、証明者の参加ロジック、L1切り替えプロセスにおける安全性の課題、そしてネイティブロールアップがZK拡張の最終形態となる方法について探ります。
リアルタイム証明：イーサリアムのスケーリングの鍵となるピース
リアルタイム証明はエーテルが高性能へ向かうための重要なブレークスルーです。それは、12秒以内にイーサリアムメインネットの1つのブロックに対するZK証明の生成プロセスを完了することを指します。一旦実現すれば、イーサリアムはブロック検証ロジックをプロトコル自体に組み込むことができ、検証可能性を保証しつつGas上限を大幅に引き上げ、L1の大規模拡張を実現します。
リアルタイム証明を実現するためには、zkVM技術だけでなく、イーサリアムプロトコル層の変更も必要です。来年のGlamsterdamアップグレードでは「ブロック検証と即時実行のデカップリング」メカニズムが導入され、証明者にzkEVM証明を生成するためのより多くの時間が提供される見込みです。
ある技術チームが最新の SP1 Hypercube zkVM を発表しました。200 台の GPU クラスターの下で、93% のメインネットブロックに対してリアルタイムで証明を生成できます。彼らは今年の年末までに成功率を 99% に引き上げる自信があります。
イーサリアムは、ブロック時間を12秒から6秒に短縮することも考慮しており、これによりユーザー体験と取引確認速度が向上しますが、証明者に追加の負担がかかります。しかし、ZK技術が毎年10倍の性能向上を実現できることを考慮すると、この課題に対処できると信じています。
イーサリアム ZK プルーフのハードウェア要件
リアルタイムで ZK 証明を生成するには強力な計算リソースが必要です。イーサリアム財団が証明者に設定した初期技術目標は、ハードウェアコストを 10 万ドル以内に抑え、電力消費を 10 キロワット未満にすることです。
この要求が高すぎると考える人もいますが、実際には証明者と検証者の役割は異なります。検証者はノードを運営し、コンセンサスに参加しますが、証明者の仕事は ZK 証明を生成することです。一度証明が生成されると、ネットワークはその証明が正しいかどうかを検証するだけで、取引を再実行する必要はありません。
現在の10万ドルのハードウェア構成は初期目標に過ぎません。来年の初めまでに、GPUの需要を約16枚のグラフィックカードに減らし、総コストを1万ドルから3万ドルの間に抑えることができると予想されています。
あるチームはテストネット上に数百の証明者からなる分散型ネットワークを構築しました。システムは競争式の証明メカニズムを採用し、より短い時間と低コストの参加者が勝者となり、算力の入札のようなメカニズムを形成します。これは、ZK駆動のイーサリアムの未来において、マイニング精神が別の形で再現されることを意味します。
メインネットがZKアーキテクチャに切り替え：システム移行の課題
イーサリアム L1 メインネットを ZK アーキテクチャに切り替えることは重大な技術的課題であり、プロトコル層の再構築が必要であり、さまざまな潜在的リスクを考慮する必要があります。考えられるリスクには、悪意のある攻撃者が「プローバーキラー」を挿入し、検証メカニズムを無効にすることや、ネットワークの活性度が急激に低下し、持続可能性に影響を与えることなどがあります。
全体の移行プロセスには数年かかる可能性があります。ZK仮想マシンは初期技術として脆弱性が存在するかもしれませんが、エコシステムが成熟するにつれて、多様な証明システム、整備されたインセンティブメカニズム、形式的検証などの手段を通じて、その実現可能性と堅牢性を向上させることができます。
イーサリアムは、コンセンサス層のアーキテクチャを再構築し、「Beam Chain」と呼ばれる新しい構造を構築する計画を立てており、目的は設計の初めからZK最適化に友好的であることです。将来的には、イーサリアム全体のデータ検証作業が普通のノートパソコンのCPU上で完了する可能性があります。
メインネット「スナーク化」：ネイティブロールアップの展望
イーサリアムのメインネットがzkEVMを統合するにつれて、ネイティブRollupの概念が浮上し始めました。現在のRollupは独立した証明システムを採用しており、イーサリアムのメインネットとの間には一定の信頼仮定があります。一方、ネイティブRollupのビジョンは、イーサリアムL1の検証者が直接Rollupの状態遷移証明を検証し、実際にメインネットによって検証され、メインネットが安全を保証するL2を実現することです。
これには、イーサリアム L1 クライアントに「execute precompile」コードを追加する必要があり、バリデーターが L2 で生成された ZK 状態遷移証明を直接検証できるようにします。実現すれば、将来的には L1 でもネイティブ Rollup 上の取引でも、その最終的な決済と安全性は同じグループのイーサリアムバリデーターによって保証され、信頼レベルは完全に等しくなります。
ネイティブ Rollup は異種であり、ユーザーにより多様で差別化されたアプリケーション体験を提供できます。まだイーサリアムのロードマップに正式に記載されていませんが、zkEVM の起動や L1 アーキテクチャの再構築に伴い、そのための予測インターフェースとプリコンパイルロジックは予見可能な技術トレンドとなっています。
EVMのスナーク化とネイティブロールアップの推進において、イーサリアムは高度な技術的協調を持っています。このプロセスは依然としてコミュニティガバナンスを通じて進められ、イーサリアム改善提案を形成し、ハードフォークで実装される必要があります。楽観的な期待の下では、年末に関連提案が提出され、Glamsterdamアップグレード後のフォークでオンラインになる可能性があります。しかし、このタイムラインは依然として高い不確実性を持っており、慎重に考慮する必要があります。
!