#starkware #starknet #starkex

作者: @Yinan_cycle

(この記事は最初に PANews に掲載されました: StarkWare Empire: StarkEx と StarkNet のイノベーション ジャーニーの分析)

背景

2018 年から StarkWare は、イーサリアムのスケーラビリティ問題を解決するために STARK 有効性証明の使用を先駆けて開始しました。 SaaS ビジネス モデルに基づいて StarkEx を立ち上げ、Cairo プログラミング言語を作成し、カスタム ロジックを作成できる運用環境初の分散型ネットワークである Starknet を構築しました。

StarkWare は、テクノロジー、数学、イノベーション、製品の提供に重点を置くこと、つまりイーサリアムや STARK を推進する他のチームをサポートすること、そして製品をオープンソースにし、分散化して STARK を公共財にすることに重点を置くことに取り組んでいます。

将来的に、Starkware は、Starknet を Starknet Foundation によって管理されるパーミッションレスの分散型有効性ロールアップにすることに取り組み、Prover、Sequencer、ガバナンスなどの分散型 Starknet のさまざまなコンポーネントに焦点を当てます。

STARK テクノロジーは証明、特に完全性証明に基づいています。 STARK は数学を使用して整合性を確保し、誰も見ていないときでも計算が正しく行われるようにします。この手法の概念は、László Babai、Lance Fortnow、Leonid Levin、Mario Szegedy による 1991 年の記事で始まり、信頼できる単一のコンピューターを使用して信頼性の低いスーパーコンピューターのグループを監視するという概念を紹介しました。 「PCP」と呼ばれるこの技術は、数学を使用して大規模な計算の整合性を監視し、保証します。

STARK テクノロジーは PCP テクノロジーの改良版であり、小規模ユーザーが大企業、独占企業、または政府が正しく機能していることを確認および保証できるようにします。ブロックチェーンは通貨交換のピアツーピアの性質を復元し、信頼できる仲介者の必要性を排除します。イーサリアムはこの概念をさらに推し進め、社会的経済の基礎を形成する普遍的なプログラムの作成を可能にします。

スタークウェア

StarkWare は、ZK ロールアップ トラックで最高の企業の 1 つであり、イスラエル工科大学の Eli Ben-Sasson 教授 (zk SNARK および zk STARK の共同発明者) によって共同設立され、STARK テクノロジーに基づくソリューションを提供しています。ブロックチェーン業界。現在、StarkEx と StarkNet の 2 つの製品が開発されており、どちらも以下に紹介します。

スタークウェアチーム

  • Eli Ben-Sasson: テクニオン・イスラエル工科大学の共同創設者兼主任研究員、コンピューターサイエンス教授。 Zcash の創設者であり、zkSNARKs の発明者。

  • Alessandro Chiesa: カリフォルニア大学バークレー校の共同創設者兼主任研究員、コンピューターサイエンス教授。 Zcash の創設科学者、zk-SNARKs の共同発明者、libsnark の中心開発者。

  • Uri Kolodny: 共同創設者兼 CEO の Uri は、豊富なビジネス経験と協力が得意な連続起業家です。

  • Michael Riabzev: 共同創設者兼チーフアーキテクト。イスラエル工科大学で博士号を取得し、インテルとIBMで勤務。

  • オーレン・カッツ: エンジニアリング担当副社長。テルアビブのヘブライ大学でコンピュータ サイエンスの MBA を取得し、20 年の経験を持つシニア エンジニアです。

融資

同社の評価額は現在 80 億米ドルで、Vitalik、Paradigm、Sequioa などの資本から全面的な支援を受けており、拡張分野で最も高い評価を得ているチームです。

スタークエクス

イーサリアム ブロックチェーンに基づくアプリケーション固有のレイヤー 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市場、ゲームなどで利用されます。 Stark Proof テクノロジーを使用することで、StarkEx は安全で効率的かつ低コストの取引体験を提供します。

  2. StarkNet は、開発者がカイロ言語で書かれたスマート コントラクトを展開できる分散コンピューティング プラットフォームをイーサリアム エコシステム全体に提供する、パーミッションレスでより一般的な完全なレイヤー 2 ソリューションです。 StarkNet は他のコントラクトとの対話をサポートし、プロトコルの豊富な組み合わせを可能にし、非同期メッセージングを通じてイーサリアム コントラクトと対話できます。目標は、開発者がスマート コントラクトを構築および展開できる、スケーラブルで低コストの安全な環境を提供することです。 StarkEx とは異なり、StarkNet は、開発者が特定の目的のためのソリューションだけでなく、さまざまな分散型アプリケーションを作成できるようにする包括的なレイヤー 2 オペレーティング システムとみなすことができます。

つまり、StarkEx は、特定のアプリケーションのパフォーマンスの最適化に焦点を当てたアプリケーション固有のレイヤー 2 拡張エンジンですが、StarkNet は、イーサリアムの集中型コンピューティング エコシステム全体に分散型ソリューションを提供することを目的とした、より一般的で包括的なレイヤー 2 ソリューションです。プラットホーム。

スタークネット

Starknet は、許可不要の分散型有効性ロールアップ ネットワーク (「ZK-Rollup」とも呼ばれます) です。これはイーサリアム上の L2 ネットワークとして動作し、Starknet が最も安全でスケーラブルな Cryptoproof 証明システム STARK に依存しているため、イーサリアムの構成性とセキュリティを損なうことなく、あらゆる dApp が無限にスケーラブルなコンピューティングを実現できるようになります。

Starknet コントラクトと Starknet オペレーティング システムは Cairo で書かれているため、ビジネス ロジックに関係なく、あらゆるユースケースの展開と拡張が可能になります。 Starknet は、分散型アプリケーション (dApp) により高いスケーラビリティとパフォーマンスを提供するように設計された分散型レイヤー 2 ネットワーク ソリューションです。イーサリアム上で実行することで、既存のインフラストラクチャとセキュリティを活用しながら、コンピューティング能力を向上させます。

Cairo は、スマート コントラクトの開発と展開を簡素化するために Starknet 専用に設計されたプログラミング言語です。 Cairo を使用すると、開発者は金融、ゲーム、サプライ チェーンなどを含むさまざまなユースケースに対応した拡張性の高いアプリケーションを簡単に構築できます。

Starknet は有効性ロールアップであり、各ブロック内の実行を証明する必要があることを意味します。ただし、STARK 証明は多項式制約言語で定式化されたステートメントを解決できますが、スマート コントラクトの実行についての知識はありません。このギャップを克服するためにカイロが開発されました。

全体として、Starknet は、既存の dApp のスケーラビリティとパフォーマンスにおいて大きな前進をもたらす可能性を秘めたレイヤー 2 ネットワーク ソリューションです。 STARK 暗号証明システムと Cairo プログラミング言語を採用することで、Starknet は開発者にさまざまなビジネス ニーズを満たす強力で柔軟なプラットフォームを提供します。

新しいバージョンのアップデート

  • 次は何が起こる？ Starknet Alpha v0.11.0: Cairo 1.0 への移行が開始

    • Cairo 1.0 に対するさらなる言語の改善

    • パフォーマンスの向上: 約束どおり、Starknet は TPS の大幅な向上に向けて進歩を続けています。ロードマップの次のステップは、Apache 2.0 ライセンスに基づいて公的に開発されている Rust シーケンサーへの移行です。新しいシーケンサーは、Rust CairoVM と Papyrus フル ノードを使用してパフォーマンス トリオを形成します。

    • オフチェーン DA

      このバージョンでは、Starknet がトランザクションコストの計算部分を処理します。次期バージョンでは、今日の平均的なトランザクションの主なコストであるオンチェーン データ コストに対処する予定です。

    Starknet のシーケンサーについてさらに詳しく説明します。

    シーケンサーは StarkNet シーケンサーを指します。これは 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 v0.11.0 (現在は Goerli テストネットのみ)

    • Goerli のテスト期間が終了すると、Starknet v0.11.0 がメインネットでリリースされます。

  • スタークネット v0.10.3 (22-12-12)

    • パフォーマンス - 状態コミットメントの計算をトランザクションの実行から分離する

    • コンパイルされた Starknet コントラクトのクラス ハッシュを計算する starknet-class-hash コマンドを追加しました

  • スタークネット v0.10.2 (11/29/22)

    • このバージョンではシーケンサーの並列化が導入されています。

    • 新しいエンドポイントestimate_fee_bulkがフィーダ ゲートウェイに追加されます。これにより、複数のトランザクションの手数料を同時に見積もることができます。各トランザクションは、適用された前のトランザクションの結果の状態と比較して実行されます。

  • スタークネット v0.10.1 (10/25/22)

    • DeployAccount トランザクションを追加します (これは、アカウント コントラクトをデプロイするための Deploy トランザクションを置き換えます)。これを使用するには、まず取引手数料をカバーするのに十分な資金をアカウント アドレスに追加してから、DeployAccount を呼び出す必要があります。

    • starknetdeploy_accountCLI コマンドを starknet new_account と starknetdeploy_account に分割します。

    • この方法でデプロイされたアカウント コントラクトは、トランザクションの署名をチェックする必要がある validate_deployDeployAccount() エントリ ポイントを実装する必要があることが期待されます。

    • L1 料金計算の改善: ストレージ ステータスの違いに基づいて料金を計算します。

    • API:entry_point_type はトランザクション情報からフィールドを削除します

  • スタークネット v0.10.0 (05/09/22)

    このリリースでは、Starknet アカウント抽象化の設計における次のステップ、特に検証と実行の分離が導入されています。

  • スタークネット v0.9.1 (07/20/22)

    • APIの変更

    • StarNet CLI

  • Starknet v0.9.0 (22 年 6 月 6 日)

    このリリースでは、コントラクト クラス/インスタンス パラダイムを Starknet に導入します

アカウントについて

  • イーサリアムアカウントの構造

    Ethereum では、個々のユーザー アカウントは外部所有アカウント (EOA) と呼ばれます。

    EOA はコードによって制御されないという点でスマート コントラクトとは異なります。 EOA は、秘密鍵と公開鍵のペアによって決定されます。

    アカウントのアドレスはこれらのキーから導出され、秘密キーを持っている場合にのみアカウントからトランザクションを開始できます。イーサリアムのコントラクトは「パッシブ」、つまりトランザクションで呼び出された場合にのみ変更できるのに対し、EOA はトランザクションを開始できます。

    EOA にはその単純さにもかかわらず、アカウントの動作に柔軟性がないという大きな欠点があります。それは、Ethereum プロトコルが EOA によって開始されたトランザクションがいつ有効であるかを決定することです (署名スキームは固定されています)。特に、公開キーを制御すると、アカウントを完全に制御できます。理論的には、これは安全なアカウント管理方法ですが、実際には、シード フレーズにアクセスできるようにする一方でシード フレーズを安全に保つ必要があることや、ウォレット機能の柔軟性が制限されることなど、いくつかの欠点があります。

    EIP-4337 は、イーサリアム ネットワーク上の専用スマート コントラクトを通じてすべてのアカウントを管理し、柔軟性と使いやすさを向上させるためのアカウント抽象化の概要を示すイーサリアムの設計提案です。基本的な EOA 機能にカスタム ロジックを追加することで、イーサリアムにアカウントの抽象化を追加できます。

  • アカウントの抽象化とは何ですか?

    アカウントの抽象化の背後にある考え方は、アカウントの動作をプロトコル レベルで決定するのではなく、アカウント管理の柔軟性を高めることです。これは、ユーザーのアカウントの動作を決定するプログラム可能なロジックを備えたスマート コントラクトであるアカウント コントラクトを導入することで実現できます。

    アカウント抽象化を使用すると、アカウント機能をプログラムできるようになります。

    たとえば、次のことができます。

    • 有効な署名が何を意味するか、またはアカウントがどの契約とのやり取りを許可されているかを判断します。これを「署名の抽象化」といいます。

    • さまざまなトークンで取引手数料を支払う - これは「手数料抽象化」と呼ばれることもあります

    • 独自のリプレイ保護メカニズムを設計し、無関係な複数のトランザクションを並行して送信できるようにします。これを Ethereum で使用されているシーケンシャル ナンス ソリューションと比較してください。このソリューションでは、トランザクションは本質的にシーケンシャルになります。2 つのトランザクションを並行して送信したい場合でも、2 番目の 2 つのトランザクションを送信する前に、最初のトランザクションの確認を待つ必要があります。そうしないと、無効な nonce が原因で 2 番目のトランザクションが拒否される可能性があります。アカウントの抽象化を使用すると、シーケンシャル ノンス要件を回避するためのさまざまなソリューションについて議論できます。これを「ノンス抽象化」と呼びます。

    現在、Starknet は署名の抽象化を提供しています。将来的には、Starknet は経常口座の抽象化設計を強化します。

  • アカウント抽象化を使用したカスタム アカウント機能の 2 つの例

    1. ソーシャル リカバリ これは、ウォレットを紛失したときに、選択したソーシャル ネットワークを介してウォレットを取り戻すことができるプロセスであり、通常のウォレットのリカバリ エクスペリエンスが大幅に向上します。

    2. 顔認識によるアカウントの操作 署名の抽象化により、携帯電話のネイティブ ハードウェアを使用してトランザクションに署名できるため、（携帯電話自体が盗まれた場合でも）別のユーザーのアカウントを乗っ取ることが事実上不可能になります。

    これらの例は、アカウントの抽象化を活用して、より柔軟で安全な、高度にカスタマイズされたウォレットとアカウントの管理エクスペリエンスをユーザーに提供する方法を示しています。カスタム ロジックを作成することで、ユーザーはアカウントの機能をニーズや好みに合わせて調整でき、セキュリティを向上させると同時に使いやすさを向上させることができます。

Starknet アカウント契約には、次の 2 つの機能が含まれている必要があります

  • 検証

  • 実行する

これらの機能は、アカウント所有者のみがトランザクションを開始できるようにし、使用したリソースに対して課金できるようにするためのさまざまな目的を果たします。

Starknet のアカウント タイプはイーサリアム EIP-4337 からインスピレーションを受けており、EOA (外部所有アカウント) の代わりに、任意の検証ロジックを備えたスマート コントラクト アカウントを使用するようになりました。

スマート コントラクトを使用することで、アカウントの実装に完全な柔軟性が得られます。

プロトコル レベルでは必須ではありませんが、コミュニティはより豊富な標準アカウント インターフェイスを開発しました。この標準は OpenZeppelin によって開発され、ウォレット チームおよび他のコア Starknet 開発者と緊密に連携しました。

トークンエコノミクス:

トークンの役割:

  • 取引手数料：

    現在、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%—コミュニティ リベート: イーサリアムからスタークネットへの移行コストをカバーするために一部使用されます。ゲーミフィケーションを防ぐため、コミュニティ リベートはリベート メカニズムが発表された後に発生した取引にのみ適用されます。

  • 12% — StarkNet プロトコルの研究開発、テスト、展開、およびメンテナンスへの資金提供。

  • 10% - 財団の使命と一致する生態系活動に資金を提供するための戦略的予備金。

  • 2% — StarkNet トークン所有者と財団が共同で決定した、大学、NGO などの非常に評判の高い機関や組織に寄付されます。

  • 8.1%—未割り当て: 財団の未割り当ての財政準備金は、コミュニティによって決定された特定の支援方法で、StarkNet コミュニティをさらに支援するために使用されます。

コア貢献者と投資家の長期的なインセンティブをStarkNetコミュニティの利益と一致させ、分散型エコシステムの慣行に従うために、コア貢献者と投資家に割り当てられたすべてのトークンは4年間のロックアップ期間の対象となります。 、リニアリリースと1年間のクリフ付き。

エンド ユーザーの場合は、現在のニーズを満たす場合にのみ StarkNet を使用してください。 StarkNet トークンの将来のリターンを期待するのではなく、価値のあるトランザクションやアプリケーションに使用してください。コミュニティ提供が発表される場合、発表日以前に発生したスナップショットのみに関連し、その時点で入手可能な情報に基づいてネットワークの悪用および操作とみなされる使用をフィルタリングして除外します。コミュニティ リベート システムが確立されると、リベートが発表される前に行われた取引には決して適用されないため、将来のリベートを期待して今日取引するのは無駄です。

上記のトークン経済学の概要分析に基づくと、次のようになります。

コミュニティ供給部分の最初の 9% はユーザーにエアドロップされる可能性があります。これは、ユーザーが Starknet で働いて技術サポートと開発を提供するユーザーと合わせて 4 億 5,000 万人に分配されることを意味します。

2 番目の 9% コミュニティ リベートは、その後のリベート ルールが発表された後の手数料を補助するために使用されます。ルールが発表される前に手数料を支払っても無駄です。

3 番目の 10% の戦略的準備金は、チェーン上の生態学的アプリケーションに使用され、生態学的アプリケーション プロトコルに割り当てられます。

事業の型

  1. StarkEx はカスタマイズされたテクノロジー エンジン サービスを販売し、拡張が必要な​​場合は顧客から直接サービス料金を請求します。これは基本的にカスタマイズされた 2B サービスです。

  2. dApp の独立した展開をサポートする分散型レイヤー 2 ネットワーク StarkNet を作成します。ユーザーにレイヤー 2 トランザクション料金を請求することができ、将来的にはシーケンサーのオークション メカニズムを通じて MEV の価値を取得することもでき、テクノロジーと資金を使用することもできます。 StarkNet プロジェクトをインキュベートし、トークンノミクスを通じて生態系の発展を推進します。

要約する

StarkWare は、StarkEX や StarkNet などの製品を提供する、ZK ロールアップ サーキットで最高の企業の 1 つです。

StarkEx は、dApps に技術サービスを提供する Layer2 拡張エンジンです。

StarkNet は、パーミッションレスで、より一般的で完全なレイヤー 2 ソリューションです。

チームメンバーは 80 名を超え、その中心メンバーは非常に注目を集めています。Eli Ben-Sasson は Zcash の創設者であり、ZK-Rollup 分野で非常に深い研究と影響力を持っています。現在の評価額は80億ドルに達しており、paradigm、Pantera、polychain、ButerinなどのトップVCや個人はすべてStarkWareの投資家です。

エコロジーアプリケーションに関しては、Cairo 言語が使用されているため、EVM と互換性がないため、エコロジー開発の進捗は遅くなりますが、現在は Cairo 1.0 への移行とより高い TPS に向けた開発が始まっています。しかし、現在のアプリケーションのエクスペリエンスはあまりスムーズではなく、テクノロジーと現実の間にはまだギャップがあります。将来、Starknet がより良く発展することを期待しています。