zk シリーズの 4 つの主要な L2 プロトコルのビッグ PK: 進歩、類似点と相違点、およびエコロジー

最近、zkSync 2.0 の発売により、zk シリーズ拡張計画はさらなるクライマックスの波を迎えました。さらに、ボゴタで先月開催された Devcon に続き、zkEVM 分野では多くの「新しい」声が生まれています。
たとえば、zkSync は自らを「世界初の完全に機能するオープンソース zkEVM ネットワーク」と宣伝していますが、Arbitrum 開発会社 OffChain Labs の共同創設者兼 CEO である Steven Goldfeder を含む人々はこれを批判し、この zkEVM テスト ネットワークは zk- なしでは機能しないと述べました。証明が有効であり、セキュリティ監査がない場合、この種の擁護は誰の役にも立たないし、依然として現実からは程遠いです。
Polygon zkEVM がボゴタでの Devcon 中に正式に発表されたとき、これは「最初で唯一の分散型 zkEVM テストネット」であるとも主張しましたが、すぐにコミュニティから批判を集めました。 Github にありますが、オープン ソース ライセンスはありません。「完全に同等」であると記載されていますが、その Github コード ベースでは、現時点では互換性のカバー率が 97% しか測定されていないことが示されています。これに対し、Polygon チームは「意図的な隠蔽はなく、内容の一部はより適切なドキュメントに書き込まれている」と返答した。
さらに、Scroll はボゴタでの Devcon 中にプレアルファ テストネットのアップグレードも発表し、ユーザーをホワイトリストに登録するためにテストを公開しました。計画によれば、StarkWare は Cairo のアップグレード版を 9 月末にリリースし、Cairo 1.0 も年末までに正式にリリースされる予定です。
Aptos のエアドロップに刺激されて、L2 zk シリーズの最近の力強い物語は確かに多くのユーザーを魅了しました。しかし、比較的成熟した生態系を持つOPシステム拡張計画と比較すると、ZKシステムは表面的には活発に見えますが、真に繁栄するには長い時間がかかります。現在の生態系はまだ比較的弱く、開発サイクルはまだ弱くなっています。 zk テクノロジーは長いため、開発者にとっては非常に困難です。プロジェクト側には一定のしきい値があります。したがって、「最初の zkEVM」について議論するのではなく、構築を続けましょう。
この記事では、zkシリーズの主要4プロトコルであるStarkWare、zkSync、Polygon zkEVM、Scrollの開発進捗や生態などを整理し、現在注目のzkEVMトラックの実態を包括的に理解していきます。
1. スタークウェア1 はじめに:
StarkWare は、zk シリーズ拡張計画の中で最も強力なチームによるプロジェクトです。共同創設者の Eli Ben-Sasson は世界トップの暗号科学者であり、zkSNARK と zkSTARK の共同発明者です。共同創設者兼 CEO の Uri Kolodny は Heber の卒業生です。私は大学でコンピューターサイエンスを専攻し、連続起業家でもあります。 StarkWareの現在価値は80億ドルだ。
StarkWare は現在、ToB 用の StarkEx と ToC 用の StarkNet の 2 つの製品を開発しています。 StarkEx は、カスタマイズされたテクノロジー エンジン サービス StarkEx を販売し、拡張ニーズのある顧客から直接サービス料金を請求する独立ライセンスの Validity-Rollup (有効性証明) であり、現在、dYdX、ImmutableX、Sorare、DeversiFi、rhino.fi、および ApeX を提供しています。 Myria とその他の顧客; StarkNet は、誰でも利用できる許可不要の分散型 zk-Rollup であり、zkSTARK 認定システムを使用し、dApps の独立した展開をサポートします。
StarkNet で使用される基本的なスマート コントラクト言語は Solidity ではなく、チューリング完全ゼロ知識証明システム言語 Cairo ですが、これ自体は EVM と互換性がありません。チームは zkEVM の互換性を模索してきましたが、StarkWare はカイロをベースにした zkEVM (名前は「Kakarot」) の発売を発表しましたが、実際の開発はまだ初期段階にあり、実装されていません。
さらに、イーサリアム開発チーム Nethermind は、Solidity で書かれたプロジェクトがコードベースを「ワンクリック」で Cairo に変換できるようにする Solidity-Cairo 「コンパイラ」を構築しています。この「コンパイラ」はまだ開発中であると報告されており、有効になれば、StarkNet は zkSync 2.0 と同様のレベルの EVM 互換性を達成できるようになります。 Nethermind はコード変換に取り組んでおり、以前には StarkNet ネットワーク上で Uniswap Warp バージョンを起動しました。
2. 進捗状況:
zk-Rollup 分野の最も初期の開発者の 1 つとして、StarkNet のアルファ版が 2021 年 11 月にメインネット上でリリースされました。
StarkWare は、カイロのアップグレード バージョンである Cairo 1.0 を 9 月末にリリースしました。これは、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.zksync1 はじめに:
zkSync は、2019 年 12 月に Matter Labs によって設立されました。StarkWare よりも後に設立され、SNARK プルーフに基づく zk-Rollup テクノロジーを使用し、IR レベルで zkEVM をサポートします。
Matter Labs は 2020 年 6 月に zkSync v1.0 をリリースしましたが、オンラインになるまでに長い時間がかかり、zkSync 2.0 テストネットが開始されたのは今年 2 月でした。 zkSync 2.0 は、以前のバージョンと比較して機能が大幅に向上しました。 zkSync 1.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 段階に入り、開発者にプロジェクト展開の権利を開放し、今年末までに Alpha を完全に開始するという目標を達成する予定です。ただし、安全上の理由により、フェーズ 1 は 2023 年まで延長される可能性があります。その後、一連の包括的なテスト、セキュリティ監査、コンテスト、バグ報奨金を経て、zkSync 2.0 がすべてのユーザーに公開されます。これはコイン発行に最も近い時期でもあります。 150 を超えるプロジェクトが zkSync 2.0 での起動を約束しています。
トークン発行に関しては、Matter Labsの最高製品責任者であるSteve Newcomb氏がTwitter Spacesのディスカッションで、zkSyncが11月の第1週にトークンエコノミーモデルの詳細を発表すると述べた。 11月3日、zkSyncの共同創設者Alex Gは「大きなニュースが来る」とほのめかした。
3. エコロジー
zkSync エコロジー公式 Web サイトの統計によると、100 を超えるプロジェクトがネットワーク上に展開されています。 L2beat データによると、現在のロックされたポジションの合計は 627 万米ドル、1 日の平均 TPS は 0.37、30 日間のトランザクション数は 138 万です。
財布：アージェント
クロスチェーンブリッジ:
Orbiter Finance (現在は zkSync1.0 のみをサポートしており、zkSync 2.0 テストネットはまだサポートしていません)
zkSync2.0テストネットワーク公式クロスチェーンブリッジアドレス: https://portal.zksync.io/bridge (ウォレット転送やテスト通貨収集などの他の機能もサポート)
DeFi：
SyncSwap: zkSync に基づく DEX が、zkSync 2.0 ネットワーク上で起動されました。
インクリメント: これは、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 は、イーサリアム L2 ZK ロールアップ (StarkNet および zkSync) 上の NFT マーケットプレイスであり、現在 StarkNet、StarkNet テストネット、および zkSync 2.0 テストネットで実行されています。
さらに、Aave V3、Uniswap V3、1KX プロトコル ベータ、およびその他のプロトコルが zkSync 2.0 テスト ネットワークに展開されることが計画されています。
三、Polygon Hermez（Polygon zkEVM）1 はじめに:
2021年7月、Hermezチームはイーサリアムと完全互換のzkEVM（Hermez 2.0）の開発を発表し、その後Polygonが2億5000万ドルでHermezを買収すると発表した。 Polygon zkEVM は、SNARK プルーフに基づいた zk-Rollup テクノロジーを使用します。
Polygon zkEVM にはオペコード レベルの互換性があります。記事「Vitalik: さまざまなタイプの ZK-EVM の将来」の中で、Vitalik は Polygon zkEVM を Scroll と並ぶ 3 番目のレベルとしてランク付けしており、EVM 互換性の点で現在の ZK ロールアップの最前線にあります。
最近の宣伝で、Polygon は、その zkEVM が「唯一の分散型 zk ロールアップ」であることを強調しています。なぜなら、Polygon は、利用可能なソース コードを備えた完全な ZK 証明システムを含む zk Prover のオープン ソースを初めて実現し、完全にオープン ソースであることを約束したからです。コミュニティ主導のパーミッションレスなコーディネーターのネットワーク、検証報酬トークンを備えた分散型オークション モデルを利用しています。
2. 進捗状況:
Polygon zkEVM は、10 月 10 日にパーミッションレスのパブリック テストネットを開始します。Aave、Uniswap、Web3 ソーシャル プラットフォームの Lens、およびゲーム スタジオ Midnight Society が、zkEVM テストネットに導入される最初のプロトコルになります。現在、テストネットは主に開発者に公開されています。 Polygon zkEVM は、2023 年前半にメインネットをローンチする予定です。
さらに、Polygon zkEVMは当面コインを発行する予定はなく、ガス料金の支払いにはETHが使用されることを明らかにしました。 MATIC は、Polygon zkEVM のステーキングとガバナンスに使用されます。
4. スクロール1 はじめに:
2021年に設立されたScrollは、昨年末にシリーズAラウンドで3,000万ドルの資金調達を完了した。 Polygon zkEVM と同様に、Scroll も EVM と同等の zk-Rollup の作成に注力しており、互換性に優れており、最も EVM 互換性のある zk-Rollup として知られており、Ethereum 上のアプリケーションをほぼシームレスに 2 番目の zk-Rollup に移行できます。世代のネットワーク。バイトコードレベルでの互換性により、イーサリアム上のすべての言語との互換性を実現でき、またイーサリアム上のツールとの互換性も実現できるため、第2層ネットワークでの開発の難易度が大幅に軽減されます。
Scroll の共同創設者 Ye Zhang は ZKP ハードウェア アクセラレーションで豊富な経験を持っているため、Scroll は ZKP でハードウェア アクセラレーションを使用して検証効率をさらに向上させ、分散型検証ネットワークを確立し、ZKP 証明を参加者に配布して計算と集計を行うことを計画していることは言及する価値があります。最終的な証拠を形成するための結果。分散型検証ネットワークは誰にでも開かれ、インセンティブと罰のメカニズムが設定されます。
2. 進捗状況:
10 月 11 日、Scroll はプレアルファ テスト ネットワークのアップグレード バージョンをリリースしました。Uniswap v2 など、ユーザーが L1 と L2 間の転送などの一部の機能を実行できるようにするアプリケーションがすでにいくつか用意されています。テストに参加するには、引き続きユーザー登録申請が必要です。しかし、多数のボットの出現により、公式はテスト申請の審査を一時的に遅らせ、リストへのアクセスを強化したため、コミュニティでは多くのユーザーが電子メールの返信を受け取っていないと報告しています。ウォレットアドレスとメールアドレスを変更して再申請してください。
Scroll はテストネット中に深刻なクロスチェーン遅延に遭遇し、フォーセットのテストネット トークンにアクセスできなくなりました。公式の回答は、イーサリアムの深刻な混雑が原因であるというものでした。
さらに、関係者は、許可のないテストネットが数週間以内に開始される予定であると述べました。アルファテストネットでは、誰でもテストネット上で対話することができ、開発者は許可なしにネットワーク上にコントラクトを展開することもできます。完全なテストネットは今年末までに開始される予定です。
生態学的には、Web3 ソーシャル プロトコルの Lens Protocol やオラクルの RedStone などのプロジェクトが、最近イーサリアム拡張プロジェクト Scroll のプレアルファ テスト ネットワークに導入されました。
まとめ：全体として、StarkWare と zkSync は zkEVM の究極の実装ですが、結局のところバイトコード レベルの互換性がなく、開発者がコードを変換して移行する必要があるため、比較すると、Polygon zkEVM と Scroll はイーサリアム エコシステムに近いものになります。
ただし、EVM の互換性は L2 拡張ソリューションの品質を判断する唯一の基準ではありません。これは客観的な指標としてのみ使用されます。実際、完全に同等の EVM は安全ではあるものの、ある程度の効率が犠牲になる可能性があり、Starkware の Cario は、構築された仮想マシンと Zksync の仮想マシンは zk の構築においてより柔軟になるだろうと予測しています。
したがって、これらのプロトコルは本質的に良いか悪いというものではなく、すべてまだ開発の初期段階にあり、セキュリティの確保に加えて、その後の開発者エクスペリエンスとユーザーエクスペリエンスがより重要です。