一文でわかるStarkWare：dYdXとImmutableの背後にあるL2ソリューション
本文では、zk-Rollups、zk-STARKと他のLayer2ソリューションの性能を比較しています。作者：msfew，Foresight Ventures
StarkWare の紹介
StarkWare は主にブロックチェーンのスケーラビリティとプライバシーを解決します。StarkWare は、STARK 技術を使用して、zk-Rollups と Validium モードで構成される Volition を通じて計算の完全性を証明するための完全なソリューションを開発しました。 StarkWare の暗号証明は、ゼロ知識、簡潔、透明、かつポスト量子安全性を実現できます。 StarkWare が開発した製品には、StarkNet、StarkEx、Cairo があります。
主な特徴
- スケーラビリティ：StarkWare は、クラウド内のオフチェーン証明者によって生成された暗号証明に依存することで、ブロックチェーンの大規模な拡張を可能にし、その後、オンチェーンのスマートコントラクトを通じて検証します。
- プライバシー：zk-STARK 証明は、入力されたプライベート情報を開示しません。他の暗号ツールと組み合わせることで、zk-STARK はユーザーデータを完全かつ証明可能に保護できます。
- ユーザー体験：Immutable と dYdX の例を通じて、StarkWare が提供するソリューションの非常に強力な拡張能力を体験できます。DiversiFi の支払い TPS は 18k に達し、Immutable の NFT 鋳造手数料はわずか 0.2 セント、dYdX の取引手数料は 1/50 に削減されました。秒単位の確認で、手数料はほぼゼロとなり、優れたユーザー体験を提供します。
マイルストーン
2018: STARK ホワイトペーパー発表、イーサリアム財団 Grant
2019: 最初のデモ発表（イーサリアムの効率を 200 倍に拡大）、StarkEx Alpha のテストネット発表、2 番目のデモ発表（イーサリアムの効率を 700 倍に拡大）
2020: DeversiFi (StarkEx 1.0) のメインネット発表、VeeDo (Stark ベースの VDF) のメインネット発表、StarkEx Rollup のメインネット発表、ethSTARK 発表、Cairo (Turing 完全な STARK 対応言語) とその PlayGround 発表、Ziggy STARK (ポスト量子安全なセキュア署名) 発表、StarkEx 2.0 のメインネット発表
2021: StarkNet 公表、dYdX と Immutable X (いずれも StarkWare の顧客) プロジェクトのメインネット発表
Immutable と StarkWare
iMMUTABLE は最初の Layer 2 の NFT 取引プラットフォームです。 Tik Tok は 9 月に Immutable と提携し、一連の NFT を発表しました。
イーサリアムのネイティブスループットの上限は 4 トランザクション / 秒であり、拡張を希望する DApp を制限します。NFT にとって、スループットのボトルネックは通常のトークンよりも大きいです：NFT を使用すると、1000 のトークンは実際には単一のトークンの 1000 倍のブロックチェーンリソースを消費します。Immutable は、イーサリアムのネイティブソリューションを使用してイーサリアムのセキュリティ、開発ツール、ネットワーク効果を享受したいと考え、StarkWare が提供するソリューションを採用しました。
StarkWare が提供するソリューションのユニークな機能の一つは、さまざまなデータ可用性モードで展開できることです：zk-Rollups または Validium。両者は有効性証明に基づいていますが、zk-Rollups ではすべてのデータがオンチェーンで提出され、Validium ではデータがオフチェーンに保存され、最新の状態の提出とその状態の有効性証明のみがオンチェーンで提出されます。Immutable は Validium モードで開始し、より低いガス料金を提供します。政策規制により、データ可用性委員会 (DAC) はユーザーが常にデータにアクセスできることを保証します。したがって、Immutable は Volition の新しいデータ可用性モードに切り替え、ユーザーがデータの保存場所を単一のトランザクション粒度で選択できるようにします------オンチェーン (zk-Rollups) またはオフチェーン (Validium)。同時に、このアプローチはパフォーマンスの拡張を最大化します。
Tik Tok と Immutable のコラボレーションに関するブログ記事では、Tik Tok は StarkWare が最初のカーボンニュートラルな L2 拡張ソリューションであることを特に強調しました。従来のインターネット企業の視点では、環境保護は非常に重要です。環境に配慮しないことは簡単に批判されるため、L2 の高性能と資源節約の特性は、従来のインターネット企業の注目を集め、彼らが暗号通貨分野に堂々と参入する道を開くことになります。
StarkWare が Immutable に提供したソリューションは、最も人気のある企業である Tik Tok が Immutable に協力を求める結果となりました。StarkWare が提供する 2 つの展開モードは、顧客にデータ保存方法の柔軟性を提供し、規制に準拠しながらパフォーマンスを拡張します。さらに重要なのは、パフォーマンスの拡張がイーサリアムの論争の的となっているエネルギー消費問題を解決することです。これは Layer 2 の勝利であり、StarkWare の勝利でもあります。将来的には、より多くの従来の企業がイーサリアムと StarkWare の方法でブロックチェーン分野に参入するのを見ることができるでしょう。
StarkWare アプリケーションはなぜこれほど高いパフォーマンスを持っているのか？
StarkWare の Prover にはさまざまな数学的最適化と、StarkWare が最初に提案したいくつかの最適化アルゴリズムがあります。また、開発に使用される Cairo 言語には、特別な数学関連の最適化があります。さらに、インタラクティブデータは Prover に送信される前に StarkEx エンジンによって待機証明データとバッチ処理が調整されます。全体の実行プロセスは完全な最適化を実現しています。具体的な詳細は後の文で詳しく説明します。
StarkWare アプリケーションの分散化の程度は？
StarkWare の StarkNet 上のコンセンサスは zk-STARK です。zk-Rollups は必ずしも分散化されているわけではなく、無制限のアクセスがあるわけではありません。しかし、StarkWare が使用する zk-STARK は無制限のアクセスがあり、イーサリアムなどのパブリックチェーンと同様です。StarkWare が行うアプリケーションの中間プロセスには、いくつかの中央集権的なサーバーがサービスを提供するために存在します。しかし、これは完全なアプリケーションの開発において必要不可欠であり、排除できません。たとえば、uniswap には中央集権的なドメイン名とフロントエンドが必要です。したがって、StarkWare が行う dYdX、StarkNet などは依然として分散化されています。
zkSync と StarkWare の比較
現在のところ、StarkWare はパフォーマンスと現在の運用状況の両方で zkSync をリードしています。zkSync と StarkWare の最大の違いは運用理念です。zkSync のプロジェクトはすべてオープンソースであり、チームは自分たちが置き換えられても構わないと述べています。コミュニティとイーサリアムの発展を推進できればよいのです。StarkWare は B2B 中心の運用方式であり、STARK プルーフは現在 StarkWare 社のみが使用でき、Cairo 言語を開発することは実際にはイーサリアムエコシステムにとってあまり有利ではない方法です（開発者に優しい方法は zkSync や Optimistic のように EVM 互換性を持たせるべきです）。
zk-Rollups と STARK 証明
- StarkWare が使用する技術には zk-Rollups と zk-STARK が含まれます。これらは同じものではありません。STARK は zk-STARK のことで、ゼロ知識証明の一種です。
- StarkWare は自社のソリューションを Validity Rollups と呼ぶ傾向があります。なぜなら、ソリューションには必ずしも zk-Rollups が使用されるわけではないからです。Validity Rollups には Validium と zk-Rollups が含まれます。この2つの違いは、ユーザーデータがオンチェーンかどうかです。
STARK は、開発者が計算とストレージをチェーンの外に移動できるようにすることでスケーラビリティを向上させます。オフチェーンサービスは STARK 証明を生成し、オフチェーン計算の完全性を証明します。その後、これらの証拠はチェーン上に戻され、利害関係者が計算を検証できるようになります。STARK を使用することで、ほとんどの計算作業がチェーンの外に移動し、既存のブロックチェーンインフラストラクチャが指数関数的に拡張できるようになりますが、計算の完全性は維持されます。
イーサリアムデータのオンチェーンプロセス：1000 件のトランザクションがイーサリアムの各ノードに送信される → 各ノードが 1000 件のトランザクションを読み取る → ノードが 1000 件のトランザクションを更新する
zk-STARK データのオンチェーンプロセス： 1000 件のトランザクションが zk-STARK に送信される → zk-STARK が証明者として 1 つの証明を生成する（*生成段階）→ ノードが検証者として証明を読み取り、更新する
- 生成段階：通常、zk-STARK 証明を生成するためには以下のプロセスが必要です。検証者の証明プロセスは 2 つのステップに分かれます。最初のステップは、計算の完全性声明が算術を経て代数中間コード表現を生成すること、2 番目のステップは、テストを経て FRI（StarkWare の共同創設者が 2017 年に著した論文における証明の最適化手法）を生成し、その後、暗号アルゴリズムを経て拡張可能な公開透明な知識証拠（すなわち STARK）を出力することです。簡単に言えば、安全で信頼できる環境と最適化アルゴリズムを通じて、信頼できる高性能の証明を生成します。
zk-Rollups と他の L2 ソリューションの比較
- 厳密に定義すると、StarkWare の多くの文書で使用される用語 zk-Rollups は必ずしもゼロ知識証明を採用しているわけではありません。正確な説明は Validity Proofs（zk-Rollups と Validium を含む、StarkWare が 2 つのモードを提供するため）です。用語の変動が理解に影響を与えないように、この記事では StarkWare の文書に従って関連する表現を zk-Rollups とします。
サイドチェーン（Polygon または xDai）
- 利点：ユーザーが大量のトランザクションを行っても、メインチェーンで発生するのは 2 つだけ、すなわち入金と出金です。サイドチェーン上のトランザクションコストはイーサリアム自体よりも低いため、スケーラビリティが得られます。
- 欠点：新しいブロックを作成する権限を付与すると、ブロックの生成を停止する権限も生じます。サイドチェーンには、ユーザーが資金を引き出すのを阻止する権限がある場合があります。
ステートチャネル
- 利点：ステートチャネルの一例はライトニングネットワークです。参加者が長期間にわたって大量の状態更新を交換する場合、ステートチャネルは非常に便利です。プライバシーが強化され、状態はチャネル内でのみ発生します。即時の最終性があり、終了すればすぐに終了します。
- 欠点：ステートチャネルは有効性に非常に依存しており、特定の参加者のグループがいるアプリケーションに適しています。
Plasma
- 利点：Plasma は NFT の処理に非常に適しており、各 NFT にはユニークな ID があります。サイドチェーンの問題の一つは、コンセンサスメカニズムがブロックの生成を停止したり、ユーザーの資金をロックしたりする可能性があることです。Plasma ユーザーはブロックルートを呼び出すことができるため、コンセンサスメカニズムがブロックを作成しなくなった場合でも、ユーザーはイーサリアムに資金を請求できます。
- 欠点：多くのユーザーが同時に Plasma チェーンから退出すると、ルートチェーンが圧倒され、ネットワークが混雑する可能性があります。詐欺行為やネットワーク攻撃などが大規模な流出を引き起こす可能性があります。もう一つの欠点は、複雑性の欠如であり、ユーザーはサイドチェーン上で実行できるのと同じタイプの複雑な操作を実行できず、完全なイーサリアム環境を模倣できません。
zk-Rollups
- 利点：各トランザクションの手数料が非常に低いです。Plasma や Optimistic Rollups よりも速いです。データ量が少ないため、より高いスループットとスケーラビリティが得られます。
- 欠点：初期設定が非分散型です（STARK には初期設定がありません）、量子計算が将来的なハッキングの脅威となる可能性があります（STARK は量子コンピュータに対抗できます）。
さまざまな L2 ソリューションを比較すると、zk-Rollups はおそらくブロックチェーンのアップグレードと拡張に最も近い完璧なソリューションです。同時に、zk-Rollup の数少ない欠点は、StarkWare が採用する zk-STARK で修正されるでしょう。
STARK と他の ZK のパフォーマンス比較
ZK 証明には主に SNARK、STARK、Bulletproof の 3 種類があります。Bulletproofs と STARK は信頼できる設定を必要とせず、STARK は公開検証可能なランダム性を使用して信頼できない検証可能な計算システムを作成します。その中で STARK は他の 2 つに比べて証明サイズが非常に大きいですが、計算時のサイズと証明速度において大きな利点があります。同時に、STARK の安全性は高く、量子攻撃に対抗できます。
上の図は StarkWare の共同創設者がプレゼンテーション中に示した図です。彼らのテストで使用された STARK 証明は、図に示されたサーバー構成で実行され、他のいくつかの SNARK アルゴリズムのパフォーマンスと比較して大幅に優れています。
StarkNet
StarkNet Alpha は 11 月にイーサリアムのメインネットに上线します。(ブロックチェーンブラウザ)
概要
StarkNet は、分散化され、許可なしで参加でき、検閲に対抗する L2 zk-Rollups であり、イーサリアム上の汎用計算をサポートします。これは Turing 完全な Cairo 言語に基づいています。開発者はアプリケーションを構築して App ビジネスロジックを実現し、StarkNet にデプロイできます。ユーザーは、イーサリアムの通常のトランザクションと同じ方法でトランザクションを StarkNet に送信して実行できます。StarkNet ノードと参加者は、ネットワークが効率的かつ公平に運営されるように経済的インセンティブを受けます。
すべての StarkNet トランザクションは定期的にバッチ処理され、トランザクションは STARK 証明で証明され、最終的にイーサリアムで検証されます。STARK 証明を検証するために必要な計算作業量は、イーサリアムの証明の計算量と比較して指数関数的に小さいため、StarkNet はイーサリアムを数桁拡張できます。すべての StarkNet 状態変換は STARK 検証を経るため、イーサリアムは最終的に有効な状態変換のみを受け入れます。
主な特徴：パフォーマンスのスケーラビリティ、開発の便利さ、イーサリアムエコシステムに対する可組み性。
ネットワークエコシステム
- プログラミング言語 Cairo: Cairo は、STARK 証明を生成するために使用できる Turing 完全な高級プログラミング言語およびフレームワークです。開発者は Cairo を使用して任意のビジネスロジックを定義し、トランザクションを Shared Prover Service に送信してロジックをオフチェーンで検証し、オンチェーンで検証します。Cairo はメインネット上で正式なプロジェクト開発に適しており、開発者が使用できます。
- オフチェーン検証サービス Shared Prover Service: トランザクションがオンチェーンに送信される前に、トランザクションは Sharp に送信され、アプリケーションの実行の完全性を判断し、証明検証のガス費用を計算します。
- オープンソース証明器 ethSTARK: ethSTARK はゼロ知識およびポスト量子安全な署名を提供します。ethSTARK はメインネット上の 1 つの証明で 30 万件のトランザクションを処理し、TPS は 3000 に達しました。Rollup ガス効率も世界記録を突破し、315 gas/tx に達し、イーサリアム L1 上のトランザクションよりも数桁安価です。この技術は StarkNet の分散証明層の基礎です。
- 第三者プロジェクト：現在の主要な第三者ライブラリには StarkNet.js があります。StarkNet.js の役割は Web3.js に似ており、フロントエンドがコントラクトの内容を取得するために使用されます。イーサリアムクライアントチームは StarkNet の完全ノード実装を行っています。同時に、現在の StarkNet ネットワーク監査ソフトウェアには CryptoExperts と LEAN proof が含まれています。
使用ケース
- DeversiFi: 取引 TPS 9k、支払い TPS 18k。
2.Immutable: NFT 鋳造ガス 0.2 セント、毎日 L2 トランザクション > 毎週 L1 トランザクション。 - dYdX: 各トランザクションの手数料が 50 倍削減されます。
StarkEx
概要
StarkEx は、STARK を使用するアプリケーションをサポートするための構成要素を持つ基盤エンジンのようなものです。
StarkEx は、2020 年 6 月からイーサリアムのメインネットにデプロイされている、プロダクション環境で使用できる L2 スケーラビリティエンジンです。StarkEx は STARK 技術を利用して、DeFi やゲームなどのアプリケーションにスケーラブルな自己管理型取引を提供します。StarkEx は、現物取引、永続的取引、NFT 鋳造および取引など、幅広いユースケースをサポートしています。メインネットにデプロイされる前に、5000 万件以上の StarkEx トランザクションが公共およびプライベートのイーサリアムテストネットで決済されました。
StarkEx は現在、ETH トークン、ERC-20、ERC-721 トークン、および合成資産をサポートしています。さらに、他の EVM 互換のブロックチェーン上のトークンもサポートできます。
特徴
- スケーラビリティと計算の完全性：アプリケーションは、StarkEx と基盤となる STARK インフラストラクチャに依存して拡張でき、同時に StarkEx は計算の完全性を保証します。SHARP（共有証明器）技術を通じて、ガスコストはすべての StarkEx ベースのアプリケーションで分担されます。
- 多様な展開モード：StarkEx は zk-Rollups モード（オンチェーンでデータを公開）または Validium モード（サイドチェーンを通じてデータの可用性を検証）でデプロイできます。また、ユーザーが自分でデータ可用性モードを選択できる Volition モードも近日中に登場します。
- ウォレット統合：StarkWare は Ledger、Authereum、WalletConnect を通じてネイティブサポートを提供します。StarkWare はまた、Web3 互換のキー生成を通じて MetaMask 統合を提供します（多くの他の既存のウォレットに適用可能）。
アーキテクチャとビジネスロジック
上の図は、StarkNet と StarkEx を使用した典型的なアプリケーションのアーキテクチャ図です。このアプリケーションは Starkswap という DEX と仮定します。
- 最左側の黄色いボックス内のアプリケーション ------ アプリケーション全体を操作します：このオフチェーンコンポーネントは、ユーザーのトランザクションを受け取り、ビジネスロジックと実行順序を定義します。それはトランザクションを StarkEx サービスに渡します。このコンポーネントはアプリケーションの中央集権的なフロントエンドであり、通常は Web またはクライアントです。
- 淡い青色のボックス内の StarkEx サービス ------ バッチ処理と調整：オフチェーンコンポーネントであり、一連の操作をバッチ処理し、操作に基づいてシステムの状態を更新します。各バッチに対して、このバッチの操作（Cairo 言語で実行され、最初に Solidity のバイトコードを Cairo 言語のスマートコントラクトに変換し、Cairo 言語環境で実行されます）を SHARP に送信してその有効性を証明します。証明が検証されると、新しい状態がオンチェーンに公開されます。状態はマークルツリーで表されます。各 Vault の構造と内容は、実装された特定のビジネスロジックに応じて異なります。マークルツリーのルートは、チェーンに提出される状態を表します。
- SHARP ------ 共有証明器（StarkWare がアプリケーションのために特別にカスタマイズしたもの）：SHARP は Cairo 言語の共有証明サービスです。異なるアプリケーションからの証明要求を受け取り、Cairo コードの実行の有効性を証明するための証明を出力します。出力された証明は、複数の証明要求間で共有できます。このコンポーネントは以前は Generic Prover Service と呼ばれていました。したがって、コンポーネントは本質的に特定のサービスを含むバックエンドサーバーです。推測されるのは、StarkWare の中央集権的なサーバーにデプロイされているということです。
- StarkEx コントラクト（Verifier コントラクト） ------ 状態更新、入金と出金：このコントラクトには 2 つの主要な機能があります。最初の機能は、有効性条件が満たされていることを確認した後にシステムの状態を更新すること、2 番目の機能は、非保管方式で StarkEx への入金と出金を管理することです（いかなる場合でも、ユーザーは自分の資金を引き出すことができます）。このコンポーネントはイーサリアム上のスマートコントラクトです。
Starkswap のビジネスロジックは次のとおりです：
- リクエストの処理：
淡い青色のボックス内の StarkWare アプリケーションは顧客のリクエストを処理し、これらのトランザクションを証明可能な陳述に変換し、これらを濃い青色のボックス内の SHARP に送信します。すべてのリクエストの送信と処理は、図の最初のステップの API および第二ステップのバッチ処理ステートメントを通じて行われます（1 バッチで複数のリクエストをコンパイルできます）。
- SHARP 証明：
濃い青色の SHARP が証明を構築します。
- 証明の登録：
SHARP は証明をピンクのボックス内の第 3 ステップのオンチェーン検証者スマートコントラクトに転送します。
- 状態変換の登録：
第 4 ステップで、StarkWare アプリケーションは Starkswap スマートコントラクト上でアプリケーションの状態変換を行います。
第 5 ステップで、変換の有効性を確認するために（SHARP の検証）、Starkswap のスマートコントラクトは変換ステートメントが Verifier スマートコントラクトに登録されていることを確認します。
機能と暗号アルゴリズム
https://docs.starkware.co/starkex-v3/crypto/stark-curve
機能の詳細：
- オフチェーン状態：残高ツリーと順序ツリー。マークルツリーを通じて、資金状態の安全性と信頼性が保証され、二重支払いの問題を回避します。
- フローの説明：
- オンチェーンアカウント（アカウントの残高はオフチェーンで保存および管理され、資金がオンチェーンアカウントに移動するまでです。L1 の観点から見ると、これらのアカウントの資金は StarkEx スマートコントラクトの下に保存されています。）
- オフチェーンアカウント（すべての残高指令は L1 トランザクションとして到達します。オンチェーンアカウントの特別な属性は、プライベートキー（stark のプライベートキー）が必要ないことです。したがって、スマートコントラクトはこの種のアカウントの「所有者」です。したがって、L1 ユーザーとアプリケーションは StarkEx を通じて取引を行い、任意のオーダーとマッチングできます。オンチェーントランザクションモードは、StarkEx アプリケーションと L1 アプリケーション間の相互運用性を実現し、DeFi プールや流動性アグリゲーターによって使用されます）。
- StarkEx 特有の概念： StarkEx には多くの概念 があり、イーサリアムとは異なるため、開発には追加の学習が必要です。
- さらに、StarkEx には情報暗号化、バッチフラッシュローン、DeFi プールなどの特定の操作があります。
- 暗号アルゴリズム：STARK 楕円曲線、ペダーセンハッシュ関数、KDF。上記の暗号アルゴリズムを使用し、参考 のインスタンスを通じて、第三者ウォレットは StarkEx を統合できます。
Cairo
概要
Cairo は、STARK 証明を生成するための最初のプロダクションレベルのプラットフォームです。これは Turing 完全であり、非常に効率的です。StarkNet 上で高性能かつ低ガス費の Layer 2 アプリケーションコンポーネントをデプロイするには、Cairo を使用してアプリケーションを記述する必要があります。Cairo 言語は専用のコントラクト言語ではありませんが、コントラクトに似た内容を書くために使用され、主に使用されます。
zk-Rollups の現在の欠点は汎用計算です：スマートコントラクトロジックを直接ロールアップに移植することはより困難であるため、転送や取引などの限られた機能しか利用できません。しかし、Cairo はこの空白を埋め、スマートコントラクトロジックを直接ロールアップに移植できるようにします。zkSync と Optimistic のアプローチは、それぞれロールアップが EVM 互換性を持つようにし、EVM 同等性を実現することです（より包括的で、さらに EVM 互換性を持たせること）。
特徴
1、計算の完全性
計算の完全性は、規制なしで計算の公正性を保証できることを表します。計算の完全性を保証する方法は 5 つあります：銀行の委託責任（信頼性、監査などに基づく）、計算の再現性（たとえば、ビットコインや他の L1 がすべての取引を公開する）、信頼できる実行環境（たとえば、インテルの SGX）、詐欺証明（Optimistic rollups、委託責任と計算の再現性の間に位置する）、暗号学的証明（zk-STARK）。Cairo 言語は、複数の論文や数学的証明の検証を経て、計算の完全性を保証するために安全で信頼できる zk-STARK の証明を生成できます。
2、AIR（代数中間コード表現）
STARK 証明のプロセスでは、多くの設計代数証明の演算や記号が必要です。Cairo はコンパイラを通じてプログラミング言語を Cairo バイトコードに変換し、すべての数学的証明ステップを含む AIR を生成し、最終的な結果を生成します。Cairo 言語には、証明の詳細を確認するための AIR 可視化ツールが付属しています。
3、言語設計
Cairo 言語の設計は Minimal Variable Language の原則に従い、適切なバランスを重視しています。同時に、言語の表現力（開発者が読みやすい）と STARK 証明の生成効率を実現しています。Cairo 言語の設計は複雑すぎず、3 つのレジスタ（PC、割り当てポインタ、フレームポインタ）と簡潔な命令セットのみを持っています。Cairo 言語は、関数、再帰、分岐、判断などの必要な機能もサポートしています。Cairo 言語の設計は、数学的証明の論理により適しており、より整然としています。
4、ツールチェーン
コンパイラ、仮想マシン、コード編集環境プラグイン（VSCode 上のコード補完 プラグイン）、トレースプログラム、コード例。
言語エコシステム
現在、Cairo 言語のエコシステムは非常に包括的ですが、若いと言えます。ツールチェーンの面では一通り揃っており、これらのツールの GitHub スター数から判断すると、あまり大きな注目を集めていないようですが、リポジトリの開発者は継続的に更新しており、基本的に 1 ～ 2 週間ごとに新しいコミットがあります。将来的には、Cairo 言語はよりオープンになり、より多くの開発者を育成した後、StarkEx エンジン上で Cairo コードを書く作業が StarkWare からオープンソースの開発者に移行する可能性が高く、これにより StarkWare アプリケーションの分散化に大きな意義を持つことになります。
さらに重要なのは、OpenZeppelin が Cairo 言語の ERC-20、ERC-721 などの基本テンプレートの 実装 を行っていることです。この実装の意義は、開発者がこの実装を基に開発を行いやすくし、開発者が安心して大胆にこの実装をコピーし、迅速に開発し、安全性を過度に心配する必要がないことです。リポジトリのコミットを見ると、OpenZeppelin は現在、Cairo 言語をサポートする専任のスタッフを持っており、StarkWare エコシステムへの OpenZeppelin の重視を証明しています。
まとめ
Layer 2 ソリューションプロバイダーとして、StarkWare は dYdX や Immutable のようなヒット製品を生み出しました。さまざまなソリューションの中で、StarkWare の zk-STARK 技術は Layer 2 上で最大の取引量をサポートしています。Prover の数学的最適化、Cairo 言語の数学的最適化、StarkEx エンジンの証明調整を通じて、StarkNet は分散型 zk-STARK ネットワークとして、非常に高いパフォーマンスを提供し、完全な運用プロセスの最適化を実現しています。StarkWare は最先端の技術と完全な技術サービスを通じて、Layer 2 アプリケーションの膨大な取引量を支え、将来的にはオープンソースを受け入れ、より分散化を実現し、イーサリアム 2.0 の構築を助けるでしょう。
