TL,DR;
副題
zkEVM プロジェクトを評価する要素には、証明時間、検証時間、証明サイズ、CRS、SRS、信頼できる設定、再帰サポート、暗号の仮定、量子セキュリティ、互換性レベルが含まれます。
Scroll は開発時間が最も短いが、EVM と同等の標準を満たしている; Polygon Hermez は最速のオープンソースだが、EVM の「従来型」とは異なる新しいアセンブリ コードを使用しており、不確実性が中立である; zkSync は 100 年以内にパブリック ネットワークを開始する予定である数日かかり、開発の進捗は最速である; StarkNet は限られた見通しで zkVM 互換性を主張している; Aztec はまだ Solidity 言語互換性を完了しておらず、EVM 互換性は遅れている; Loopring 互換性の進歩はどこにも見えず、まだ実装されていないアジェンダ。この記事は、「zkEVM を 1 つの記事で理解する」シリーズの 2 番目の記事に属します。，前回の記事では zkEVM の基本を紹介しましたこの記事では、業界の主流の zkEVM 一般ネットワークについて説明します。
zkEVM の重要性については後を絶たず、V God に代表される業界リーダーは、ZK-SNARK テクノロジー (ZK アルゴリズム) の改善により、中長期的には ZKR があらゆるユースケースで勝利すると信じています。 zkEVMはイーサリアムのZKRプロジェクトと互換性のある技術であり、zkEVMプロジェクトとはZKRプロジェクトのことであり、この記事では最近Twitterで話題になっているzkEVMを利用したZKRプロジェクトについて言及しています。
副題
zkEVMプロジェクトの評価要素
特定のプロジェクトの棚卸しを開始する前に、必ず次のような質問が行われます。zkEVM プロジェクトを評価する要素は何ですか?《FL Research | Incomplete Guide to ZK: Why ZK Matters? 》CTHグループの基礎研究所が設立されましたCommunity Proposal: A Benchmarking Framework for (Zero-Knowledge) Proof Systemsこの ZK 調査レポートでは、ZK プロジェクトを評価するための 10 の要素を提案しています。それらは、証明時間、検証時間、証明サイズ、CRS、SRS、信頼できる設定、再帰的サポート、暗号の仮定、量子セキュリティ、互換性レベルです。この研究では、
「本論文で提案するゼロ知識証明システムの基本的な枠組み。この記事では主に、プロジェクトの紹介と、Scroll、Polygon Hermez、zkSync、StarkNet、Aztec、Loopring を含む EVM 互換性の進捗という 2 つの側面から zkEVM プロジェクトをレビューします。
副題
スクロール: 業界のダークホース
Scroll の目標は、EVM と完全な互換性を持ち、イーサリアム上のスマート コントラクトを直接 Scroll にコピーでき、コードを変更せずにイーサリアム インフラストラクチャと互換性を持たせることです。《Introducing Scroll, a new layer2 solution》スクロール Lianchuang Ye Zhang は 21 年 3 月にイーサリアム研究フォーラム ETH Research で最初に提案しました
新しいLayer2ソリューションとしてScrollの技術原理と将来の路線を最初に紹介しました。
公式情報筋によると、Scroll氏は1年以上イーサリアム財団PSE（プライバシーとスケーリング探査）グループと協力しているという。
資金調達に関しては、今年4月22日、ScrollはPolychain Capitalが主導し、Bain Capital Crypto、Robot Ventures、Geometry DAOが参加した3,000万米ドルのシリーズA資金調達を完了した。イーサリアム財団のイン・トン氏とカルロス・アリア氏、そしてイーサリアムコミュニティのメンバーもこのラウンドに参加した。創設者のペン氏は、このプロジェクトはこれまでにエンジェル投資家から約300万ドルを調達していたと語った。
7 月 20 日、Polygon Hermez と zkSync による zkEVM テストネットが正式発表されたため、Twitter 上では「誰が最初の zkEVM なのか」について多くの議論が巻き起こりました。イェ・チャンのTwitter。
Scroll は Polygon Hermez とは少し違うと思います
Scroll と Polygon Hermez はどちらも、ネイティブ EVM バイトコード実行の証明において大きな進歩を遂げました。しかし、実装は大きく異なります。つまり、Scroll はイーサリアムの実装に近く、Polygon Hermez は新しいアセンブリ コードのセットを使用して各オペコードを表現し、独自に定義されたステート マシン上で新しいアセンブリの実行を証明します。したがって、「バイトコード レベル」の互換性も実現できますが、EVM とは動作が異なる可能性があり、Polygon Hermez のスキームはより単純で効率的である可能性があり、未知の状況がいくつかある可能性があります。
今年の下半期に再びテストネットワークを立ち上げる予定で、一般公開される予定で、その機能には、開発者がスマートコントラクトを展開できるようにすること、誰でもアーカイブされたスクロールノードを実行できるようにすること、より多くのzkEVMプルーフを生成して集約することが含まれる。公式文書によると、Scroll はバイトコード互換の EVM と EVM オペコードのサブセットを実装しています。
副題
Polygon Hermez: 最速のオープンソース7月20日 ポリゴン・ヘルメス公式発表
そして、初の EVM 同等の ZK L2 (ZKR) をオープンソース化します。
ただし、他のプロジェクトとは異なり、Polygon Hermez プロジェクトは Polygon が独自に開発したものではなく、Hermez と呼ばれる ZKR プロジェクトの買収と合併を通じて Polygon に買収および統合されました。 Coindesk によると、2021 年 8 月 13 日に Hermez のチームとプロジェクトが Polygon に 2 億 5,000 万ドルで買収され、Hermez は Polygon Hermez という名前で Polygon エコシステムに組み込まれ、2 つのネットワークは統合されました。また、ブロックチェーン ネットワークが別のブロックチェーン ネットワークに完全に統合されたのはこれが初めてです。
Polygon Hermez の EVM 実装に関して、Ye Zhang 氏はツイートしました。「Polygon は、新しいアセンブリ コードのセット、人間が判読できるバイトコード変換を使用して各オペコードを表現します。これにより、EVM 上でコードが動作できるようになります。異なる「バイトコード レベル」の互換性は達成できますが、動作は EVM とは異なる可能性があり、Polygon Hermez のソリューションはよりシンプルで効率的である可能性があり、いくつかの未知の状況が存在する可能性があります。」コードは現在オープンソースです (。オープンソースリンク)EVM との同等性を実現し、テストネットを開いた後、開発者は任意の Ethereum スマート コントラクトを Polygon Hermez にシームレスにデプロイできます。計画では、今年下半期に公開テストネットを立ち上げる予定だ。
副題
zkSync: 業界のベテラン
zkSync は総額 5,800 万米ドルを調達し、Placeholder、1kx、Dragonfly Capital が 3 ラウンドの資金調達に参加し、Union Square Ventures と a16z が 2 ラウンドに参加しました。
zkSync は、2019 年に MatterLabs によって開始されたユーザー中心のトラストフリーのレイヤー 2 プロトコルです。コア テクノロジーとして ZKP を使用し、セキュリティ、ユーザー エクスペリエンス、開発者エクスペリエンスに焦点を当てています。このプロジェクトは、段階的なプロトコル開発、つまり機能を 1 つずつ順番に導入し、各ステップでユーザーに最も具体的な価値をもたらすことに重点を置いています。これらは基本 (セキュリティ) から始まり、最初はスケーラビリティ (トークン転送)、次にプログラマビリティ (スマート コントラクト)、そして最後にプライバシーの基本に焦点を当てます。
zkSync の主な機能には、非常に低い取引手数料、暗号化セキュリティ、ユーザー制御、許可のないスマート コントラクトが含まれます。
現在、zkSync には豊かなエコロジーが確立されており、zkSync は Gitcoin の主要な寄付方法の 1 つでもあります。公式発表によると、zkSyncはイーサリアムSolidity言語とzkSync開発言語Zincの翻訳/トランスレータ開発を完了し、EVMバイトコードレベルでの互換性を達成したとのこと。
zkSync はテスト ネットワークをオープンしており、zkSync パブリック ネットワークを 11 月にリリースする予定です (当初のリリース予定は 2023 年)。すべての zkEVM プロジェクトの中で最も開発が進んでいます。
副題
StarkNet: ZK に焦点を当てる
StarkNet は、許可不要の分散型 Validity-Rollup (「ZK-Rollup」とも呼ばれます) です。 StarkNet は STARK を上回る最も安全でスケーラブルな暗号証明システム上に構築されているため、イーサリアム上の L2 ネットワークとして動作し、イーサリアムの構成可能性とセキュリティを損なうことなく、あらゆる dApp が無限規模の計算を実現できるようになります。
これまでのところ、StarkWare (StarkNet の背後にあるチーム) は 6 ラウンドの資金調達ラウンドを完了しており、総額は 2 億 7,300 万ドルです。特に今回の資金調達ラウンドでは、資金調達額は1億ドルに達し、評価額は直接4倍の80億ドルとなり、すべてのL2プロジェクトの中で最高評価となった。 Vitalik はシードラウンドの投資家であり、さらに投資家のリストには、Paradigm、Sequoia Capital、Pantera Capital、Founders Fund およびその他のラウンドの投資家も含まれています。
StarkWare は主に、最も主流の 2 つのゼロ知識証明システム ZK-SNARK と ZK-STARK を共同発明した Eli Ben-Sasson 氏や、ZK-SNARK の共同発明者でもある Alessandro Chiesa 氏など、世界トップクラスの暗号学者で構成されています。 SNARKs、Zcash の共同創設者。 ZK-SNARK と ZK-STARK は、zkSync、Scroll、Hermez など、業界をリードするいくつかの zkEVM プロジェクトによって構築されたゼロ知識証明システムで使用されています。
昨年と今年上半期、Starkware は、拡張テクノロジー ソリューション StarkEx を提供することにより、サービスとしてのスケーリング (サービスとしての拡張) ビジネス モデルを構築し、アプリケーション固有のネットワークを確立し、業界のトップ顧客である dYdX にサービスを提供しました。ソラレ、ImmutableX、DeversiFiなど現在、StarkNet ネットワーク インフラストラクチャの継続的な改善に伴い、StarkNet は徐々にビジネスの焦点を一般ネットワークに移しています。
開発言語に関する進歩という点では、StarkNet ネットワーク上の独自の Cairo 言語には非常に顕著な利点があります。ゼロ知識証明システムのサポートに加えて、プログラムの実行を数組の多項式に削減します。特に証明可能なプログラムを書くこと。これらの機能により、カイロの開発者は、Gas や Layer1 の影響を受けることなく、イーサリアムのセキュリティと決済保証を維持しながら、スマート コントラクトからオフチェーン実行環境にビジネス ロジックを抽象化し、高コストで再実行可能なアプリの作成をサポートできます。限界。トークンとガバナンスに関して、StarkNet は次のように提案しています。分散型ガバナンスの提案また、下半期には第2層ノードの分散運用を促進するためのコインの発行も予定されておりますので、関連情報をご参照ください。。
「StarkNet のトークン発行が L2 業界のパターンをどのように変えるか」
StarkNet は zkVM に重点を置いているため、仮想マシンの観点から見ると、StarkNet は zkEVM プロジェクトには属していませんが、EVM 互換性の観点から見ると、StarkNet の EVM 互換性レベルは Solidity および Cairo 言語の翻訳/翻訳者に留まります。 EVM との互換性の複雑さと矛盾により、StarkNet は将来的に EVM 互換性に関して何の進歩も行わないと予想されます。
Scroll と Polygon Hermez が登場するまで、大きな期待を寄せられていた zkEVM ネットワークは zkSync と StarkNet の 2 つだけでした。主な違いは、zkSync が同等の EVM にコミットされており、イーサリアム上のアプリケーション、資産、ユーザーが zkSync にシームレスに移行できることです。 StarkNet の目標は、EVM と同等の性能を達成することではなく、ZK テクノロジーの可能性を開発し、ほぼ無制限のパフォーマンス拡張を通じて将来の革新的なアプリケーションのための分散型ネットワーク基盤を構築することです。
「zkSync と StarkWare - 上位 2 つの ZK ロールアップの違いは何ですか?」 》——トークンインサイト
《zkSync vs. Starkware》——Yilun Zhang
副題
アステカ: プライバシーに重点を置く
2017 年に設立された Aztec は、ブロックチェーン上の機関融資プラットフォームとしてスタートしました。
2019 年 9 月 15 日、A.Capital、Coinbase、Libertus Capital が投資ラウンドに参加しました。
画像の説明
画像出典:
進捗状況としては、7月7日、Aztecはメインネットワーク上でプライベートDeFi Aztec Connectを開始した。これは、ユーザーがイーサリアム上でプライベートDeFiアプリケーションを使用することをサポートする、ブリッジングコントラクトとSDKを含むプライバシー開発ツールのセットである。
画像の説明https://medium.com/aztec-protocol画像の出典:
(アステカ建築)
同関係者によると、Aztecは今年下半期にAztec 3とプライバシープログラミング言語Noirをリリースする予定だが、Solidityトランスレータの計画はなく、イーサリアムと互換性のある仮想マシンも存在しないという。他のプロジェクトに比べて遅れています。
副題
ループリング: 自ら構築するエコロジー
Loopring は、DeFi アプリケーションに焦点を当てたイーサリアムベースの最初の ZKR であり、インキュベーション プラットフォームとしての地位を確立している他の L2 (ロールアップ) とは異なり、Loopring は第 2 レイヤーでの独自の製品と機能の構築に焦点を当てています。
資金調達に関しては、Loopring は 2017 年に ICO を通じて 4,500 万ドルを調達しました。
他のパブリック ネットワークとは異なり、外部開発者は Loopring 上で独自の一般的なプロトコルや製品を構築することはできず、Loopring の API を呼び出すことしかできません。また、Loorping はそれ自体で製品を構築することに重点を置いているため、Loopring プロトコルは単なるネットワークではなく、次の 4 つの部分で構成される集合体です。
Loopring プロトコルは、オープンソースの Ethereum zkRollup (ZKR) プロトコル - 安全なスケーリング交換と支払いのためのレイヤー 2 です。
ループリング リピーターは、クローズド ソースの zkRollup リピーターであり、zkRollup ローリング (L1 のようなノードと L2 ソーター) のすべてのオフチェーンの役割を実行します。
Ethereum スマート コントラクト ウォレットである Loopring Wallet - ソーシャル リカバリ、その他のセキュリティ機能、および Loopring L2 が組み込まれたモバイル ウォレット アプリです。
画像の説明
データソース：https://l2beat.com/
Loopring の TVL は、すべての L2 プロジェクトの中で 4 位にランクされ、ZKR の中で 2 位にランクされています。
しかし、この記事を書いている時点では、公式ウェブサイト公式ウェブサイト
