編集者注: この記事は以下から引用しましたバビット情報（ID：bitcoin8btc）編集者注: この記事は以下から引用しました
バビット情報（ID：bitcoin8btc）
StarkWare は、今後数か月以内にフェーズ 1 を展開し、2021 年末までにフェーズ 2 および 3 に移行する予定です。 StarkWare によって構築された StarkNet は、STARK によって駆動される分散型 2 層 ZK ロールアップであり、イーサリアムの一般的なコンピューティングをサポートできます。
、著者：StarkWare、コンパイラ：Kyle、許可を得て公開。
ゼロ知識証明の研究開発組織 StarkWare は、同社のレイヤー 2 拡張ソリューション ZK ロールアップ「StarkNet」が基本構築 (フェーズ 0)、つまりチューリング完全フレームワーク Cairo、STARK ソフトウェア スタック、およびレイヤー 2 を完了したと発表しました。拡張エンジン StarkEx は、フェーズ 1 からフェーズ 3 の後半で建設される予定です。このうち、フェーズ 1 では、開発者が StarkNet 上で独自のスケーラブルなアプリケーションを構築および展開できるようにする単一アプリケーションのロールアップ「Single-App Rollup」をサポートし、フェーズ 2 では、複数のアプリケーションのロールアップ「Multi-App Rollup」をサポートします。同じ StarkNet インスタンス上で複数のアプリケーションを実行およびアクセスすることで、異なるアプリケーション間の相互運用性が可能になり、ガスコストが削減されます。フェーズ 3 では、分散型ロールアップ「Decentralized Rollup」がサポートされます。
StarkWare は、今後数か月以内にフェーズ 1 を展開し、2021 年末までにフェーズ 2 および 3 に移行する予定です。 StarkWare によって構築された StarkNet は、STARK によって駆動される分散型 2 層 ZK ロールアップであり、イーサリアムの一般的なコンピューティングをサポートできます。
以下はStarkWareが発表した発表の全文（翻訳）です。
私たちは StarkNet を 4 つのステップで構築しています。
ステップ 0 - 基本 (完了*)
ステップ II - コンスタレーション: マルチアプリケーションの概要
導入
ステップ III - Cosmos: 分散型アグリゲーション
数か月以内にステップ I を導入し、2021 年末までにステップ II とステップ III に向けて順調に進む予定です。
導入
私たちは、イーサリアム上の一般的な計算をサポートするために L2 ZK-Rollup をサポートする、分散型でパーミッションレスで検閲耐性のある STARK テクノロジーである StarkNet を構築しています。これはチューリング完全カイロ言語に基づいています。
開発者、ユーザー、および StarkNet ノードは、パーミッションレス L2 ロールアップ スキームから期待されるすべてのことを実行できるようになります。開発者は、独自のビジネス ロジックを実装するアプリケーションを構築し、StarkNet に展開できます。ユーザーは、今日イーサリアムと対話するのと同じように、トランザクションを StarkNet に送信して実行できます。 StarkNet ノードと参加者は、ネットワークが効率的かつ公平に動作することを保証するための暗号経済的インセンティブを享受できます。
すべての StarkNet トランザクションは定期的にバッチ処理され、その有効性は STARK 証明を通じて証明され、イーサリアム上で検証されます。 STARK 証明を検証するために必要な計算は、証明を検証するために必要な計算よりもはるかに小さいため、StarkNet はイーサリアムを数桁スケールします。
すべての StarkNet 状態遷移は STARK 検証されるため、有効な遷移のみがイーサリアム ネットワークで受け入れられます。 StarkNet の完全な状態を再構築するために必要なすべてのデータは、オンチェーンで公開されます。誰でも自分の StarkNet ノードを実行できます。これらのプロパティにより、StarkNet はイーサリアムと同じくらい安全でパーミッションレスになります。
Cairo
私たちは 3 年間開発に取り組んできましたが、「Moon Math」をイーサリアム上で動作する実稼働グレードの効率的なソフトウェアに変えるという点で、いくつかの注目に値するマイルストーンを達成しました。私たちのやり方は、まず難しい問題を解決し、コア技術を構築してから、それを徐々に製品化することです。 StarkNet が完成するまで、この方法で構築を続けていきます。
ステップ 0 — 基本
私たちは StarkNet のための重要な基礎を築きました。
Cairo は、一般的な計算用の STARK 証明を生成するためのチューリング完全な高水準言語およびフレームワークです。アプリケーション開発者は、Cairo を使用してビジネス ロジックを定義し、複雑な「回路」や AIR を手作りすることなくオフチェーンで証明および検証できるようになります。 Cairo はすでにメインネット上で稼働しており、開発者もそれを使用できます。
数週間以内に、パブリック イーサリアム テストネット上で Cairo General Proof Service (GPS) のアルファ版を開始する予定です。これにより、開発者は Cairo を使用して独自のアプリケーションを構築し、必要なビジネス ロジックを実装できるようになります。彼らはカイロ コードを検証のために GPS に送信し、その後オンチェーンに送信できます。
GPS は、完全に別個の独立したアプリケーションの実行整合性を確認する単一のプルーフを実装し、これらのアプリケーションがプルーフ検証にかかるガスコストを償却できるようにします。
カイロと GPS は StarkNet の基盤です。開発者を外部化するという私たちの決定により、開発者はテクノロジーに早期にアクセスできるようになり、開発を開始できるだけでなく、StarkNet の開発に影響を与える可能性があります。
私たちは開発者コミュニティのニーズとフィードバックに基づいて Cairo の開発を続けていきます。新しい機能、構文、組み込みプラグインで言語を強化して使いやすさを向上させ、コンパイラ、トレーサ/デバッガ、一般的な IDE との統合などの Cairo ツールの開発と改善を継続します。
StarkNet はバックグラウンドで Cairo を実行します。
STARK ソフトウェア スタック
StarkEx
私たちはエコシステム内で最も強力な証明システムを開発し、メインネット上で数か月間実行されています。また、他の証明プログラムより 20 倍高速なオープンソース証明プログラム ethSTARK も開発しました。これは、ゼロ知識署名とポスト量子安全署名の両方を提供します。
当社のスケーリング基準には、メインネット上の 1 つのプルーフで 300,000 のトランザクションを処理し、総スループットの世界記録である 300,000 tps を達成することが含まれています。その過程で、私たちは総ガス効率の世界記録を達成しました。つまり、イーサリアム L1 トランザクションよりも桁違いに安い 315 ガス/TX です。
このテクノロジーは StarkNet の分散型概念実証レイヤーの基礎となるため、StarkNet の開発の一環として、より多くの強化された実証を公開する予定です (詳細については、今後のブログ投稿を参照してください)。
StarkEx は、L2 スケーリング エンジンです。 2020 年 6 月から DeversiFi の顧客にメインネット サービスを提供しています。今後数週間で dYdX と ImmutableX を強化する予定です。 StarkEx は、支払いだけでなく、複雑な取引ロジック (スポット取引、デリバティブ、NFT) も処理できます。
StarkEx の開発は、ツールチェーンを拡張し、実際のニーズに対してテストするための方法です。実際のアプリケーションと実際のユーザーのニーズは、ツールが成熟し、最適に進化するのに役立ちます。また、ウォレットやブロックエクスプローラーとの統合など、エコシステムをより良く提供するために対処する必要がある要素を理解するのにも役立ちます。
StarkEx は、STARK ベースの ZK-Rollup を使用したアプリケーション機能のスケーリングの実例であり、メインネット上で書かれたカイロ初の実稼働アプリケーションです。したがって、これも StarkNet 上で実行されるアプリケーションの 1 つになります。
今後の展開路線
ステップ I - 惑星: 単一アプリケーションの概要
このステップにより、開発者は独自のスケーラブルなアプリケーションを StarkNet 上に構築してデプロイできるようになります。
この時点で、各 StarkNet インスタンスは 1 つのアプリケーションを実行できるようになります。異なるインスタンスでは異なるアプリケーションを実行できます。
StarkNet フレームワークには次のものが含まれます。
任意の Cairo ロジックに対する STARK 証明を生成し、イーサリアム上で送信して検証する仕組み。
L1イーサリアムとのインタラクション: L1トークンの入金、出金、オンチェーンデータのリリース、悪意のあるStarkNetオペレーターからStarkNetユーザーを保護するためのエスケープメカニズムなど。
L2 ユーザー残高、アプリケーションのストレージとメモリの管理。
開発者は、運用に入る前にアプリケーションのビジネス ロジックの構築、つまり StarkNet 上で大規模に展開して実行することに完全に集中できるようになります。
一般的なスケーラブルな ZK ロールアップを構築できるようにするものは次のとおりです。
Cairo、汎用のチューリング完全プログラミング言語
大量の計算を 1 つの証明にバンドルする強力な STARK スタック (証明者および検証者)
ステップ II - コンスタレーション: マルチアプリケーションの概要
次のステップは、同じ StarkNet インスタンス上で実行され、同じグローバル L2 状態にアクセスする複数のアプリケーションをサポートすることです。これにより、異なるアプリケーション間の相互運用性が可能になり、スケールメリットの向上によりガスコストが削減されます。
Cairo、強力な STARK スタック、および GPS は、マルチアプリケーションの集約をサポートする際の StarkNet の競争力を強化します。
現段階では、StarkNet は、イーサリアム上で任意のビジネス ロジックを備えた複数のアプリケーションを実行するための完全に機能するフレームワークとなり、各インスタンスはオペレーターによって実行されます。
オペレーターは、アプリケーション開発者がコントラクトを展開できる StarkNet ノードを起動できるようになりました。ユーザーの観点から見ると、StarkNet は現在イーサリアムと似ていますが、より規模が大きくなっています。
ステップ III - Cosmos: 分散型アグリゲーション
StarkNet の進化の最後のステップは、分散型運用を実現することです。
このフェーズに影響を与える現在私たちが取り組んでいる重要な研究開発課題には、(i) ZK-Rollups を使用して合意に達するためのメカニズムの改善、(ii) 分散型 StarkNet の貢献者やオペレーター (トランザクション シーケンサー、証明者など) を奨励するための暗号経済メカニズムの設計が含まれます。効率的に、公平に、そして安全に運営するために。
