StarkWare エコシステムの探索: StarkEx と StarkNet のイノベーションの旅
背景
背景
2018 年から StarkWare は、イーサリアムのスケーラビリティ問題を解決するために STARK 有効性証明の使用を先駆けて開始しました。 SaaS ビジネス モデルに基づいて StarkEx を立ち上げ、Cairo プログラミング言語を作成し、カスタム ロジックを作成できる運用環境初の分散型ネットワークである Starknet を構築しました。
StarkWare は、テクノロジー、数学、イノベーション、製品の提供を含む 2 つの焦点に注力し、イーサリアムや STARK を推進する他のチームをサポートし、製品をオープンソース化、分散化して公開製品として STARK に重点を置くよう努めています。
将来的には、Starkware は Starknet を Starknet Foundation によって管理されるパーミッションレスの分散型有効性ロールアップにすることに取り組み、Prover、Sequencer、ガバナンスなどの Starknet のさまざまなコンポーネントの分散化に重点を置く予定です。
STARK テクノロジーは証明、特に完全性証明に基づいています。 STARK は数学を使用して整合性を確保し、誰も見ていないときでも計算が正しく行われることを保証します。この手法の概念は、Lszl Babai、Lance Fortnow、Leonid Levin、Mario Szegedy による 1991 年の論文から始まりました。この論文では、信頼性の高い単一のコンピュータを使用して信頼性の低いスーパーコンピュータのグループを監視するという概念が紹介されています。 「PCP」と呼ばれるこの技術は、大規模な計算の整合性を数学的に監視し、保証します。
最初のレベルのタイトル
Starkware:
副題
スタークウェアチーム
Eli Ben-Sasson: イスラエル工科大学の共同創設者兼主任研究員、コンピューターサイエンス教授。
Zcash の創設科学者、zkSNARKs の発明者。
Alessandro Chiesa: カリフォルニア大学バークレー校の共同創設者兼主任研究員、コンピューターサイエンス教授。
Zcash の創設科学者、zk-SNARKs の共同発明者、libsnark の中心的開発者。
コロドニー: 共同創設者兼 CEO のウリは、豊富なビジネス経験を持ち、協力が得意な連続起業家です。
融資
融資
最初のレベルのタイトル
StarkEx
イーサリアム ブロックチェーンに基づくアプリケーション固有のレイヤー 2 スケーリング エンジンで、イーサリアムなどのレイヤー 1 ブロックチェーン ネットワークのスケーラビリティの問題を解決するように設計されています。 StarkEx は、STARK プルーフと呼ばれる高度な暗号化システムを使用することで、セキュリティ、プライバシー、自己保管性を損なうことなく、高速かつ低コストの取引を可能にします。
安価なオフチェーン コンピューティングのための一連のアプリケーション プロセスを提供し、複数のトランザクションを STARK プルーフにパッケージ化してチェーン上で検証することで、トランザクションあたりの平均ガスコストを削減します。 StarkEx 拡張エンジンの動作原理には、バッチ処理、検証と更新、プルーフ生成、チェーン検証の 4 つのステップが含まれます。
StarkEx は、dYdX、Immutable、Sorare、DeversiFi、Celer などの複数のアプリケーションに導入されています。
StarkNet との違いは次のとおりです。
StarkEx と StarkNet は StarkWare によって開発された 2 つの異なるテクノロジーであり、どちらも STARK ゼロ知識証明テクノロジーを使用していますが、目的と用途が異なります。
1. StarkEx: StarkEx は、イーサリアム ブロックチェーン上の単一アプリケーションのパフォーマンスの最適化に焦点を当てた、アプリケーション固有のレイヤー 2 スケーリング エンジンです。複数のトランザクションをバッチ処理し、オフチェーンで検証することで、より高速で低コストのトランザクションが可能になります。主に分散型取引所（DEX）、NFT市場、ゲームなどに利用されています。
2. Stark Proof テクノロジーを使用することで、StarkEx は安全、効率的、低コストの取引体験を提供します。 StarkNet は、許可なく、より一般的で完全なレイヤー 2 ソリューションであり、イーサリアム エコシステム全体に分散コンピューティング プラットフォームを提供し、開発者はカイロ言語で書かれたスマート コントラクトを展開できます。
StarkNet は他のコントラクトとの対話をサポートし、豊富なプロトコル構成を可能にし、非同期メッセージングを通じてイーサリアム コントラクトと対話できます。目標は、開発者がスマート コントラクトを構築および展開できる、スケーラブルで低コストの安全な環境を提供することです。 StarkEx とは異なり、StarkNet は、開発者が特定目的のソリューションだけでなく、さまざまな分散アプリケーションを作成できるようにする包括的なレイヤー 2 オペレーティング システムとみなすことができます。
最初のレベルのタイトル
Starknet
Starknet は、許可不要の分散型有効性折りたたみネットワーク (「ZK-Rollup」としても知られています) です。これはイーサリアム上の L2 ネットワークとして動作し、Starknet が最も安全でスケーラブルな暗号証明システム STARK に依存しているため、イーサリアムの構成可能性とセキュリティを損なうことなく、あらゆる dApp がコンピューティングを無限に拡張できるようになります。
Starknet コントラクトと Starknet OS は Cairo で書かれているため、ビジネス ロジックに関係なく、あらゆるユースケースの導入と拡張が可能になります。 Starknet は、分散型アプリケーション (dApp) に高いスケーラビリティとパフォーマンスを提供するように設計された分散型レイヤー 2 ネットワーク ソリューションです。イーサリアム上で実行することで、既存のインフラストラクチャとセキュリティを活用しながら、より高いコンピューティング能力を提供できます。
Cairo は、スマート コントラクトの開発と展開を簡素化することを目的とした Starknet 専用に設計されたプログラミング言語です。 Cairo を使用すると、開発者は金融、ゲーム、サプライ チェーンなどを含むさまざまなユースケースに対応した拡張性の高いアプリケーションを簡単に構築できます。
Starknet は妥当性ロールアップであり、各ブロック内の実行を証明する必要があることを意味しており、これが STARK が役立つところですが、STARK 証明は多項式制約言語で定式化されたステートメントを解決でき、スマート関数の実行に関する知識はありません。契約。このギャップを克服するためにカイロが開発されました。
最初のレベルのタイトル
新しいバージョンのアップデート
次は何ですか？ Starknet Alpha v 0.11.0: Cairo 1.0 への移行の始まり
- Cairo 1.0 に対する言語のさらなる改善
- パフォーマンスの向上: 約束どおり、Starknet は TPS の大幅な向上に向けて動き続けています。ロードマップの次のステップは、Apache 2.0 ライセンスに基づいてオープンに開発されている Rust シーケンサーへの移行です。新しいシーケンサーは、Rust CairoVM と Papyrus フル ノードを使用してパフォーマンス トリオを形成します。
- オフチェーン DA
このバージョンでは、Starknet がトランザクション コストの計算部分を処理します。今後のリリースでは、今日の平均的なトランザクションの主なコストであるオンチェーン データ コストに対処する予定です。
Starknet のシーケンサーについてさらに詳しく説明します。
シーケンサーは StarkNet Sequencer を指します。これは StarkNet の一部であり、Rust CairoVM と Papyrus フル ノードを使用して Rust シーケンサーに切り替え、「パフォーマンス トリオ」を形成することでスループット (1 秒あたりのトランザクション数) を大幅に向上させることを目的としています。
「パフォーマンス トリオ」とは、StarkNet Sequencer の 3 つのコンポーネント、Rust シーケンサー、Rust CairoVM、および Papyrus フル ノードを指します。このうち、Rust ソーターは StarkNet Sequencer の中核であり、トランザクションの処理とブロックの生成を担当します。 Rust CairoVM は、StarkNet 上でスマート コントラクトを実行できる仮想マシンです。 Papyrus フル ノードは StarkNet ネットワーク内のノードであり、StarkNet 上のすべてのデータを保存し、トランザクションを処理できます。これら 3 つの部分が連携して、StarkNet のスループット (1 秒あたりのトランザクション数) を大幅に向上させます。
Starknet v 0.11.0 (現在は Goerli テストネットのみ)
Goerli ベータ期間が終了すると、Starknet v 0.11.0 がメインネットでリリースされます。
スタークネット v 0.10.3 (22/12、12/12)
パフォーマンス - 状態コミットメント計算をトランザクション実行から分離する starknet-class-hash コマンドを追加して、コンパイルされた Starknet コントラクトのクラス ハッシュを計算します。
Starknet v 0.10.2 (29 11 月 22)
このリリースではシーケンサーの並列化が導入されています。新しいエンドポイントestimate_fee_bulkがフィーダー ゲートウェイに追加されました。これにより、複数のトランザクションの手数料を同時に見積もることができます。各トランザクションは、適用された前のトランザクションの結果の状態と比較して実行されます。
Starknet v 0.10.1 (25 10 月 22)
DeployAccount トランザクションを追加します (アカウント コントラクトをデプロイするための Deploy トランザクションを置き換えます)。これを使用するには、まず取引手数料をカバーするのに十分な資金をアカウント アドレスに追加する必要があります。その後、DeployAccount を呼び出すことができます。 starknetdeploy_accountCLI コマンドを starknet new_account と starknetdeploy_account に分割します。 この方法でデプロイされたアカウント コントラクトは、 validate_deployDeployAccount () エントリ ポイントを実装する必要があります。トランザクションの署名を確認します L1 料金計算の改善: 保存された状態の違いに基づいて料金を計算します API:entry_point_type トランザクション情報からフィールドを削除します
Starknet v 0.10.0 (5 9 月 22)
このリリースでは、Starknet アカウント抽象化の設計における次のステップ、特に検証と実行の分離が導入されています。
Starknet v 0.9.1 (20 7 月 22)
API の変更 Starnet CLI
スタークネット v 0.9.0 (6.06.22)
最初のレベルのタイトル
アカウントについて
イーサリアムアカウントの構造
Ethereum では、個々のユーザー アカウントは外部所有アカウント (EOA) と呼ばれます。
EOA はコードによって制御されないため、スマート コントラクトとは異なります。 EOA は、秘密鍵と公開鍵のペアによって決定されます。
アカウントのアドレスはこれらのキーから導出され、秘密キーを所有している場合のみアカウントからトランザクションを開始できます。イーサリアムコントラクトは「受動的」、つまりトランザクション内で呼び出された場合にのみ変更できますが、EOA はトランザクションを開始できます。
EOA にはその単純さにもかかわらず、アカウントの動作に柔軟性がなく、EOA によって開始されたトランザクションがいつ有効であるかがイーサリアム プロトコルによって規定される (署名スキームが固定されている) という大きな欠点があります。特に、公開キーを制御すると、アカウントを完全に制御できるようになります。理論的には、これは安全なアカウント管理方法ですが、実際には、シード フレーズにアクセスできるようにする一方でシード フレーズを安全に保つ必要があることや、ウォレット機能の柔軟性が制限されることなど、いくつかの欠点があります。
EIP-4337 は、柔軟性と使いやすさを向上させるために、イーサリアム ネットワーク上の専用スマート コントラクトを通じてすべてのアカウントを管理するアカウントの抽象化を概説するイーサリアムの設計提案です。基本的な EOA 機能にカスタム ロジックを追加して、イーサリアムにアカウントの抽象化をもたらすことができます。
アカウントの抽象化とは何ですか?
アカウントの抽象化の背後にある考え方は、アカウントの動作をプロトコル レベルで決定するのではなく、アカウント管理の柔軟性を高めることです。これは、ユーザーのアカウントの動作を決定するプログラム可能なロジックを備えたスマート コントラクトであるアカウント コントラクトを導入することで実現できます。
アカウント抽象化を使用すると、アカウント機能をプログラムできるようになります。
たとえば、次のことができます。
有効な署名が何を意味するか、またはアカウントがどの契約とのやり取りを許可されているかを判断します。これは、トランザクション手数料をさまざまなトークンで支払うための「署名抽象化」と呼ばれます。これは、独自のリプレイ保護メカニズムを設計し、複数の無関係なトランザクションを並行して送信できるようにするための「手数料抽象化」と呼ばれることもあります。これをイーサリアムで使用されているシーケンシャル ナンス ソリューションと比較してください。これにより、トランザクションは本質的にシーケンシャルになり、2 つのトランザクションを並行して送信したい場合でも、2 番目の 2 つの取引を送信する前に、最初のトランザクションの確認を待つ必要があります。そうしないと、無効な nonce が原因で 2 番目のトランザクションが拒否される可能性があります。アカウントの抽象化を使用すると、連続ノンス要件を回避するためのさまざまなソリューションについて議論することができます。これを「ノンス抽象化」と呼びます。
現在、Starknet は署名の抽象化を提供しています。将来的には、Starknet は経常口座の抽象化設計を強化します。
アカウント抽象化を使用したカスタム アカウント機能の 2 つの例
ソーシャル リカバリは、財布を紛失した場合に、選択したソーシャル ネットワークを介して取り戻すことができるプロセスであり、ウォレットの回復の一般的なエクスペリエンスが大幅に向上します。顔認識によるアカウントの操作 署名の抽象化を使用すると、携帯電話のネイティブ ハードウェアを使用してトランザクションに署名できるため、別のユーザーのアカウントを乗っ取ることが事実上不可能になります (携帯電話自体が盗まれた場合でも)。
これらの例は、アカウントの抽象化を活用して、より柔軟で安全な、高度にカスタマイズされたウォレットとアカウントの管理エクスペリエンスをユーザーに提供する方法を示しています。カスタム ロジックを作成することで、ユーザーはニーズや好みに応じてアカウント機能をカスタマイズでき、セキュリティを強化しながら使いやすさを向上させることができます。
Starknet アカウント契約には、次の 2 つの機能が含まれている必要があります
validate
execute
これらの機能には、アカウント所有者だけがトランザクションを開始でき、使用したリソースに対して請求できるようにするためのさまざまな目的があります。
Starknet のアカウント タイプはイーサリアムの EIP-4337 からインスピレーションを受けており、EOA (外部所有アカウント) の代わりに、任意の検証ロジックを備えたスマート コントラクト アカウントを使用できるようになりました。
スマート コントラクトを使用することで、アカウントの実装に完全な柔軟性が得られます。
副題
トークンエコノミクス:
トークンの役割
取引手数料：
現在、StarkNet の料金はイーサ (ETH) で支払われます。ただし、後日、料金はすべてネイティブ StarkNet トークンで支払われる予定です。優れたユーザーエクスペリエンスをサポートするために、自動化された分散型のオンチェーンメカニズムにより、ユーザーはETHで料金を支払うことができます。
誓約書:
StarkNet の稼働性とセキュリティにとって重要な特定のサービスでは、StarkNet トークンをステークする必要がある場合があります。これらのサービスには、順序付け、L1 ファイナリティに達するまでの暫定的な L2 コンセンサス、STARK プルーフ サービス、およびデータ可用性プロビジョニングが含まれる場合があります。
ガバナンス:
StarkNet を改善するための提案には、後で定義される最小トークン サポートしきい値が必要になります。 StarkNet の稼働、セキュリティ、保守にとって重要なプロトコルへのすべての変更には、直接または委任による投票が必要です。たとえば、StarkNet オペレーティング システムへのすべてのメジャー アップデートには、トークン所有者の承認が必要です。
総額: 100億、トークンの初期割り当て: トークンエコノミクス
17% — StarkWare 投資家
32.9% — 中心的な貢献者: StarkWare とその従業員、コンサルタント、StarkNet ソフトウェア開発パートナー
StarkWare は、以下の目的で 50.1% を財団に助成します。
9% — コミュニティ ギブアウェイ: 過去に StarkEx L2 システムを使用した人など、StarkNet に取り組み、その基礎となるテクノロジーをサポートする人に報酬を与えるために使用されます。重要なのは、すべてのコミュニティ フィードは、過去に行われた検証可能な作業に基づいているということです。たとえば、過去の StarkEx ユーザーの場合、割り当ては 2022 年 6 月 1 日より前に行われた StarkEx テクノロジーの検証可能な使用に基づいて行われます。
9% — コミュニティ リベート: イーサリアムから StarkNet への移行コストをカバーするために部分的に使用されます。ゲーミフィケーションを防ぐため、コミュニティ リベートは、リベート メカニズムが発表された後に発生するトランザクションにのみ利用できます。
12% — StarkNet プロトコルの研究開発、テスト、展開、およびメンテナンスへの資金提供。
10% — 財団の使命に沿ったエコシステム活動に資金を提供するための戦略的準備金。
2% — StarkNet トークン所有者と財団が共同で決定した、大学、NGO などの非常に評判の高い機関や組織に寄付されます。
8.1% — 未割り当て: 財団の未割り当ての財政準備金は、StarkNet コミュニティをさらに支援するために使用され、具体的な支援方法はコミュニティによって決定されます。
コア貢献者と投資家の長期的なインセンティブを StarkNet コミュニティの利益と一致させるため、また分散型エコシステムの実践に従って、コア貢献者と投資家に割り当てられたすべてのトークンは 4 年間のロックアップ期間の対象となります。 、リニアリリースと1年間のクリフ付き。
エンド ユーザーの場合は、現在のニーズを満たす場合にのみ StarkNet を使用してください。 StarkNet トークンで将来の報酬を期待するのではなく、自分にとって重要なトランザクションやアプリケーションに使用してください。コミュニティ フィードが発表される場合、発表日以前に発生したスナップショットのみが含まれ、その時点で入手可能な情報に基づいて、ネットワークの不正行為や操作とみなされる使用はフィルタリングされ、除外されます。コミュニティ リベートが確立されたとき、リベートが発表される前に発生した取引には適用されませんでした。そのため、今日の取引に将来のリベートを期待するのは無駄です。
上記のトークン経済学の概要分析に基づくと、次のようになります。
コミュニティ供給の最初の 9% はユーザーにエアドロップされる可能性があります。これは、ユーザーが Starknet で働き、技術サポートと開発を提供する 4 億 5,000 万人に分配されることを意味します。
2回目の9%コミュニティリベートは、その後のリベートルール発表後の手数料補助として使用されるため、ルール発表前に手数料を支払っても無駄です。
3 番目の 10% の戦略的予備金は、チェーン上の生態学的アプリケーションに使用され、生態学的アプリケーション プロトコルに割り当てられます。
要約:
要約:
StarkWare は、ZK ロールアップ トラックで最高の企業の 1 つであり、その製品には StarkEX や StarkNet などがあります。
StarkEx は、dApps に技術サービスを提供するレイヤー 2 拡張エンジンです。
StarkNet は、許可を必要としない、より一般的で完全なレイヤー 2 ソリューションです。
チームメンバーは 80 人以上で、中心メンバーは非常に目を引くものです。Eli Ben-Sasson は Zcash の創設者であり、zkSNARK の発明者です。彼は ZK-Rollup の分野で非常に深い研究と影響力を持っています。現在の評価額は 80 億ドルに達しており、Paradigm、Pantera、polychain、Vitalik などのトップ VC や個人が StarkWare の資本となっています。
エコロジーアプリケーションに関しては、Cairo 言語を使用しているため EVM と互換性がなく、エコロジー開発の進捗は比較的遅いと思われますが、現在は Cairo 1.0 への移行とより高い TPS に向けた開発が始まっています。そのため、現在のアプリケーション エクスペリエンスはあまりスムーズではなく、テクノロジーと現実の間にはまだギャップがあります。将来の Starknet のより良い発展を期待しています。
