イーサリアムの2層ソリューションであるzkSyncとStarkwareを比較した記事
原文の編集: The Way of the Metaverse
原文の編集: The Way of the Metaverse
最近、@dareal_sisyphe がイーサリアムの第 2 層ソリューション zkSync と Starkware に関する比較記事を公開し、チーム、テクノロジー、データの可用性、資金とサポーター、現在の製品とロードマップ、個人的な印象の 6 つの観点から分析しました。以下はすべての内容をまとめたものです。
ZK ロールアップが巨大になると言っても過言ではありません。
数年間にわたってこのテクノロジーをバックグラウンドで開発してきた 2 人の猛獣がいます。彼らが輝く時が来ています。では、この分野にはどのようなチャンスがあるのでしょうか?これら 2 つのプロジェクトの違いは何ですか?コインはいつ発行されますか?
以下は、zksync と StarkWare の比較です。
これは私が理解しようとしている大きなテーマであり、説明を省略したり、間違いを犯したりする可能性がありますので、あらかじめご了承ください。コメントで自由に修正したり、より正確な提案をしてください。
ZK ロールアップとは何か、そしてオプティミスティック ロールアップとどのように異なるのかを詳しく説明したリソースがすでにたくさんあります。
ここでは、zk ロールアップの背後にある基本と、zk ゲームの 2 つの主要プレーヤーである zksync と StarkWare の違いのみに焦点を当てます。
基本: イーサリアム rn は私たちが呼んでいるものです"シングルチップマイコン"モジュラー"モジュラー"。これは、ブロックチェーンが最も得意とすること、つまりコンセンサスのためにのみブロックチェーンを使用し、実行とデータ可用性 (DA) の負担をオフチェーンに移動することを意味します。しかし、L1 の安全性を完全に継承する方法で実行と DA を移動するにはどうすればよいでしょうか?
zk ロールアップ: zk ロールアップでは、数千の tx が単一の数学的に検証可能な zk 証明にバッチ化され、この証明のみがオンチェーンに保存されます。
次に、zksyncとStarkWareを比較してみましょう。明確にするために、比較のために以下の角度に従ってください。
データの可用性
テクノロジー
データの可用性
資金と支援者
現在の製品とロードマップ
個人的な印象と機会
チームと始まり
StarkWare: 2018 年 5 月に開始。チームは世界クラスの暗号学者と科学者で構成されています。中心スタッフは、Zcash の元チーフサイエンティストであり、長年にわたって ZK 分野の革新的な先駆者でした。彼らは Starknet を通じて学術理論を現実世界の製品に変えています。彼らは間違いなくこのゲームで最も有名なチームです。
Zksync：2019年12月にスタート。実際、zk フィールドには、"二番目に良い"テクノロジー
テクノロジー
どちらのプロジェクトも同様のアーキテクチャを持ち、L2 状態遷移の zk プルーフを保存するために Eth ブロックチェーンにプラグインされたロールアップ スマート コントラクトを備えています。さらに、どちらもネットワークへの電力供給を担当する 2 つのオフチェーン アクターを抱えています。
証明者: 面倒な作業を行う少数のノード。すべての tx を計算し、それらを簡潔な zk 証明に集約します。これらは専用のハードウェア上で実行され、ブラックボックスになる可能性があります。私たちが知っているのは、偽の ZK 証明を偽造することは数学的に不可能であるということだけです。
バリデータ: 反検閲作業を担当する多数のノード。彼らは証明者によって提出された証明の有効性を検証します。特定のハードウェアは必要ありません。誰でも走れます。
さらに、両方のプロジェクトは、一般的なproof-of-ZKシステムを作成するという大きな技術的問題を克服するために競争する必要があります。
これまではすべての ZK ラインに特定のアプリケーションが必要であったため、これは究極の目標です。これは、アプリケーションごとに ZK ロールアップが 1 つだけであり、EVM 互換性がないことを意味します。
zksync と StarkWare はどちらもそれを実行しますが、技術的には異なります。
StarkWare: 彼らが使用する暗号化技術は STARK に基づいています。彼らはこのテクノロジーの先駆者であり、SNARK (zkSync によって使用される) に比べて 2 つの主な利点があります。
"T"平均"透明"これは、システムが信頼設定なしで動作することを意味します。 SNARK よりも 10 倍の速さで生産できます。しかし、STARKs の問題は、技術が SNARKs ほど成熟していないことです。チューリング完全性を許容する場合、EVM と互換性を持たせるのは困難です。
さらに、Starkware は、STARK を利用した任意プログラムの実行を可能にする特定のプログラミング言語である Cairo を作成しました。しかし、スマート コントラクトを実行するために新しいプログラミング言語を学ぼうとする人はほとんどいないため、現在 @nethermindeth と協力して、Solidity スマート コントラクトを Cairo にシームレスに変換して @StarkWare EVM との互換性を可能にするトランスパイラーである Warp を作成しています。
zksync: 使用される zk システムは SNARK (特に PLONK) に基づいています。したがって、システム全体のセキュリティは、2019 年の秋に導入された信頼できる儀式にかかっています。これには、ヴィタリック・ブテリンを含む多くの有名な暗号通貨プレーヤーが関与していました。参加者の少なくとも 1 人が正直であればシステムは安全であることが証明されているので、何も考えなくても安心です。"信頼できる設定"この引数は zksync に対して使用できます。
zkSync チームによる多くの最適化にもかかわらず、SNARK は依然として STARK よりも遅いです。ただし、彼らのシステムでは、STARK よりも自然な方法で EVM 互換性が可能です。スマート コントラクトは、zkSync コンパイラーによって (ほぼ) オペコードごとに変換できるという事実により、zkSync の頼りになるのは堅牢性です。"主な国民"データ可用性 (DA)
データ可用性 (DA)
zk ロールアップは、L1 からの TXS 計算の負担を取り除き、ETH を 2 ～ 3K tps まで拡張できるようにします。それは良いことですが、十分ではありません。使用"rollup only"この方法では、DA の負担は引き続き L1 にあり、tx データは calldata を通じて L1 に書き込まれます。
DAは超重要です。これは、Etherscan 上の tx に何が起こったかを確認できるキーです。これがないとtxの実行がブラックボックスになってしまいます。 L1 での直接トレースよりも安価な TX を好む場合は、これで問題ないかもしれません。したがって、zk rollup はユーザーに選択肢を提供する必要があります。 TX データは L1 に書き込まれますが、料金が少し高くなります。または、超安価な TX を優先し、L2 上の何らかのエンティティを信頼して TX データの可用性を保証します。このようにして、L1 は DA の負担から解放され、ZK ロールアップを 20 ～ 30k TPS まで拡張できます。
StarkWare: Volition システムで DA の課題を解決します。 Volition を使用すると、エンドユーザーは tx のロールアップ決済 (オンチェーン DA) と単一の tx レベルでの効果的な決済 (オフチェーン DA) のどちらかを選択できます。効果的な決済の場合、オフチェーン DA は集中管理されます。"データ利用可能委員会"(DAC) は、著名な仮想通貨団体で構成される委員会です。
集中化のように聞こえますが、これはエンドユーザーが自発的に選択した超安価な TX とのトレードオフです。
zksync: DA の課題に対する解決策は、zkSync の zk ロールアップとシームレスに動作するシャーディング インフラストラクチャである zkPorter です。 zkSync ロールアップがチェーン上の DA を保証する shard0 であると想像してください。その後、他のシャードは異なる DA ポリシーを選択し、TX データをオフチェーンに保存できます。
StarkWare の Volition と zksync zkPorter の主な違いは、Volition では決済の選択が tx ベース (ユーザーが各 tx に対して DA を選択) であるのに対し、zkPorter ではアカウント ベースである (zkPorter アカウントはオフチェーンでのみ tx を生成できる) ことです。 DA)。
さらに、zkPorter の場合、DA は zkSync ネイティブ トークンによってインセンティブが与えられるため、オフチェーン DA システムはより分散化されます。"プロテクター"集中型ではなくネットワーク型"DAC"保証されています。
資金と支援者
StarkWare:
600万ドルのシードラウンド（Pantera/Naval/Vitalik）は2018年5月に完了しました。
2018年10月にシリーズA資金調達(Paradigm/Sequoia/Cb Ventures)で3,000万ドルを完了。
昨年3月に7,500万ドルのシリーズBラウンドを完了（Paradigm/3AC/Alameda）
昨年11月にシリーズC資金調達（Paradigm/3AC/Alameda）で5,000万ドルを完了。
現在、StarkWareの評価額は20億ドルとなっている。これは著名な投資家による世界クラスの資金調達でした。大物たちとイーサリアム財団が参加しています。 Vitalik 自身も、Starkware によって作成された記事のほとんどにコメントしています。シュウとサムも同じ立場です。どうしてそのようなプロジェクトが失敗するのでしょうか？
zksync :
昨年3月にシリーズAで600万米ドルの資金調達を完了
（Binance/Cb Ventures/AAVE/ Balancer/Curve）。
昨年11月にシリーズBで5,000万ドルの資金調達を完了
(Horowitz/Placeholder/Crypto.com など)。
取締役会には大物名が少なく、大きなDefi/CEX暗号通貨ファミリーファンドのように見えます。これはおかしく聞こえますが、ZK ロールアップの成功は DeFi プロトコルと直接 CEX の統合に大きく依存するため、実際には重要です。したがって、私は zksync エコシステムの迅速な統合について非常に強気です。
現在の製品とロードマップ
StarkWare は、主要な暗号論文を現実世界のイノベーションに絶え間なく変換することで、信じられないほどの進化を遂げてきました。彼らのロードマップは次のように要約されています。
惑星"惑星"ステージングし、Cairo と STARK を利用した、許可されたアプリケーション固有の zk ロールアップの作成を可能にします。わからない場合は、@dydxprotocol、@Immutable、または @deversifi を考えてください。これらは 3 つの主要なアプリケーションであるため、StarkEx の製品バージョンによって駆動されます。
これまでに、StarkEx はこれらのアプリケーションを通じて 500 万件以上の TX と 2,500 億ドル以上の価値を決済しました。 StarkEx の効率性は現在証明されており、StarkWare は間もなくロードマップに掲載される予定です"星座"ステージ。 11 月 29 日、彼らは StarkNet のアルファ版をメインネット上にリリースしました。 StarkNet は、私たちが期待しているパーミッションレスでマルチアプリケーションの汎用 zk ロールアップです。
当初、StarkNet は集中バリデーターによって強化され、アプリケーションは Optimism と同様にホワイトリストを介して順次展開されます。したがって、その計画はエコシステムを開発することであり、ロードマップでは"宇宙"この段階では、StarkNet が徐々に分散化されます。
zkSync のロードマップは、次の 4 つのステップに要約されています。
最初のフェーズは、2020 年 6 月にリリースされた zkSync 1.0 に対応し、zk ロールアップにほぼ対応しますが、スマート コントラクトの統合はなく、トークンの送受信が可能になります。コンポーザビリティの欠如にもかかわらず、有望なプロジェクトがすでにそれにデプロイされており、すべての指標が zkSync 1.0 への関心が飛躍的に高まっていることを示しています。
第 2 フェーズは、zkSync 2.0 のメインネット展開で開始されます。これは、Zk ロールアップでの EVM の完全な互換性とスマート コントラクトの構成可能性など、私たちが期待するすべてに対応します。
zkSync 2.0は当初、8月にメインネットにデプロイされる予定だったが、技術的な問題により発売が遅れた。これらの問題は現在テストネット上で解決されており、昨年 10 月に zksync は、技術的なステップがほぼ完了し、EVM の互換性を実証するために AMM のようなテストネットを展開したと発表しました。
Matter Labs が LLVM/Solidity の互換性を確保するためにかかった遅延は、最初はイライラするかもしれませんが、すべての eth ツールと依存関係を zkSync 2.0 とネイティブに統合できるため、zksync が多くの時間を勝ち取るのに役立ちます。
個人的な印象と機会
StarkWareは本当に印象的です。これは、私がここしばらく見た中で最も有望なインフラストラクチャ プロジェクトです。オールスター チーム、世界クラスのイノベーション、一流の資金。注目すべきことに、彼らは単に ZK ロールアップを構築しているだけではありません。彼らはあらゆることを考えています。カイロとワープについて話しました。しかし、彼らはまた、Veedo、条件付きTXSを介したL1からL2への通信、バッチロングフラッシュローン、その他の天才的な機能を使用して、ETHに真のランダム性をもたらすことにも取り組んでいます。彼らは使用します"分散型 AMM"L1 と L2 の間の AMM のモビリティ断片化に対処するアプローチは、確かに有望です。彼らはグローバルに目を向けています。
現在 StarkWare で発生している唯一の技術的問題は、Warp アダプターを介した Solidity の統合です。 Starknet はまずカイロ用に最適化され、その上に Solidity トランスポンダーが追加されました。技術的にはあまり得意じゃないけど不安です"ソリッド性の翻訳"すべての場合において簡単なわけではなく、一部のスマート コントラクトとの互換性の問題が発生する可能性があります。
また、私が考える他の疑問は次のとおりです。私たち民間人にとってチャンスはどこにあるのでしょうか? StarkWareの価値はすでに20億ドルに上るが、現時点では公正なトークン発売の計画はない。
一方で、私は zksync のコミュニティ第一のアプローチと、そのサポートも好きです。"主要国民としての堅実さ"強調の。彼らの技術的取り組み全体は、トレードオフのない真の EVM エクスペリエンスに基づいており、導入という点でおそらく報われるでしょう。 zksync は現在の Defi/CEX 環境にも深く統合されており、これは将来のプロトコルのオンボーディングと採用の前兆となります。
機会という点では、zkSync はネイティブ トークンの存在を発表しており、将来的には公正なトークンの発売とエアドロップの可能性があるとのことです。これはコミュニティにとって非常に素晴らしいことですが、全員とそのチームがそれを待っているため、Zk rollups ネイティブ トークンは過剰になるのではないかと感じています。
StarKwareも入って欲しい"宇宙"ネイティブ トークンを起動するフェーズ。なぜなら、彼らはいつかネットワークを分散化し、証明者にインセンティブを与える必要があるからです。
そうは言っても、私の意見では、zk rollup で最も印象的な実行は StarkWare によるものですが、草の根コミュニティ/オープンソースの雰囲気により、zksync の方が私にとって魅力的です。
私の最後の個人的なメモは次のとおりです。
機会という点では、ロールアップのネイティブ トークンから、これらのロールアップでユーザー ベースを見つける新興プロジェクトに焦点を移すべきかもしれません。 ETH はパラダイム シフトであり、オンチェーンで注文を複製しようとしたプロジェクトは、この新しい環境により適した AMM モデルにすぐに置き換えられました。同様に、ZK ロールアップは ETH にとってパラダイム シフトであり、おそらく (おそらく) ロールアップで AMM を複製することは精神薄弱な考えです。おそらく TVL はロールアップにおいて重要な指標ではないでしょう。おそらく CLOB は再検討する価値があるでしょう。
これらはアドホックな例ですが、おそらく最良の機会は、すでにあるものを複製するのではなく、これらのロールアップを活用して L1 では不可能なことを実行するプロジェクトにあるという考えです。
ここまで進んだなら、おめでとうございます。
