StarkWare:StarkExとStarkNetの技術革新の道を探る

#StarkWare:StarkExとStarkNetのイノベーションパスを発見してください

StarkWare社は2018年に設立され、STARK有効性証明技術を利用してEthereumのスケーラビリティ問題を解決することに取り組んでいます。同社はSaaSモデルに基づくStarkExを発表し、Cairoプログラミング言語を開発し、カスタムロジックを書くことを可能にする分散型ネットワークStarknetを構築しました。

StarkWareは、技術、数学、革新、製品の提供に焦点を当て、イーサリアムとSTARK技術の発展を推進するチームを支援し、製品をオープンソース化し、分散化し、STARKを公共の製品として位置づける努力をしています。

将来、StarkWareはStarknetをStarknet財団によってガバナンスされる許可不要の分散型有効性ロールアップに発展させることに専念し、Prover、Sequencer、ガバナンスなどの分散型Starknetのさまざまな構成要素に焦点を当てます。

STARK技術は完全性証明に基づいており、数学を利用して計算が正しく行われることを保証します。この技術は1991年の学術論文に由来し、単一の信頼できるコンピュータが一連の信頼できないスーパーコンピュータを監視するという概念を紹介しました。STARKはこの技術の改良版であり、小規模なユーザーが大規模な機関の正しい運用を確認し、保証できるようにします。

ブロックチェーンは通貨交換のピアツーピア特性を回復し、信頼できる仲介者の必要性を排除しました。イーサリアムはこの概念をより広範なアプリケーションに拡張し、社会経済の基盤を構成する汎用プログラムの作成を可能にしました。

! StarkWare Empire: An Exploration of StarkEx and StarkNet's Innovation Journey

StarkWare 会社概要

StarkWareはzk rollups分野のリーディングカンパニーの一つで、イスラエル工科大学のEli Ben-Sasson教授(がzk SNARKとzk STARKの共同発明者)として共同設立し、ブロックチェーン業界にSTARK技術に基づくソリューションを提供しています。現在、同社は2つの製品を開発しています: StarkExとStarkNet。

コアチームメンバー

• エリ・ベン・サッソン:共同創設者兼最高科学者、イスラエル工科大学コンピュータサイエンス教授、Zcash創設科学者、zkSNARKsの発明者。
• アレッサンドロ・キエーザ：共同創設者兼最高科学者、カリフォルニア大学バークレー校コンピュータサイエンス教授、Zcash創設科学者、zk-SNARKs共同発明者、libsnarkコア開発者。
• Uri Kolodny:共同創設者兼CEO、経験豊富なシリアルアントレプレナー。
• マイケル・リャブゼフ:共同創設者兼最高アーキテクト、イスラエル工科大学の博士、以前はインテルとIBMに勤務していました。
• オレン・カッツ: 工程副社長、ヘブライ大学コンピュータ専攻卒業、テルアビブ大学MBA、20年の経験を持つベテランエンジニア。

###ファイナンス

StarkWareは現在800億ドルの評価を受けており、Vitalik、Paradigm、Sequoiaなどの著名な投資家の支持を受けており、スケーリング分野で最も高い評価を受けているチームです。

スターケックス

StarkExは、Ethereumブロックチェーンに基づくアプリケーション特化型Layer-2拡張エンジンであり、EthereumなどのLayer-1ブロックチェーンネットワークのスケーラビリティ問題を解決することを目的としています。StarkExは、STARK証明システムを使用することで、迅速で低コストの取引を実現し、安全性、プライバシー、および自己保管性には影響を与えません。

StarkExは、低コストのオフチェーン計算を実現するためのアプリケーションフローの一連を提供し、複数のトランザクションを1つのSTARK証明にパッケージ化し、その後チェーン上で検証することで、各トランザクションの平均燃料コストを削減します。StarkExの動作原理は、バッチ処理、検証と更新、証明生成、チェーン上の検証の4つのステップで構成されています。

StarkExは、dYdX、Immutable、Sorare、DeversiFi、Celerなど、複数のアプリケーションに導入され、成功を収めています。

StarkNetとの違い

StarkExは特定のアプリケーション向けに設計されたLayer-2拡張エンジンで、主に単一アプリケーションのパフォーマンスを最適化します。トランザクションをバッチ処理し、オフチェーンで検証することで、より迅速で低コストのトランザクションを実現し、主に分散型取引所、NFTマーケットプレイス、ゲームなどで使用されます。

StarkNetは、許可のないより汎用的で完全なLayer-2ソリューションであり、Ethereumエコシステム全体に分散型計算プラットフォームを提供します。開発者は、Cairo言語で書かれたスマートコントラクトをデプロイでき、コントラクト間の相互作用やEthereumコントラクトとの非同期メッセージングをサポートします。

! StarkWare Empire: An Exploration of StarkEx and StarkNet's Innovation Journey

スタークネット

StarkNetは、許可不要の分散型有効性折り畳みネットワーク(ZK-Rollup)です。Ethereum上のL2ネットワークとして、StarkNetは、Ethereumの相互運用性と安全性に影響を与えることなく、無限のスケーラブルな計算を実現することを可能にします。これは、StarkNetが最も安全で、かつ最もスケーラブルな暗号証明システムSTARKに依存しているためです。

StarkNetコントラクトとオペレーティングシステムはCairoで書かれており、あらゆるユースケースのデプロイと拡張をサポートします。分散型のレイヤー2ネットワークソリューションとして、StarkNetはdAppに対してより高いスケーラビリティとパフォーマンスを提供することを目的としています。Ethereum上で動作することにより、既存のインフラストラクチャとセキュリティを利用しながら、より高い計算能力を提供します。

CairoはStarkNetのために設計されたプログラミング言語で、スマートコントラクトの開発と展開を簡素化することを目的としています。Cairoを使用することで、開発者は金融、ゲーム、サプライチェーンなどの複数の分野にわたる高度にスケーラブルなアプリケーションを簡単に構築できます。

バージョンアップデート

StarkNetは新しいバージョンを継続的にリリースし、パフォーマンスと機能を改善しています:

• Alpha v0.11.0: Cairo 1.0への移行を開始し、言語の改善とパフォーマンスの最適化を行います。
• v0.10.3:性能の向上、新しいコマンドの追加。
• v0.10.2:シーケンサーの並列化を導入し、新しい料金見積もりエンドポイントを追加しました。
• v0.10.1: DeployAccountトランザクションを追加し、L1手数料計算を改善しました。
• v0.10.0: アカウント抽象設計の次のステップを導入。
• v0.9.1: API と CLI の更新。
• v0.9.0:コントラクトクラス/インスタンスパラダイムを導入。

アカウントシステム

StarkNetはアカウント抽象化設計を採用しており、より柔軟なアカウント管理を可能にします。主な特徴には以下が含まれます:

• 署名の抽象化: カスタマイズ可能な有効署名の定義。
• 料金の抽象化: 異なるトークンを使用して取引手数料を支払う。
• ノンスの抽象化: カスタムリプレイ保護メカニズムを設計する。

StarkNetアカウントコントラクトは、取引を開始し、リソース使用料を徴収できるのはアカウントの所有者のみであることを保証するために、validateおよびexecuteの2つの関数を含む必要があります。

トークンエコノミクス

StarkNetトークンの主な役割には以下が含まれます:

• 取引手数料: 将来的にはネイティブなStarkNetトークンでの支払いが完全に行われる予定です。
• ステーキング: 一部の重要なサービスにはStarkNetトークンのステーキングが必要です。
• ガバナンス: 改善提案には最小トークン支持閾値が必要です。

総量は100億で、初期配分は以下の通りです:

• 17%をStarkWareの投資家に分配
• 32.9%はコア貢献者に配分されます
• 50.1%は財団に授与され、コミュニティの供給、リベート、研究開発の資金援助、戦略的備蓄などに使用されます。

コア貢献者と投資者のトークンは、4年間のロックアップ期間があり、線形のリリースと1年間のクリフが付いています。

ビジネスモデル

1. カスタマイズされた技術エンジンサービスStarkExを販売し、スケーラビリティのニーズがある顧客にサービス料を請求します。
2. 分散型Layer2ネットワークStarkNetを構築し、取引手数料、MEVの価値、トークンエコノミーを通じてエコシステムの発展を推進する。

まとめ

StarkWareはzk rollups分野のリーディングカンパニーであり、StarkExとStarkNetの2つの製品を提供しています。会社は強力な技術チームと投資背景を持ち、評価額は80億ドルに達しています。StarkNetはCairo言語を採用しており、エコシステムの発展は比較的遅いですが、より高いTPSに向かって進んでいます。StarkNetが将来、より良いアプリケーション体験と技術革新を実現することを期待しています。

! StarkWare Empire: An Exploration of StarkEx and StarkNet's Innovation Journey