TL；DR
副題
zkEVM と zkVM の違いは主に、EVM の互換性とゼロ知識証明のサポートにあります。
開発者と開発リソースの点では、イーサリアムには最も多くの開発者がおり、最も完全で豊富な開発リソースとインフラストラクチャがあり、イーサリアムの開発者と開発リソースはzkEVMに転送するのがより便利です。 StarkNet や zkSync などの zkVM の開発者と開発リソースはイーサリアムに大きく遅れています。
アプリケーションエコロジーの観点から見ると、イーサリアムはDAppsの数が最も多く、DeFiのシェア58%を占めているが、イーサリアム上の既存アプリケーションはzkEVMの開発の配当となるだろう、EVMの互換性が悪いため、zkVMの移植は困難になるだろうこれらの既存のアプリケーションですが、zkVM はゼロ知識証明との互換性が高いため、zkVM がアプリケーションの革新を生み出す可能性が高くなります。
この記事は、「zkEVM を 1 つの記事で理解する」シリーズの 3 番目の記事に属します。初めてzkEVM の基本原則とサブディビジョン レベルを紹介しました。パート2この記事では、業界の主流の zkEVM プロジェクトを検討した後、2 つの異なる ZKR プロジェクト、zkEVM と zkVM の基本的な違いについて説明します。
副題
zkEVM と zkVM の違いを知っておくべき理由
副題
基本的な紹介
基本的な紹介
zkEVM は EVM のオペコードとバイトコードの仕様に比較的準拠しており、新しい仮想マシンを設計するため、zkEVM はネイティブ EVM とも呼ばれ、zkVM はカスタム (コンパイル済み) EVM とも呼ばれます。
副題
比較した
zkEVM と zkVM の 2 つのスキームは、ZKR 開発の 2 つの方向を表しています。開発者と開発リソース、アプリケーションのエコロジー、技術的な見通しの観点から、zkEVM と zkVM ZKR ソリューションの違いを比較します。
副題
開発者と開発リソース
開発者に関しては、エレクトリック・キャピタルがまとめた「開発者レポート2021」のデータによると、イーサリアムの月間アクティブ開発者は2021年に4011人に達し、全ブロックチェーンの中で第1位となり、他のブロックチェーンを大きくリードする見通しとなっている。
「デベロッパーレポート2021」レポート
Github 上の Ethereum、StarkNet、zkSync、およびその他の zkVM プロジェクトの人気のあるコード ウェアハウスのデータによると、Ethereum には非常に大規模な開発者グループとコード リソースがあり、StarkNet と zkSync は Ethereum に大きく遅れをとっていることがわかります。
StarkNet の開発リソースは比較的充実していますが、その数は比較的少なく、イーサリアムほど成熟していません。
要約すると、イーサリアムは最も多くの開発者と最も豊富な開発リソースを持っており、これが将来の zkEVM の開発の配当となりますが、StarkNet や zkSync などの zkVM ZKR は後発企業の大きな不利に直面しています。
副題
アプリケーションエコロジーアプリケーションエコロジーの観点から始めます。アプリケーションの移行とアプリケーションの革新
画像の説明
データソース:https://www.stateofthedapps.com/zh/stats
画像の説明
データソース:https://defillama.com/chains
イーサリアムの DApp と DeFi には非常に大きな市場があり、zkEVM はアプリケーションの移植において非常に優れた開発の見通しを持っています。
副題
応用イノベーション
アプリケーションの革新という点では、zkVM は zkEVM と比較して EVM 互換性が大幅に不足しているため、zkVM がイーサリアムのアプリケーションの恩恵を受けることが困難になります。ただし、zkVM プロジェクトはゼロ知識証明用に仮想マシンを調整するため、zkVM は zkEVM ZKR が達成できない多くの革新を生み出しました。
たとえば、StarkNet のチーム Topology は、フルチェーン ゲーム Issac を実現したと主張しています。
Issac の資産トランザクション、状態ストレージ、ロジック実行はすべてチェーン上にあります。
完全なチェーンは、ゲームが分散型、ライセンス不要、結合可能なブロックチェーンの基本属性に準拠していることも意味します。いかなる主体もゲームの基本ルールを変更することはできません プレーヤーとプレイヤーは許可なくゲームに参加し、ゲーム内で作成することができます 開発者は契約に従ってゲームのフロントエンドやゲーム内の施設やアセットを自分で作成することができますトポロジーチームのアイザックのデザイン哲学に焦点を当てます。
副題
技術の見通しテクノロジーの見通しに関しては、アルゴリズム、言語、アーキテクチャの側面
zkEVM と zkVM の長所と短所を比較します。
アルゴリズムに関しては、ほとんどの zkEVM ZKR は SNARKs アルゴリズムを使用していますが、最も極端な zkVMist である StarkNet は STARKS アルゴリズムを使用しています。なお、SNARKs は Groth16、Halo、Fractal、 Sonic.STARKs は新興の特定の SNARKs アルゴリズムであり、この 2 つの利点と欠点を比較します。
STARKsはSNARKsに比べてセキュリティやスケーラビリティが高く、パフォーマンスの潜在力も優れていますが、現時点では実証規模が大きく、検証時間が長く、初期段階にあり、インフラストラクチャやコードベースがまだ完全ではありません。スナーク。。
文章
一方で、オペコードとバイトコードの互換性が不完全なため、Solidityのコードを移植・変換する過程で未知の脆弱性が発生し、例えばPolygon HermezはEVMのバイトコードを仮想マシンのバイトコードに直接変換します。
画像の説明
画像の出典: https://blog.hermez.io/introducing-hermez-zkevm/
一方で、ゼロ知識証明技術の成熟に伴い、必然的にカスタム回路の需要としてzkEVMが登場し、Solidityなどの言語はゼロ知識証明に不向きであり、大きな技術的障害が発生します。
そして、StarkNet や zkSync などの zkVM は、Cairo や Zinc などのゼロ知識証明言語と互換性があるように設計されています。開発者は、一連の多項式を記述して回路に変換するための専門的なゼロ知識証明の知識を学ぶ必要がなく、これらの言語を通じて独自のプログラムのゼロ知識証明を直接生成できます。
要約すると、zkEVM は互換性技術が未熟であるため、短期的には Solidity 言語の記述プロセスに未知の脆弱性を抱えている可能性があり、zkVM のプログラミング言語は zkEVM よりもゼロ知識証明に適しています。アーキテクチャの観点から言えば、イーサリアムのイエローペーパー
仕様によれば、EVM はスタックベースのシリアル ステート マシンであり、簡単に言えば、EVM は本質的にゼロ知識証明と互換性がありません。 zkVM はゼロ知識証明用に調整された仮想マシンであり、基礎となるアーキテクチャでのゼロ知識証明により適しています。Hardware Acceleration for Zero Knowledge Proofs》
zkVM 過激派 StarkNet によって発明された Cairo 言語は、ゼロ知識証明に適応した CPU フレンドリーな高級言語であり、StarkNet を CPU レベルでのゼロ知識証明により適応させ、この目的のためにゼロ知識証明ハードウェアをカスタマイズすることもできます。 。投資機関であるパラジウムも、ゼロ知識証明におけるハードウェアの機会に注目し、この目的のために論文を書きました。Cairo – a Turing-complete STARK-friendly CPU architecture》。
全体として、zkVM はアルゴリズム、言語、アーキテクチャの点で zkEVM よりもゼロ知識証明に適しており、スケーラビリティとセキュリティが高くなります。
副題
今後の展望
Scrollの創設者Ye Zhang氏はTwitterで、StarkWareがzkEVMを介してStarkNet上でカイロ語で書かれた証明プログラムを検証することを示唆したが、簡単に言うと、1つのL2の上に別のL2を構築することになる。このような提案は技術的に実現可能であり、より想像力豊かで包括的な L2 世界を確かに説明しています。
IOS
Android