ZK システムにおける 4 つの主要な L2 プロトコルの比較: 進歩、相違点と類似点、エコロジー

最近、zkSync 2.0 のリリースにより、zk ベースの拡張ソリューションは新たな頂点に達しました。さらに、先月ボゴタで開催された Devcon 以降、zkEVM 分野では多くの「新しい」声が聞かれるようになりました。

たとえば、 zkSync は「世界初の完全に機能するオープンソースの zkEVM ネットワーク」であると自称しています。批判者の中には、Arbitrumの開発元であるOffChain Labsの共同設立者兼CEOであるスティーブン・ゴールドフェダー氏もおり、同氏はzkEVMテストネットではzk-proofsが有効になっておらず、セキュリティ監査も受けていないと述べた。このような誇大宣伝は誰の役にも立たず、真に実現されるには程遠いものです。

Polygon zkEVM はボゴタの Devcon で正式にリリースされたとき、「最初で唯一の分散型 zkEVM テストネット」であるとも主張されていましたが、すぐにコミュニティから批判を集めました。Polygon zkEVM 証明器のソース コードは Github で入手できますが、まだオープン ソース ライセンスがありません。 「完全に同等」と記載されていますが、Github のコード ベースでは、現時点では互換性の 97% しかテストされていないことが示されています。これに対し、Polygon チームは「意図的な隠蔽はなく、一部のコンテンツについてはより適切なドキュメントが作成されている」と回答しました。

さらに、Scroll 社はボゴタで開催された Devcon で、プレアルファ テストネットをアップグレードし、ホワイトリストに登録されたユーザーにテストを公開することも発表しました。計画によれば、StarkWare は Cairo のアップグレード版である Cairo 1.0 を 9 月末にリリースし、年末までに正式にリリースされる予定である。

Aptos エアドロップに刺激されて、L2 zk システムの最近の強力な物語は確かに多くのユーザーを魅了しました。しかし、エコシステムが比較的成熟しているOPシステムの拡張計画と比較すると、ZKシステムは表面的には非常に活発に見えるかもしれませんが、実際の繁栄にはまだまだ遠いです。現在のエコシステムはまだ比較的弱く、ZK テクノロジの開発サイクルは長く、開発者やプロジェクト関係者にとって一定の障壁があります。したがって、「最初の zkEVM」について議論するのではなく、構築を続けましょう。

この記事では、StarkWare、zkSync、Polygon zkEVM、Scroll という 4 つの主要な zk プロトコルの開発進捗状況、エコシステムの詳細などを整理し、現在注目されている zkEVM トラックの実際の状況を包括的に理解できるようにします。

1.スタークウェア

1. はじめに:

StarkWareは、zk拡張計画の中で最も強力なチームラインナップを備えたプロジェクトです。共同創設者の Eli Ben-Sasson 氏は世界クラスの暗号科学者であり、zkSNARK と zkSTARK の共同発明者でもあります。共同創設者兼 CEO の Uri Kolodny 氏は、ヘブライ大学のコンピューターサイエンス学部を卒業し、連続起業家でもあります。スタークウェアの現在の評価額は80億ドル。

StarkWare は現在、B2B 向けの StarkEx と C2C 向けの StarkNet という 2 つの製品を開発しています。 StarkEx は、カスタマイズされたテクノロジー エンジン サービス StarkEx を販売し、拡張のニーズがある顧客に直接サービス料金を請求する、独立したライセンスを持つ Validity-Rollup です。現在、dYdX、ImmutableX、Sorare、DeversiFi、rhino.fi、ApeX、Myria などの顧客にサービスを提供しています。StarkNet は、誰でもアクセスでき、許可を必要としない分散型 zk-Rollup です。 zkSTARK 証明システムを使用し、dApp の自律的な展開をサポートします。

StarkNet が使用する基本的なスマート コントラクト言語は Solidity ではなく、チューリング完全なゼロ知識証明システム言語 Cairo であり、EVM 自体とは互換性がありません。チームは zkEVM の互換性を追求してきました。 StarkWareは10月末にCairoをベースに書かれたzkEVM（「Kakarot」と命名）のリリースを発表しましたが、実際の開発はまだ初期段階にあり、実装されていません。

さらに、Ethereum 開発チーム Nethermind は、Solidity で記述されたプロジェクトのコード ベースを「ワンクリック」で Cairo に変換できる Solidity-Cairo「コンパイラ」を構築しています。 「コンパイラ」はまだ開発中であると報告されており、これが有効になると、StarkNet は zkSync 2.0 と同等のレベルの EVM 互換性を実現できるようになります。 Nethermind はコード翻訳に取り組んでおり、以前は StarkNet ネットワーク上で Uniswap Warp バージョンをリリースしていました。

2. 進捗状況:

zk-Rollup 分野の最も初期の開発者の 1 人として、StarkNet のアルファ バージョンは 2021 年 11 月にメインネットでリリースされました。

StarkWareは9月末にCairoのアップグレード版であるCairo 1.0をリリースしており、2022年末までに正式リリースされる予定です。この言語の新バージョンでは、ネットワークのDoS攻撃防御機能が向上し、ガス料金が削減され、StarkNetの許可のないネットワーク要件がサポートされ、プロトコルが簡素化され保護されます。その時、チームは「Regensis」と呼ばれるイーサリアムメインネット上でStarkNetも再起動する予定です。

現在、StarkNet は Goerli で 2 番目のテストネットを立ち上げており、コミュニティ全体で命名提案の募集を開始しています。新しいテストネットは主に開発者がアプリケーションをテストするためのものであり、パブリックベータ段階ではありません。

さらに、StarkWare は 7 月にトークンエコノミクスを発表しました。ネイティブトークンは当初9月に発行される予定だったが、チームは技術的な理由により発行を延期した。 StarkNet トークンの初期発行額は 100 億で、そのうち 17% が StarkWare 投資家に、32.9% がコア貢献者に、51% が財団に割り当てられます (そのうち 12% は StarkNet プロトコルの開発、テスト、展開、保守に関する研究および作業の資金として使用されます)。しかし、関係者は、初期段階ではユーザーに無料トークンは提供されず、リリース後すぐにすべてのトークンがロックされると述べた。

3. エコロジー：

StarkNet エコシステムは主に DeFi、GameFi、NFT に基づいています。現在、StarkNet には 100 を超えるプロジェクトが展開されていますが、実はまだ計画・展開段階にあるプロジェクトもあり、真にインタラクションを実現できるプロジェクトは多くありません。 L2beatのデータによると、StarkNetの現在の総ロック額は310万米ドル、1日平均TPSは0.15、30日間のトランザクション数は約279,000件です。

ウォレット: Argent X、Braavos (最近 Pantera Capital が主導する 1,000 万ドルの資金調達ラウンドを完了)

クロスチェーンブリッジ: Orbiter Finance、公式の Ethereum-Starknet クロスチェーンブリッジ StarkGate

DeFi:

• 10KSwap: メインネットでリリースされた StarkNet のネイティブ AMM DEX プロトコル。現在、取引できるのは ETH、USDC、DAI、WBTC、USDT トークンのみです。

• Alpha Road Finance: StarkNet ネイティブ DEX および流動性ステーキング プロトコル。現在テスト中。

• Brine Finance: オーダーブック取引 DEX。現在はまだテストネット上にあります。

• Fibrous Finance: StarkNet 上の AMM アグリゲータ。まだテストネット上で稼働中。

• mySwap: StarkNet 上の最初の AMM DEX。

• zkLend: StarkNet 上の貸付プロトコル。Artemis (DeFI ユーザー向け) と Apollo (機関、中小企業など向け) の 2 つの製品が含まれます。

• GameFi: Loot Realms、GoL2、The Ninth がメインネットに登場しました。

2. zksync

1. はじめに:

zkSync は、StarkWare よりも後の 2019 年 12 月に Matter Labs によって設立されました。 SNARK 証明に基づく zk-Rollup テクノロジーを使用し、IR レベルで zkEVM をサポートします。

Matter Labs は 2020 年 6 月に zkSync v1.0 バージョンをリリースしました。これは長い間オンラインになっていました。 zkSync 2.0 テスト ネットワークが開始されたのは今年 2 月になってからでした。以前のバージョンと比較して、zkSync 2.0 は機能が大幅に改善されました。 zkSync1.0では、ユーザーは転送やNFTの鋳造などの基本的な機能のみを体験できます。ただし、zkSync 2.0 は EVM 互換性をサポートすると同時に、エコロジカル アプリケーションの展開も可能にします。これは、zk-Rollup 製品の完全なバージョンです。

2. 進捗状況:

10月28日にzkSync 2.0が正式にリリースされ、現在はBaby Alpha段階にあることが発表されました。この段階では、zkSync 2.0 は主にストレス テストと複数のセキュリティ タスクのために、外部プロジェクトなしでメインネット上でリリースされます。開発者はメインネットにアクセスすることはできませんが、テストネット上で開発を継続できます。ベビーアルファ期は約 1 か月続きます。

公式ロードマップによれば、第 4 四半期 (Baby Alpha の後) は Fair Launch Alpha フェーズに入り、チームは開発者にプロジェクトの展開権限を開放する予定です。チームは今年末までにアルファ版を完全にリリースするという目標を達成する予定ですが、セキュリティ上の理由からこのフェーズは2023年まで延長される可能性があります。その後、一連の包括的なテスト、セキュリティ監査、コンテスト、バグ報奨金を経て、zkSync 2.0 がすべてのユーザーに公開されます。これは、コインの発行に最も近い時期でもあります。すでに 150 を超えるプロジェクトが zkSync 2.0 での立ち上げを約束しています。

トークン発行に関しては、Matter Labsの最高製品責任者であるスティーブ・ニューカム氏はTwitter Spacesのディスカッションの中で、zkSyncが11月の第1週にトークン経済モデルの詳細を発表すると述べた。 11月3日、zkSyncの共同設立者であるAlex G氏は「大きなニュースが来ます」と示唆した。

3. エコロジー

zkSync エコシステムの公式ウェブサイトによると、現在ネットワーク上には 100 を超えるプロジェクトが展開されています。 L2beatのデータによると、現在の総ロック量は627万米ドル、1日平均TPSは0.37、30日間のトランザクション数は138万件です。

ウォレット: Argent X、zkSync Portal 2.0 (zkSync 2.0 では、ユーザーは他のウォレットをダウンロードせずに、MetaMask に zkSync 2.0 の RPC ノードを直接追加できます)

鎖橋:

• Orbiter Finance (現在は zkSync1.0 のみをサポートしており、zkSync 2.0 テストネットはまだサポートしていません)

• zkSync2.0 テストネット公式クロスチェーンブリッジアドレス: https://portal.zksync.io/bridge (ウォレット転送やテストコイン収集などの機能もサポート)

DeFi:

• SyncSwap: zkSync 2.0 ネットワークで開始された zkSync ベースの DEX。

• Increment: は、zkSync 2.0 テストネットで最近リリースされた zkSync 2.0 に基づく分散型アルゴリズム永久契約プロトコルです。ただし、現在はホワイトリストテストに以前に申請したユーザーのみが対象となっており、登録期限は過ぎています。

• SpaceFi: Evmos と zkSync 上のクロスチェーン Web3 プラットフォームであり、現在 zkSync 2.0 テストネット上で実行されています。

• Zigzag: zk Rollup を搭載したオーダーブック DEX。現在は zksync1.0 ネットワークのみをサポート

• Sprintcheckout: 現在 zkSync 2.0 テストネットで実行されている暗号通貨支払いプラットフォーム。

NFT:

MintSquare は、Ethereum L2 ZK Rollups (StarkNet および zkSync) 上の NFT マーケットプレイスであり、現在 StarkNet、StarkNet テストネット、および zkSync 2.0 テストネットで実行されています。

さらに、Aave V3、Uniswap V3、1KX Protocol Beta などのプロトコルが zkSync 2.0 テストネットに導入される予定です。

3.ポリゴン ヘルメス (ポリゴン zkEVM )

1. はじめに:

2021年7月、Hermezチームは、Ethereumと完全に互換性のあるzkEVM（Hermez 2.0）の開発を発表しました。その後、ポリゴンはヘルメスを2億5000万ドルで買収すると発表した。 Polygon zkEVM は、SNARK 証明に基づく zk-Rollup テクノロジーを使用します。

Polygon zkEVM はオペコードレベルの互換性を備えています。 Vitalik 氏は、「Vitalik: さまざまなタイプの ZK-EVM の将来」という記事で、Polygon zkEVM と Scroll を第 3 レベルにランク付けし、EVM の互換性の点では現在の ZK Rollup の最前線に立っています。

最近の宣伝では、Polygon は、完全なソースコードが利用可能な ZK 証明システムを含む zk Prover のオープンソースを最初に実現し、完全にオープンソースでコミュニティ主導の許可不要のコーディネーター ネットワークと検証報酬トークンを備えた分散型オークション モデルを約束したため、zkEVM が「唯一の分散型 zk ロールアップ」であることを強調しています。

2. 進捗状況:

Polygon zkEVM は 10 月 10 日に許可のないパブリック テストネットを立ち上げました。Aave、Uniswap、Web3 ソーシャル プラットフォーム Lens、ゲーム スタジオ Midnight Society が、zkEVM テストネットに展開される最初のプロトコルになります。テストネットは現在、主に開発者向けに公開されています。 Polygon zkEVMは2023年前半にメインネットを立ち上げる予定です。

なお、Polygon zkEVMは当面コインを発行する予定はなく、ガス料金の支払いにはETHが使用されることを明確に述べています。 MATIC は、Polygon zkEVM のステーキングとガバナンスに使用されます。

スクロール

1. はじめに:

Scrollは2021年に設立され、昨年末に3,000万ドルのシリーズA資金調達ラウンドを完了した。 Polygon zkEVM と同様に、Scroll は、さらに互換性の高い EVM と同等の zk-Rollup の作成にも取り組んでいます。これは最も EVM 互換な zk-Rollup として知られており、Ethereum 上のアプリケーションをほぼシームレスに第 2 層ネットワークに移行できます。バイトコードレベルの互換性により、Ethereum 上のすべての言語との互換性を実現できるだけでなく、Ethereum 上のツールとの互換性も確保できるため、第 2 層ネットワークでの開発の難易度が大幅に軽減されます。

Scrollの共同設立者であるYe Zhang氏はZKPハードウェアアクセラレーションの経験があるため、ScrollはZKPのハードウェアアクセラレーションを使用して検証効率をさらに向上させ、分散型検証ネットワークを確立し、参加者にZKP証明を配布して計算させ、結果を集約して最終証明を形成することを計画していることは注目に値します。分散型検証ネットワークはすべての人に公開され、インセンティブと罰則のメカニズムが備わります。

2. 進捗状況:

10月11日、Scrollはプレアルファテストネットのアップグレード版をリリースしました。 Uniswap v2 など、L1 と L2 間の転送などの機能を実行できる事前展開済みのアプリケーションがすでにいくつかありますが、この段階では、テストに参加するには、ユーザーが登録してホワイトリストへの参加を申請する必要があります。しかし、膨張ロボットの大量出現により、当局は一時的に試験申請の審査を遅らせ、入学者リストを厳しくした。その結果、多くのユーザーから、電子メールの返信が届いていないという報告がコミュニティに寄せられました。コミュニティでは、ウォレット アドレスとメール アドレスを変更して再申請することを推奨しています。

Scroll はテストネット中に重大なクロスチェーン遅延に遭遇し、フォーセット内のテストネット トークンにアクセスできませんでした。公式の回答は、これはイーサリアムの深刻な混雑が原因であるというものでした。

さらに、当局者は、数週間以内に許可のないテストネットが開始されると述べた。アルファ テストネットでは誰でもテストネット上でやりとりすることができ、開発者は許可なくネットワーク上で契約を展開することもできます。完全なテストネットは今年末までに開始される予定です。

エコロジーの面では、Web3 ソーシャル プロトコル Lens Protocol やオラクル RedStone などのプロジェクトが、最近、Ethereum 拡張プロジェクト Scroll のプレアルファ テストネットに導入されました。

まとめ：

一般的に、StarkWare と zkSync は最終的に zkEVM を実装すると主張していますが、結局のところバイトコード レベルでは互換性がないため、開発者はコードを翻訳して移行する必要があります。したがって、比較すると、Polygon zkEVM と Scroll は Ethereum エコシステムに近くなります。

ただし、EVM の互換性は、L2 拡張ソリューションの品質を判断する唯一の基準ではなく、客観的な指標にすぎません。実際、完全に同等の EVM は安全ですが、効率が犠牲になる可能性があります。 Starkware の Cario 氏は、構築された仮想マシンと Zksync の仮想マシンにより、zk の構築がより柔軟になると予測しています。

したがって、これらのプロトコルには本質的な違いはなく、まだ開発の初期段階にあります。セキュリティの確保に加えて、その後の開発者エクスペリエンスとユーザーエクスペリエンスがより重要になります。