# イーサリアムのZK終局:検証可能な世界コンピュータへの道イーサリアムの技術的発展に注目している人々にとって、イーサリアムのエンジニアであるソフィア・ゴールドが最近発表した「L1 zkEVM #1:リアルタイム証明」というブログ記事は重要な意味を持っています。これはまだイーサリアムのコア開発チームの技術的な構想を代表するものであり、正式にEIPプロセスに入っておらず、メインネットのアップグレードの既定の方案になるにはまだ長い道のりがありますが、そこから発信される信号は軽視できません。この記事は、イーサリアムの未来の核心的な開発ブループリントを明確に示しています:ゼロ知識証明技術をLayer 1プロトコルの各レイヤーに全面的かつ深く統合し、コンセンサスレイヤーから実行レイヤーまで全方位でカバーすることです。この技術ロードマップに従い、最初の重要なステップは、各ノードのEVMをzkEVMにアップグレードすることです。これにより、ノードは取引を実行し、スマートコントラクトを運用する過程で、対応するゼロ知識証明を同期して生成でき、検証ノードにこの実行の正当性を確認するための根拠を提供します。これは単なる技術の通常の反復ではなく、"The Merge"に匹敵するアーキテクチャの革命です。これは、イーサリアムが拡張、安全性、経済モデルにおいて直面している複数の課題を根本的に解決することを目的としています。では、イーサリアムはなぜこのタイミングで"全面的にZKに賭ける"ことを選んだのでしょうか?この戦略的転換の背後には、どのような深層的な論理が潜んでいるのでしょうか?それはどのようにして私たちが知っているL1や全体のL2エコシステムを再構築するのでしょうか?この記事では、既存の研究に基づいて、イーサリアムの「ZKエンディング」の壮大な物語を語り、その背後にある動機、行動、そして深遠な影響を分析します。## 一、"再実行"から"証明検証"へのパラダイムシフトイーサリアムのZK化構想、その核心はコンセンサス検証メカニズムの一度のパラダイム再構築にあります。最近発表されたL1 zkEVMロードマップは、この変化に対して明確な技術的な道筋を示しています。* 現在のモデル:再実行現在、新しいブロックが提案されると、ネットワーク内のすべてのバリデータノードは独立して、完全にそのブロック内の各トランザクションを再実行し、最終的なステートルートが提案者が宣言したものと一致するかどうかを計算し検証しなければなりません。このプロセスはリソースを多く消費し、イーサリアムL1のスループットを制限する主要なボトルネックです。※将来モデル:Proof Verification(証明検証)新しいL1 zkEVMアーキテクチャでは、ブロックの構築者はブロックを生成する際に、簡潔なZK有効性証明を生成します。他の検証者はブロックと証明を受け取った後、取引を再実行する必要はなく、この暗号証明を検証するだけで済みます。"ZK Proofを検証する"ための計算コストは"取引を再実行する"よりも数桁低く、さらに重要なことに、証明を検証するのに必要な時間は、その証明がカバーする取引の数とはほぼ無関係です。これにより、イーサリアムは検証者のハードウェアの敷居を大幅に引き上げることなく、ブロックのGas上限を大幅に引き上げて、より多くの取引を受け入れることができます。Vitalik Buterinは、L1のGas上限がこれによって10倍に引き上げられることを期待していると述べ、さらに長期的には100倍に達する可能性があるとし、去中心化を維持しながらL1のスケーラビリティを実現することを目指しています。要するに、将来のイーサリアムL1はアーキテクチャ的に非常に巨大なネイティブZK-Rollupに似ており、それによってイーサリアムL1自体が「世界最大のZKアプリケーション」になることが期待されています。厳格な技術基準イーサリアムチームはL1 zkEVMの実装に対して非常に厳しい技術基準を設定し、遅延を減らし、スループットを向上させると同時に、安全性と脱中心化の約束を保証する必要があります。| メトリクス | 目標値 | 原理/影響 ||------------------|-------------------|--------------------------------------------------------------------|| 証明遅延 (99%分位) | 10秒以内 | これは「リアルタイム競技」の核心です。遅延は十分に低く、12秒のブロック生成周期にシームレスに接続できなければならず、新たなボトルネックになってはいけません。 || 暗号学的安全性 | 128ビット ( 起動初期の最低100ビット) | 証明された暗号学の強度が、現在および予見可能な未来の計算攻撃に対抗できることを保証し、L1の安全性を確保します。 || 証明サイズ | 300 KiB未満 | 証明はP2Pネットワークで効率的に伝播し、新しいネットワークのボトルネックにならないように十分小さくする必要があります。 || プルーフ・オブ・ステーク・ハードウェアコスト | 100,000ドル以下 | "家庭証明"を実現することを目的としており、独立したステーキング者が証明生成に参加する能力を確保し、検閲に対抗する最後の防御線として機能します。 || プルーフオブステークの消費電力 | 10 kW未満 | 家庭用電気自動車の充電スタンドと同等の消費電力で、家庭でのプルーフの敷居をさらに下げ、分散化を確保します。 |多証明安全モデル未知の脆弱性が単一のzkEVM実装に存在する可能性を防ぐために、このロードマップは「マルチプローフ」セキュリティメカニズムを導入しました。同じブロックの有効性については、異なるチームから生成された複数のzkEVMによる証明が必要です。検証者のクライアントは、これらの異なる出所からの証明をダウンロードして検証します。複数の独立した証明がすべて検証に合格した場合にのみ、そのブロックはコンセンサス層に受け入れられます。これは本質的にイーサリアムの「クライアントの多様性」という理念が証明層において拡張され、昇華されたものであり、プロトコルによって冗長性と多様性を強制的に導入し、L1に深い防御を提供し、プロトコルの堅牢性を強化します。## 二、イーサリアムはなぜ"全面ZK化"が必要なのか?イーサリアムはゼロ知識証明技術を全面的に受け入れ、その経済モデル、競争環境、未来の市場需要に対する深い考察に基づいて策定された重要な戦略的転換です。まず、これは「L2を中心にした」経済モデルに対する重要な修正です。EIP-4844がblobメカニズムを導入した後、Layer 2の取引コストは成功裏に低下しましたが、予期しない副作用も生じました。それはLayer 1の価値捕捉能力を著しく弱体化させました。L1の取引手数料収入とETHの焼却量の急激な減少は、ETHのデフレ期待に直接的な影響を与え、コインの価格は低迷し、コミュニティの不満が高まりました。EVMをzkEVMにアップグレードすることで、検証ノードは時間のかかる「再実行」モードから効率的な「検証」モードに移行でき、L1の遅延を大幅に削減し、スループットを向上させることができます。これにより、イーサリアムは安全性と即時最終性に非常に高い要求を持つ高価値な取引を再び引き寄せ、L1の手数料収入を増加させ、EIP-1559の焼却メカニズムを再活性化し、L1とL2の経済関係を再バランスさせることができます。次に、これは高性能パブリックチェーン競争に対する非対称戦略です。SolanaやSuiなどの新世代高性能L1がTPSにおいて強力なパフォーマンスを示す中、イーサリアムは独自の競争路線を選びました。競争相手が去中心化の程度を犠牲にしてパフォーマンス向上を追求するのを模倣するのではなく、ZK技術を活用し、百万規模のバリデータネットワークというコアの強みを保持しながら、検証作業を「高価なリプレイ」から「安価な検証」へと変えることで性能の飛躍を実現しました。この戦略は、イーサリアムの去中心化と安全性に関する防衛線を強化しつつ、パフォーマンスを向上させ、安全性と高性能の両立を目指しています。最後に、これはRWAと機関金融の波に備えた先見的なレイアウトです。RWAのトークン化は、ブロックチェーンの次の兆候的な市場機会として広く見なされています。ブラックロック、フランクリン・テンプルトンなどの金融大手が参入する中、基盤となるパブリックチェーンに対するパフォーマンス、安全性、プライバシー、コンプライアンスの面で前例のない厳しい要求が課せられています。SolanaやSuiなどのL1は優れたパフォーマンスを誇りますが、バリデータノードが比較的少なく、中央集権的な程度が高く、過去にダウンタイムの履歴もあるため、安全性と安定性の面で高価値な金融活動のニーズを満たすのが難しいです。一方、イーサリアムエコシステムのさまざまなOP Rollupはパフォーマンスが良好で、L1に状態を再書き込みすることで良好な安全性を持っていますが、7日間のチャレンジ期間は高価値の金融決済にとって受け入れがたいリスクエクスポージャーです。それに対して、ZK技術が提供する暗号学的な最終性と、機密データを漏らさずにコンプライアンスを証明する能力は、機関金融の核心的なニーズに完璧に合致します。もしzkEVMのアップグレードが期待通りにスループットを向上させることができれば、ネイティブにZK技術を統合したイーサリアムエコシステムは「パフォーマンス、安全性、安定性」を兼ね備え、RWAの波を受け入れる理想的なグローバル決済レイヤーとなるでしょう。## 第三に、ZKの終盤戦が進行中ですイーサリアムのZK終局は早くも端倪を示しており、Sophia Goldが今回発表したブログを除いて:* 2025年4月に、Vitalik Buterinは非常に先見性のある構想を提案しました:現在のEVMの代わりに、ZKにより友好的なRISC-V命令セットアーキテクチャを用いるというものです。支持者は、EVMがZK回路を生成する際の非効率的なパフォーマンスに比べて、RISC-Vのよりシンプルなアーキテクチャが、桁違いの証明効率の向上をもたらすと考えています。この提案は既存のエコシステムを覆すため議論を引き起こしましたが、それはイーサリアムのZK化に向けた明確な「北極星」を設定しました——理想的なzkEVMの基準を明確にし、最適化の方向性を示しました。* 2025年6月のベルリンワークショップで、イーサリアム財団の研究員ジャスティン・ドレイクは、イーサリアムがL1のスケーリングに「ZKに全面的に賭ける」と明言しました。この発言は、コア開発チームの揺るぎない決意を確認しました。イーサリアムのZK終局も決して「紙上の談義」ではない。現在、Optimistic Rollupが各種の重要指標においてZK Rollupに依然として先行しているが、ZK技術の実戦応用を妨げる各種の困難が一つ一つ克服されつつある。歴史的にZK Rollupが深刻に遅れをとった三大根本原因:* 最初は技術の複雑さとパフォーマンスのボトルネック:過去には汎用EVM計算によるZK証明の生成が非常に困難で遅く、高価であり、計算上実行不可能と見なされていました。* 次に、開発者体験のギャップがあります:ORUは最初から高度なEVM互換性を実現していましたが、初期のZKRはEVMに互換性がなく、開発者は全く新しいプログラミング言語を学ぶ必要があり、非常に高い参入障壁を構成していました。* 最後は流動性の断片化とネットワーク効果:ORUは先発の優位性を活かして大量のユーザーと流動性を集め、強力なネットワーク効果を形成しました。しかし、これらの歴史的障害は一つ一つ克服されています。* 証明速度に関しては、PLONKやSTARKsなどの新世代の証明アルゴリズムの進歩、さらにGPU、FPGA、さらにはASICなどのハードウェアアクセラレーション技術の発展のおかげで、ZK証明の生成時間が大幅に短縮されました。例えば、Succinct社のSP1 zkVMは、平均10.3秒で93%のイーサリアムメインネットブロックを証明することができ、イーサリアム財団が設定した10秒の目標に非常に近づいています。* 互換性の観点から、zkEVMはType 4からType 1互換性への段階的な進化を遂げてきました。現在、Scroll、Taiko、Polygon zkEVMなどのプロジェクトは、ほぼ完璧なEVMの同等性を実現しており、開発者体験におけるORUとのギャップを根本的に解消しています。また、L1のZK化されたMulti-Proofセキュリティモデルは、複数の独立した証明システムに依存しており、現在のzkEVM分野の活況はこのセキュリティモデルの実現のための基盤を築いています。以上のように、歴史的にZK技術の遅れの核心的障害であった性能と互換性が急速に克服されつつあります。技術は大規模な実戦応用のために十分に準備が整っており、以前のZK技術が「遅い、 高い、 難しい」という固定観念が人々を一時的に受け入れさせない原因となっています。そして、イーサリアムのコアチームが「イーサリアムを世界最大のZKアプリケーションにする」というビジョンは、現代のZK技術を支持し、ZK技術の大規模な実戦投入の号令を鳴らしています。## 四、ROLLUPエコシステム転換###ネイティブロールアップは、ZKロールアップの高速道路を開きますイーサリアムL1の全面ZK化はLayer 2の競争環境を根本的に再構築し、その中で最も革命的な変化は"ネイティブRollup"の提案です。現在のZK-Rollupは、L2が提出したZK証明を検証するために数千行のコードを含む複雑な検証者スマートコントラクトをL1にデプロイする必要がありますが、これにより開発の難易度が増し、開発者のレベルがバラバラであるためにセキュリティリスクも生じます。そして、L1でzkEVMを実現した後、EXECUTEプリコンパイル機能が導入され、ZK RollupはL1のスマートコントラクトがL1プロトコル内蔵の検証ロジックを直接呼び出すことを可能にし、自分でコントラクトを作成する必要がなくなります。この変化はZK-Rollupに三重の利点をもたらしました:* 1つ目は、セキュリティの抜本的な改善であるロールです
イーサリアムはZK技術を全面的に取り入れ、L1アーキテクチャとL2エコシステムを再構築します。
イーサリアムのZK終局:検証可能な世界コンピュータへの道
イーサリアムの技術的発展に注目している人々にとって、イーサリアムのエンジニアであるソフィア・ゴールドが最近発表した「L1 zkEVM #1:リアルタイム証明」というブログ記事は重要な意味を持っています。これはまだイーサリアムのコア開発チームの技術的な構想を代表するものであり、正式にEIPプロセスに入っておらず、メインネットのアップグレードの既定の方案になるにはまだ長い道のりがありますが、そこから発信される信号は軽視できません。
この記事は、イーサリアムの未来の核心的な開発ブループリントを明確に示しています:ゼロ知識証明技術をLayer 1プロトコルの各レイヤーに全面的かつ深く統合し、コンセンサスレイヤーから実行レイヤーまで全方位でカバーすることです。この技術ロードマップに従い、最初の重要なステップは、各ノードのEVMをzkEVMにアップグレードすることです。これにより、ノードは取引を実行し、スマートコントラクトを運用する過程で、対応するゼロ知識証明を同期して生成でき、検証ノードにこの実行の正当性を確認するための根拠を提供します。
これは単なる技術の通常の反復ではなく、"The Merge"に匹敵するアーキテクチャの革命です。これは、イーサリアムが拡張、安全性、経済モデルにおいて直面している複数の課題を根本的に解決することを目的としています。では、イーサリアムはなぜこのタイミングで"全面的にZKに賭ける"ことを選んだのでしょうか?この戦略的転換の背後には、どのような深層的な論理が潜んでいるのでしょうか?それはどのようにして私たちが知っているL1や全体のL2エコシステムを再構築するのでしょうか?
この記事では、既存の研究に基づいて、イーサリアムの「ZKエンディング」の壮大な物語を語り、その背後にある動機、行動、そして深遠な影響を分析します。
一、"再実行"から"証明検証"へのパラダイムシフト
イーサリアムのZK化構想、その核心はコンセンサス検証メカニズムの一度のパラダイム再構築にあります。最近発表されたL1 zkEVMロードマップは、この変化に対して明確な技術的な道筋を示しています。
現在、新しいブロックが提案されると、ネットワーク内のすべてのバリデータノードは独立して、完全にそのブロック内の各トランザクションを再実行し、最終的なステートルートが提案者が宣言したものと一致するかどうかを計算し検証しなければなりません。このプロセスはリソースを多く消費し、イーサリアムL1のスループットを制限する主要なボトルネックです。
※将来モデル:Proof Verification(証明検証)
新しいL1 zkEVMアーキテクチャでは、ブロックの構築者はブロックを生成する際に、簡潔なZK有効性証明を生成します。他の検証者はブロックと証明を受け取った後、取引を再実行する必要はなく、この暗号証明を検証するだけで済みます。"ZK Proofを検証する"ための計算コストは"取引を再実行する"よりも数桁低く、さらに重要なことに、証明を検証するのに必要な時間は、その証明がカバーする取引の数とはほぼ無関係です。これにより、イーサリアムは検証者のハードウェアの敷居を大幅に引き上げることなく、ブロックのGas上限を大幅に引き上げて、より多くの取引を受け入れることができます。Vitalik Buterinは、L1のGas上限がこれによって10倍に引き上げられることを期待していると述べ、さらに長期的には100倍に達する可能性があるとし、去中心化を維持しながらL1のスケーラビリティを実現することを目指しています。
要するに、将来のイーサリアムL1はアーキテクチャ的に非常に巨大なネイティブZK-Rollupに似ており、それによってイーサリアムL1自体が「世界最大のZKアプリケーション」になることが期待されています。
厳格な技術基準
イーサリアムチームはL1 zkEVMの実装に対して非常に厳しい技術基準を設定し、遅延を減らし、スループットを向上させると同時に、安全性と脱中心化の約束を保証する必要があります。
| メトリクス | 目標値 | 原理/影響 | |------------------|-------------------|--------------------------------------------------------------------| | 証明遅延 (99%分位) | 10秒以内 | これは「リアルタイム競技」の核心です。遅延は十分に低く、12秒のブロック生成周期にシームレスに接続できなければならず、新たなボトルネックになってはいけません。 | | 暗号学的安全性 | 128ビット ( 起動初期の最低100ビット) | 証明された暗号学の強度が、現在および予見可能な未来の計算攻撃に対抗できることを保証し、L1の安全性を確保します。 | | 証明サイズ | 300 KiB未満 | 証明はP2Pネットワークで効率的に伝播し、新しいネットワークのボトルネックにならないように十分小さくする必要があります。 | | プルーフ・オブ・ステーク・ハードウェアコスト | 100,000ドル以下 | "家庭証明"を実現することを目的としており、独立したステーキング者が証明生成に参加する能力を確保し、検閲に対抗する最後の防御線として機能します。 | | プルーフオブステークの消費電力 | 10 kW未満 | 家庭用電気自動車の充電スタンドと同等の消費電力で、家庭でのプルーフの敷居をさらに下げ、分散化を確保します。 |
多証明安全モデル
未知の脆弱性が単一のzkEVM実装に存在する可能性を防ぐために、このロードマップは「マルチプローフ」セキュリティメカニズムを導入しました。同じブロックの有効性については、異なるチームから生成された複数のzkEVMによる証明が必要です。検証者のクライアントは、これらの異なる出所からの証明をダウンロードして検証します。複数の独立した証明がすべて検証に合格した場合にのみ、そのブロックはコンセンサス層に受け入れられます。これは本質的にイーサリアムの「クライアントの多様性」という理念が証明層において拡張され、昇華されたものであり、プロトコルによって冗長性と多様性を強制的に導入し、L1に深い防御を提供し、プロトコルの堅牢性を強化します。
二、イーサリアムはなぜ"全面ZK化"が必要なのか?
イーサリアムはゼロ知識証明技術を全面的に受け入れ、その経済モデル、競争環境、未来の市場需要に対する深い考察に基づいて策定された重要な戦略的転換です。
まず、これは「L2を中心にした」経済モデルに対する重要な修正です。EIP-4844がblobメカニズムを導入した後、Layer 2の取引コストは成功裏に低下しましたが、予期しない副作用も生じました。それはLayer 1の価値捕捉能力を著しく弱体化させました。L1の取引手数料収入とETHの焼却量の急激な減少は、ETHのデフレ期待に直接的な影響を与え、コインの価格は低迷し、コミュニティの不満が高まりました。EVMをzkEVMにアップグレードすることで、検証ノードは時間のかかる「再実行」モードから効率的な「検証」モードに移行でき、L1の遅延を大幅に削減し、スループットを向上させることができます。これにより、イーサリアムは安全性と即時最終性に非常に高い要求を持つ高価値な取引を再び引き寄せ、L1の手数料収入を増加させ、EIP-1559の焼却メカニズムを再活性化し、L1とL2の経済関係を再バランスさせることができます。
次に、これは高性能パブリックチェーン競争に対する非対称戦略です。SolanaやSuiなどの新世代高性能L1がTPSにおいて強力なパフォーマンスを示す中、イーサリアムは独自の競争路線を選びました。競争相手が去中心化の程度を犠牲にしてパフォーマンス向上を追求するのを模倣するのではなく、ZK技術を活用し、百万規模のバリデータネットワークというコアの強みを保持しながら、検証作業を「高価なリプレイ」から「安価な検証」へと変えることで性能の飛躍を実現しました。この戦略は、イーサリアムの去中心化と安全性に関する防衛線を強化しつつ、パフォーマンスを向上させ、安全性と高性能の両立を目指しています。
最後に、これはRWAと機関金融の波に備えた先見的なレイアウトです。RWAのトークン化は、ブロックチェーンの次の兆候的な市場機会として広く見なされています。ブラックロック、フランクリン・テンプルトンなどの金融大手が参入する中、基盤となるパブリックチェーンに対するパフォーマンス、安全性、プライバシー、コンプライアンスの面で前例のない厳しい要求が課せられています。SolanaやSuiなどのL1は優れたパフォーマンスを誇りますが、バリデータノードが比較的少なく、中央集権的な程度が高く、過去にダウンタイムの履歴もあるため、安全性と安定性の面で高価値な金融活動のニーズを満たすのが難しいです。一方、イーサリアムエコシステムのさまざまなOP Rollupはパフォーマンスが良好で、L1に状態を再書き込みすることで良好な安全性を持っていますが、7日間のチャレンジ期間は高価値の金融決済にとって受け入れがたいリスクエクスポージャーです。それに対して、ZK技術が提供する暗号学的な最終性と、機密データを漏らさずにコンプライアンスを証明する能力は、機関金融の核心的なニーズに完璧に合致します。もしzkEVMのアップグレードが期待通りにスループットを向上させることができれば、ネイティブにZK技術を統合したイーサリアムエコシステムは「パフォーマンス、安全性、安定性」を兼ね備え、RWAの波を受け入れる理想的なグローバル決済レイヤーとなるでしょう。
第三に、ZKの終盤戦が進行中です
イーサリアムのZK終局は早くも端倪を示しており、Sophia Goldが今回発表したブログを除いて:
2025年4月に、Vitalik Buterinは非常に先見性のある構想を提案しました:現在のEVMの代わりに、ZKにより友好的なRISC-V命令セットアーキテクチャを用いるというものです。支持者は、EVMがZK回路を生成する際の非効率的なパフォーマンスに比べて、RISC-Vのよりシンプルなアーキテクチャが、桁違いの証明効率の向上をもたらすと考えています。この提案は既存のエコシステムを覆すため議論を引き起こしましたが、それはイーサリアムのZK化に向けた明確な「北極星」を設定しました——理想的なzkEVMの基準を明確にし、最適化の方向性を示しました。
2025年6月のベルリンワークショップで、イーサリアム財団の研究員ジャスティン・ドレイクは、イーサリアムがL1のスケーリングに「ZKに全面的に賭ける」と明言しました。この発言は、コア開発チームの揺るぎない決意を確認しました。
イーサリアムのZK終局も決して「紙上の談義」ではない。現在、Optimistic Rollupが各種の重要指標においてZK Rollupに依然として先行しているが、ZK技術の実戦応用を妨げる各種の困難が一つ一つ克服されつつある。歴史的にZK Rollupが深刻に遅れをとった三大根本原因:
最初は技術の複雑さとパフォーマンスのボトルネック:過去には汎用EVM計算によるZK証明の生成が非常に困難で遅く、高価であり、計算上実行不可能と見なされていました。
次に、開発者体験のギャップがあります:ORUは最初から高度なEVM互換性を実現していましたが、初期のZKRはEVMに互換性がなく、開発者は全く新しいプログラミング言語を学ぶ必要があり、非常に高い参入障壁を構成していました。
最後は流動性の断片化とネットワーク効果:ORUは先発の優位性を活かして大量のユーザーと流動性を集め、強力なネットワーク効果を形成しました。
しかし、これらの歴史的障害は一つ一つ克服されています。
証明速度に関しては、PLONKやSTARKsなどの新世代の証明アルゴリズムの進歩、さらにGPU、FPGA、さらにはASICなどのハードウェアアクセラレーション技術の発展のおかげで、ZK証明の生成時間が大幅に短縮されました。例えば、Succinct社のSP1 zkVMは、平均10.3秒で93%のイーサリアムメインネットブロックを証明することができ、イーサリアム財団が設定した10秒の目標に非常に近づいています。
互換性の観点から、zkEVMはType 4からType 1互換性への段階的な進化を遂げてきました。現在、Scroll、Taiko、Polygon zkEVMなどのプロジェクトは、ほぼ完璧なEVMの同等性を実現しており、開発者体験におけるORUとのギャップを根本的に解消しています。また、L1のZK化されたMulti-Proofセキュリティモデルは、複数の独立した証明システムに依存しており、現在のzkEVM分野の活況はこのセキュリティモデルの実現のための基盤を築いています。
以上のように、歴史的にZK技術の遅れの核心的障害であった性能と互換性が急速に克服されつつあります。技術は大規模な実戦応用のために十分に準備が整っており、以前のZK技術が「遅い、 高い、 難しい」という固定観念が人々を一時的に受け入れさせない原因となっています。そして、イーサリアムのコアチームが「イーサリアムを世界最大のZKアプリケーションにする」というビジョンは、現代のZK技術を支持し、ZK技術の大規模な実戦投入の号令を鳴らしています。
四、ROLLUPエコシステム転換
###ネイティブロールアップは、ZKロールアップの高速道路を開きます
イーサリアムL1の全面ZK化はLayer 2の競争環境を根本的に再構築し、その中で最も革命的な変化は"ネイティブRollup"の提案です。現在のZK-Rollupは、L2が提出したZK証明を検証するために数千行のコードを含む複雑な検証者スマートコントラクトをL1にデプロイする必要がありますが、これにより開発の難易度が増し、開発者のレベルがバラバラであるためにセキュリティリスクも生じます。そして、L1でzkEVMを実現した後、EXECUTEプリコンパイル機能が導入され、ZK RollupはL1のスマートコントラクトがL1プロトコル内蔵の検証ロジックを直接呼び出すことを可能にし、自分でコントラクトを作成する必要がなくなります。
この変化はZK-Rollupに三重の利点をもたらしました: