基本に立ち返る「Back to Basics」シリーズの第3回目にようこそ。今回は、StarkWare、その創設者、StarkNetの分散化への道、およびエコシステムの成長を促進するプロジェクトについて、詳しく見ていきます。
暗号通貨を主流にするためのテクノロジーの構築に取り組むStarkWareは、レイヤー2のスケーリングにおいて強力な存在となり、分散化とセキュリティの原則に妥協することなく混雑と高いガス料金を克服しようとするプロジェクトに愛用されています。
StarkWareのビジョン：「L1のセキュリティ、パーミッションレスインタラクション、および分散化を維持しながら、イーサリアムに大規模なスケーラビリティをもたらすこと。」
しかし、Ethereum内の主要なスケーリングソリューションの背後にいる人々について疑問に思ったことはありませんか？ええ、疑問に思ってるのはあなただけではないのです。
それでは始めましょう。
StarkWareは2018年に設立され、ZK-STARK妥当性証明を使用してイーサリアムのスケーリングソリューションを構築しています。ZK STARKは、StarkWareによって発明された用語で、Zero-Knowledge Scalable Transparent Arguments of Knowledgeの略です。
チームは世界的な暗号学者と科学者から構成され、Eli Ben-Sasson、Uri Koldony、Michael Raibzev、Alessandro Chiesa.の4人によって設立されました。
StarkWare社の革新に取り組む人々を知ったところで、同社のテクノロジーが他のL2チェーンとどのように異なるのかを検証してみましょう。
次の図は、StarkWareのアーキテクチャとその仕組みを示しています。
ソース：StarkWare
「Zero Knowledgeを探索する：StarkWare」（著者：pseduotheos）というブログで説明されているように、StarkWareスタックにはいくつかの重要な機能があります。
Shared Prover（SHARP）
・証明(proof)を生成し、Verifierに渡す
・複数のdAppの計算を1つの証明にまとめることでコストを削減する
Verifier（L1上に存在）
SHARPの証明が有効かどうかを検証します。有効であれば、ハッシュがファクトレジストリに保存されます。アプリケーションは、StarkEx（企業向けおよび許可制のアプリケーションの場合）またはSHARPを直接（StarkNetアプリケーションの場合）インターフェースとして使用します。
StarkWareソリューション
基礎から始めましょう。
StarkNet
StarkNetは、Ethereumネットワーク上でL2として動作するパーミッションレスの分散型ブロックチェーンです。
STARKSと呼ばれるStarkNetの暗号証明を介してトランザクションを実行し、トランザクションデータをEthereumメインネットにバッチ処理で中継します。
セキュリティを損なうことなく、無制限のスケーラビリティを提供します。
Ethereumのように他のスマートコントラクトを作成、デプロイ、インタラクトすることができますが、無制限のスケーラビリティを備えています
StarkEx
StarkExは、プロトコルによって使用されるように特別に設計されたL2スケーラビリティエンジンです。
StarkExの主要プロジェクトは、Sorareとrhino.fi、dYdX、Immutable Xです。
StarkWareのアーキテクチャ
3 . StarkExは、3つのデータ可用性モードで使用できます。
・a. dAppはzkRollupモードでデータをオンチェーンにロールアップすることを選択できる。
・b. Validiumと呼ばれるオフチェーンで処理するオプションでデータを処理することができる。
・c. Volitionと呼ばれる2つのハイブリッドを使用する。
あなたは**「Volitionとは？」**と疑問に思うかもしれませんね。
StarkNetとStarkExの違い
StarkNetはZK Rollupで、誰でも自分の契約を許可なく展開できるのに対し、StarkExはStarkNetの許可制バージョンで、プロトコルで使用するように調整されています。
Cairo
CairoはStarkWareチームによって開発された専用の言語です。
Cairoは、StarkExとStarkNetのネイティブスマートコントラクト言語を支えています。
それは一般的な計算の証明可能なプログラムを作成するために使用できる最初の本格的なチューリング完全言語であるということです。
CairoはSolidityよりも高度な計算をサポートしています。
Solidity vs. Cairo
また、@bitpactumはブログ「Behind the Scenes at ZKX」でCairoでの構築とそのメリット・デメリットを紹介しています。
StarkNetで開発している方は、このアカウント@cairopracticeをフォローすべきです。
なぜStarkWareは他のZK Rollupsより優れているのか
DeFiはZK Rollup Technologyに賭けていて、@0xPolygonHermez、@zksync、@loopringorgなどのプレイヤーがStarkWareとともにそのゲームに参加しています。
それを際立たせるものは何か？
答えは簡単です： StarkWareが提供するスケーリングソリューションの有効性です。
これまでのStarkNetストーリー
StarkNetエコシステムは、DeFi、DAO、NFT、GameFi、Wallet、Infrastructureなどのカテゴリーにまたがるプロジェクトが急速に拡大しています。
開発
2021年6月：テストネットを開始
2021年11月：StarkNetアルファ版
2022年4月：StarkNetブリッジの最初のバージョンがリリースされました。
下記の数々のエコシステムも参考にしてください。
エコシステムの主なプロジェクトは以下の通りです：
ブリッジ：Kubri、SuezOrbiter Finance、
ウォレット：Argent X、Braavos
支払い：Banxa、Curve Zero
DeFi：ZKX、zkLend、StarkSwap、JediSwap、Magnetyなど
GameFi：ArgentX、Dope Wars、Exothium、IBetyou、Loot Realms
StarkNetの分散化への道
2022年7月13日、StarkWareは、StarkNetの分散化計画を発表しました。これにはネイティブトークンと新しい財団が含まれます。
彼らのMediumブログに記載されているように、トークンは以下のために必要となります。
ガバナンス
StarkNet上のトランザクション手数料の支払い
StarkNetのコンセンサスメカニズムへの参加
StarkWare社による公式発表は同社のTwitterで、コミュニティの受け答えは以下のツイートで確認することができます。
StarkWareは、StarkNetトークンの設計、発行スケジュール、および予想されるスケジュールについて説明しています。
StarkNet Foundationは、生存性、検閲耐性、透明性、創造性を促進するために設立されました。
StarkNetの分散化とガバナンス提案についてのブログ記事もお見逃しなく。
EthCCでのBanklessとのインタビューで、EliとUriはStarkNetトークン、爆発的なzkEVMエコシステム、そしてStarkWareの将来の計画についても話しました。
最近の資金調達
StarkWareは、7回のラウンドで2億7300万ドルもの資金を調達しています。最新のラウンドは2022年5月25日に行われました。
最後に、Odinが言ったように、「Starkの魂は不滅であり」、コミュニティがStarkWareエコシステムの真の中心であると言えます。
ZKXについて
ZKXはStarkNet上に構築されたデリバティブのパーミッションレスプロトコルで、分散型オーダーブックを備え、複雑な金融商品をスワップとして提供するユニークな方法です。プロトコルはDAOによって支えられ、ゲーミフィケーションされたリーダーボードと独自のリキッドガバナンスを備えた高度な取引体験を提供します。ZKXのミッションは、誰でも、どこでも、提供することを通じて、世界の利回りへのアクセスを民主化することです。