Arbitrum のエアドロップの富の効果は、市場の L2 への信頼を高め、Optimism と Arbitrum はエコシステムの成長とユーザーの獲得を目指した戦略を試みました。市場シェアはこの点を反映しています。Optimism、Arbitrum、zkSync、StarkNet という 4 つの主要な Layer2 プロジェクトのうち、空投を発表していないのは後者 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 メインネットワークで正式に稼働しており、既に Sorare、ImmutableX、dYdX、ApeX などの有名プロジェクトが StarkEx を利用しています。
StarkNet：汎用の Rollup であり、任意のスマートコントラクトを展開でき、特定のアプリケーションのカスタム開発は不要です。StarkNet は 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 を使用できるようになっています。Cairo は STARK に最適化されたプログラミング言語であり、スマートコントラクトとゼロ知識証明の互換性を実現します。ただし、Cairo と EVM エコシステムの分断は解決される必要があります。
2022 年 10 月末、StarkNet は Cairo を使用して ZK-EVM を開発したと発表しました。また、Ethereum クライアントの Nethermind は、Solidity から Cairo へのコンパイラ Warp の開発に取り組んでおり、StarkWare と EVM の互換性を実現しています。チームは現在、Warp が 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 の収益上限を大幅に向上させることができます。