Arbitrum のエアドロップ効果は、市場の L2 への信頼を高め、Optimism と Arbitrum はエコシステムの成長とユーザーの獲得を目指す戦略を試みました。市場シェアはこの点を反映しています。Layer2 の 4 つの主要プロジェクト、Optimism、Arbitrum、zkSync、StarkNet のうち、後者 2 つはまだエアドロップを発表していません。80 億ドルの評価額を持つ StarkWare は自然に注目されています。
また、StarkNet は私たちのコミュニティが深く関与しているプロジェクトでもあり、その巨大なポテンシャルを信じて、2023 年末に成果を収めるために多くのリソースを投入しています。
StarkWare 紹介
- プロジェクト概要
StarkNet の親会社である StarkWare は 2018 年に設立され、イスラエルに拠点を置いています。主な製品には、Ethereum メインネット上で構築されたスケーリングエンジンである StarkEx と汎用の ZK-Rollup である StarkNet があります。StarkWare の技術チームは、ZKP 領域で 10 年以上の研究とエンジニアリングの経験を持っており、2018 年には STARK 有効性証明を使用して Ethereum のスケーラビリティ問題を解決し、大規模なスケーラビリティを実現しました。
- 内容紹介
StarkEx：アプリケーション向けのレイヤー 2 スケーリングエンジンであり、各アプリケーションに専用の Rollup テクノロジーサービスを提供します。2020 年から Ethereum メインネットで正式に稼働しており、比較的成熟しています。現在、StarkEx をベースに開発されたプロジェクトには、Sorare、ImmutableX、dYdX、ApeX などの有名なプロジェクトがあります。
StarkNet：汎用の Rollup であり、任意のスマートコントラクトをデプロイすることができます。2021 年 11 月に Ethereum メインネットで稼働を開始し、50 以上のプロジェクトがメインネットに、100 以上のプロジェクトがテストネットに展開されています。
StarkWare は 7 回の資金調達で累計 2.73 億ドルの資金を調達しており、2018 年 1 月に 600 万ドルのシードラウンドを完了し、同年 7 月には Ethereum Foundation から 1200 万ドルの助成金を獲得しました。2021 年 3 月には Paradigm が主導する 7500 万ドルの B ラウンド、同年 11 月には Paradigm、Alameda Research、Three Arrows Capital などが参加する 5000 万ドルの C ラウンドを完了しました。2022 年 5 月 25 日、StarkWare は 80 億ドルの評価額で 1 億ドルの D ラウンドを完了し、Greenoaks Capital、Coatue、Tiger Global などがリード投資家となりました。
- 技術アーキテクチャとハイライト
他の有効性証明を使用した zk-rollup ソリューションと同様に、StarkNet と StarkEx は「オフチェーン計算 - zk 証明生成 - オンチェーン検証」の形式を採用して Ethereum のスケーリングを実現しています。しかし、独自の zk-STARK ゼロ知識証明アルゴリズム、zk フレンドリーなプログラミング言語 Cairo、SHARP 共有プルーバーを使用することで、高速なトランザクション処理と低コストなどの特徴を実現しています。
2.1 独自の zk-STARK ゼロ知識証明アルゴリズム
zk-STARK は、StarkWare の創設者である Eli Ben Sasson が 2018 年に提案したもので、Zero-Knowledge Scalable Transparent Argument of Knowledge の略称です。スケーラビリティと透明性などの優れた特性を持っています。
透明性：ZK-STARK は、信頼できる設定で公共参照文字列（CRS：Common Reference String）なしで動作することができます。代わりに、公開検証可能なランダム性を使用してプルーバーとベリファイアの間の相互作用を確立し、ユーザーの信頼仮定を減らし、STARK ベースのプロトコルのセキュリティを向上させます。
スケーラビリティ：STARK は、対数圧縮検証の特性を持ち、より高速な検証を実現できます。命題の証明に必要な時間が T である場合、証明の検証に必要な時間は log (T) になります。この特性により、STARK は再帰的なアプローチを使用して低コストや大規模な組み合わせ命題の遅延の低減などの特性を実現し、スケーラビリティを実現できます。
2.2 Cairo プログラミング言語
Cairo は、StarkWare チームが 2020 年にリリースしたチューリング完全なプログラミング言語であり、STARK を知らない開発者でも STARK を使用した検証可能な計算を実現できます。
Cairo で書かれたプログラムは、STARK プルーバーを介して計算結果を証明可能な多項式方程式に直接変換することができ、スマートコントラクトとゼロ知識証明の互換性を実現します。Cairo は STARK のために生まれたプログラミング言語であり、両者を組み合わせることで STARK の潜在能力を最大限に引き出すことができますが、EVM エコシステムとの切り離しが解決される必要があります。
2022 年 10 月末、StarkNet は Cairo を使用して ZK-EVM を開発したと発表しました。同時に、Ethereum クライアントの Nethermind は Solidity から Cairo へのコンパイラ Warp の開発に取り組んでおり、StarkWare と EVM の互換性を実現しています。チームは現在、Wrap が Uniswap V3 を Cairo コードに書き直すことをサポートしていると主張しています。StarkNet が本格的に本番環境に投入されるにつれて、異なるソリューションの互換性の実際の効果が検証されるでしょう。
2.3 SHARP 共有プルーバー
SHARP（SHARed Prover）は、StarkEx と StarkNet がゼロ知識証明を生成するためのプルーバーです。SHARP は StarkEx と StarkNet の両方に対して有効性証明を生成できるため、異なる StarkEx アプリケーションや StarkNet 上で発生するトランザクションを集約し、単一の STARK 証明で証明することができます。これにより、STARK 証明の容量をより速く埋めることができ、トランザクション処理速度を向上させ、遅延を低減することができます。
再帰的な証明は、次世代の先進技術であり、ハードコーディングされたロジックだけでなく、汎用計算にも適用されます。SHARP と STARK の組み合わせにより、StarkWare エコシステム全体のトランザクションが再帰的な性質を持つようになり、究極のスケーラビリティを実現します。
StarkNet 公式データによると、StarkNet エコシステムではすでに 100 以上のプロジェクトが展開され、実行されています。ウォレット、クロスチェーンブリッジ、DeFi、NFT など、多様な領域をカバーしています。
- PoS イノベーション
長い間、PoS は L1 プロジェクトのコンセンサスメカニズムとして知られてきましたが、StarkNet は最初の PoS を採用した L2 Rollup プロジェクトです。PoS を採用した StarkNet は、L2 上で長い間存在していた MEVA の問題を解消し、ユーザーの支払いコストを削減し、プラットフォームのエクスペリエンスを向上させ、ネットワークの混雑状況を緩和し、L2 の収益上限を大幅に向上させることができます。