STARKs: ブロックチェーンの拡張を実現するための効率的な証明計算による完全性
StarkEx: 特定のアプリケーションのための拡張エンジンです
Starknet: 許可なしで、スマートコントラクトの第二層ネットワークです
STARKs
STARKs（Scalable, Transparent ARgument of Knowledge、スケーラブルで透明な知識の論証）は、計算の証明と検証を可能にする証明システムです。これにより、大規模な計算を処理し、計算の正確性を証明し、その証明を非常に少ないステップで検証することができます。
STARKs は、ブロックチェーンの拡張性に重要な役割を果たすことができます。大規模な計算をオフチェーンで行い、コストを低く抑え、チェーン上での検証のみを行うことができます。検証に必要な計算は、元の計算の一部に過ぎません。つまり、非常に少ないステップで、検証者はオフチェーンで行われた大量の計算の完全性を主張することができます。
STARKs を使用することで、第二層のソリューションは数千から数万のトランザクションを一括処理し、単一の STARK 証明を使用してその有効性をチェーン上で検証することができます。バッチ内のすべてのトランザクション間でチェーン上の処理コストが分散されます。これにより、イーサリアムのセキュリティとトランザクションごとのガスコストが低下します。
低い計算コストにより、これまでチェーン上では実現不可能だったアプリケーションが可能になります。これらの特性により、STARKs はユーザーエクスペリエンスの向上とガスコストの削減に優れた構築ブロックとなりますが、同時にイーサリアムの決済層のセキュリティを維持します。
StarkWare は、STARKs を使用したイーサリアムの拡張ソリューションである StarkEx と Starknet の 2 つのオプションを提供しています。
StarkEx
StarkEx は、許可された特定のアプリケーションのための拡張ソリューションのフレームワークです。StarkEx は、低コストのオフチェーン計算を実現するための有用なアプリケーションツールキットであり、プロジェクトはそれを使用して正確性を証明する証明を生成します。このような証明には、トランザクションの数が 12,000 から 500,000 件含まれることがあります（トランザクションの種類によります）。その後、証明を STARK バリデータに送信してチェーン上で受け入れられるようにします。これにより、すべてのトランザクションは一度だけ検証され、トランザクションごとのガスコストが非常に低くなります。
StarkEx に展開されたいくつかのアプリケーションの例には、dYdX（永続的な取引）、Immutable および Sorare（NFT の鋳造と取引）、DeversiFi（現物取引）、Celer（DeFi プーリング）があります。
StarkWare は、市場と顧客の要求に応えるために、StarkEx にさらなるアプリケーションフローを追加し続けています。
Starknet
Starknet は、許可なしの第二層ネットワークであり、ユーザーや開発者は Cairo 言語で開発されたスマートコントラクトを展開できます。
イーサリアムのスマートコントラクト体験に似ていますが、Starknet のエコシステム内では、あなたのコントラクトは Starknet 上に展開された他のコントラクトと対話することができ、高度に組み合わせ可能なプロトコルを実現することができます。Starknet コントラクトはまた、非同期メッセージングを介してイーサリアムのコントラクトと対話することもできます。
StarkEx とは異なり、StarkEx ではアプリケーションがトランザクションを提出するのに対し、Starknet ではシーケンサがトランザクションを一括処理し、処理と証明を送信します（Starknet のシーケンサは現在 StarkWare が運営しており、将来的には非中央集権化される予定です）。これは、アプリケーションが自分の Cairo コントラクトを展開した後は、追加のオペレータインフラストラクチャを実行する必要がないことを意味します。Starknet は、ロールアップのデータ可用性モデルをサポートしており、ロールアップの状態と STARK 証明がイーサリアムに書き込まれます。
多くの開発者コミュニティが Starknet エコシステムの構築に積極的に参加しており、DeFi、ゲーム、投票、AI などのアプリケーションがテストネット上で展開されています。さらに、ブロックエクスプローラ、ローカルテスト環境、SDK などの開発ツールも、Starknet コミュニティによって構築されています。また、Shamans プラットフォームで積極的なディスカッションが行われており、改善提案、潜在的な機能、ベストプラクティスについて議論されています。
まとめ
StarkEx と Starknet は、STARK を基にした拡張ソリューションです。両者ともスケーラビリティ、低ガスコスト、セキュリティを提供しますが、異なる操作要件と相互運用モードを持っています。StarkEx の提供する API に適合し、自己完結型であるほとんどのアプリケーションにとっては、StarkEx が適切な解決策かもしれません。他のプロトコルとの同期や StarkEx の提供範囲を超える要件がある場合には、Starknet の方が適しているかもしれません。
STARKs は、イーサリアム上でアプリケーションを構築する方法を革新しました。StarkEx と Starknet は、以前実現不可能だったアプリケーションをサポートし、ブロックチェーンの可能性の限界を押し上げ続けます。