最近、複数の ZKR (zk-rollup) プロジェクトが最新の進捗状況とルート計画を集中的に発表しました。
7 月 19 日、zkEVM ベースの ZKR プロジェクト Scroll がテストネットのリリースを発表しました。
7 月 20 日、Polygon は、「初の EVM 相当の zkEVM ZKR プロジェクト」である Polygon (Hermez) の立ち上げを発表しました。
同日、zkSync は、zkSync が 100 日以内にメインネット上で稼働する最初の zkEVM ベースの ZKR になると発表しました。
zkEVM はキーワードの 1 つとして、Twitter 上でユーザー間で激しい議論を引き起こしました。こうした展開が「L2夏」の到来を告げるものだと考える人もいる。
なぜzkEVMはこれほど注目を集めているのでしょうか? zkEVM は ZKR プロジェクトの鍵です。 EVM と高いレベルで互換性 (または同等) を保ちながらパフォーマンスを向上できるため、イーサリアム L1 上のアプリケーションを変更せずに L2 に直接移行できます。したがって、zkEVM は、L2 ロールアップの「最終ゲーム」であり、「イーサリアムキラーの中のキラー」であるとも多くの人が考えています。
zkEVM をわかりやすく説明するために、Odaily ではこのシリーズを浅いものから深いものまで 3 つの記事に分けています。
1. zkEVM の基本的な導入と細分化レベル
2. zkEVM および zkVM プロジェクトのインベントリ
3. zkEVM と zkVM プロジェクトの比較分析
基本情報
基本情報
画像の説明
画像出典：https://www.cth.group/insights/page/zk/
zkEVM は 2 つの単語を組み合わせたものです。 ZKはZero Knowledgeの略で、EVMはEthereum Virtual Machineの略です。
画像の説明
画像出典：Miden ETHアムステルダムプレゼンテーション
zkEVMを実装するZKRは、ZKテクノロジーの高いパフォーマンスを活用できる一方で、実際にテストおよび監査されたコードベース、広範な開発リソースなどのイーサリアムの開発者リソースを継承できます。ツール、ドキュメント、および多数の開発者 Ethereum のアプリケーション、資産、およびユーザーは、損失、シンプルさ、速度を損なうことなく、より高い TPS とより低いガスで ZKR L2 に転送できます。したがって、ZKR は V God を含む多くの専門家によって最も有望な L2 ソリューションであると考えられています。
よくある誤解
zkEVM は、「EVM 互換」と混同されることがあります。専門家の議論では、zkEVM はバイトコードまたはオペコード レベルで EVM 互換性を実現する ZKR プロジェクトを指すことが多く、EVM 互換性には Solidity 言語レベルでの互換性だけでなく、バイトコード、オペコード、コンセンサス レベルでの互換性も含まれます。
たとえば、StarkNet は言語レベルで EVM 互換性を実現していますが、zkEVM ではなく zkVM であり、Polygon Hermez、Scroll、zkSync などの ZKR プロジェクトは、Solidity 言語と互換性があるだけでなく、ほとんどの開発ツール、プロトコル標準とも互換性があります。 、バイト コード。これは、zkEVM を実装する ZKR です。
要約すると、互換性のある EVM には複数のレベルがあるため、EVM と互換性のあるプロジェクトは必ずしも zkEVM であるとは限りません。実際の zkEVM は同等の (高レベル互換性のある) EVM であるため、zkEVM を実装するプロジェクトは EVM と互換性がある必要があります。 zkEVM と EVM の互換性の詳細な違いについては、以下で説明します。
互換性の違い
Suning Yao 氏は、「Foresight Ventures: zk、zkVM、および zkEVM の現状と将来の解釈」で EVM 互換性の定義について言及しました。
EVM互換性：Solidityなどの言語レベルでの適応。
EVM 等価性: EVM バイトコード レベルでの適応。
EVM 仕様の適応: いわゆる真の zkEVM は、ほとんどの場合、下位互換性の最適化されたスーパーセットであっても、アカウントの抽象化 (つまり、各アカウントはスマート コントラクトです) や、EVM が提供しないその他の特徴を提供できます。
Fundamental Labs は、「FL Research | Incomplete Guide to ZK: Why ZK Matters?」でも、EVM の互換性には 3 つのレベル (低から高まで) があると述べています。
言語レベル: この状態には実際の zkEVM はありません。トランスパイラーは、Solidity を EVM とは完全に異なる ZK フレンドリーな VM に変換します。 StarkNet (zkVM) はこの方法を採用しており、Solidity を StarkNet の母国語に翻訳するためにトランスレーター Warp が開発されました。
バイトコード レベル: ZK 証明システムは、この zkEVM で重要な役割を果たします。現段階では、zkEVM によって生成されたステート ルートはイーサリアム EVM と互換性がありませんが、イーサリアム上のアプリケーションはそのまま zkEVM に移植できます。ポリゴン・ヘルメスをはじめ、スクロール社もこの方式を採用した。 zkSyncの当初の方向性はzkVMだったが、現在はzkEVMに変更されており、最新の発表によると、イーサリアムのオペコードのほとんどをサポートしているが、現在はクローズドソース状態にあり、詳細をレビューすることはできない。
コンセンサスレベル: zkEVM は、イーサリアム上のステートルートの証明を生成するイーサリアム上の EVM と同等です。 Vitalik氏は、イーサリアムのロードマップの中で、イーサリアムは将来コンセンサスレベルのzkEVMを統合すると宣言しました。
画像の説明
参考文献
参考文献
1.《ETHEREUM VIRTUAL MACHINE (EVM)》
2.《Zero Knowledge EVMs: What is a zkEVM?》
3.《Foresight Ventures: zk、zkVM、zkEVM の現状と将来の解釈》
