STARKs（Scalable, Transparent ARgument of Knowledge）は、計算の証明と検証を可能にする証明システムです。大規模な計算を処理し、計算の正確性を証明し、その証明を非常に少ないステップで検証することができます。
STARKs はブロックチェーンのスケーラビリティに重要な役割を果たし、大規模な計算をオフチェーンで処理し、コストを低く抑え、チェーン上での検証のみを行います。つまり、非常に少ないステップでチェーン上で実行された大量の計算の完全性を検証者が主張することができます。
STARKs を使用することで、第二層のソリューションは数千のトランザクションを一括処理し、単一の STARK 証明を使用してその有効性をチェーン上で検証することができます。バッチ内のすべてのトランザクションの間でチェーン上の処理コストが分散されます。これにより、イーサリアムのセキュリティとトランザクションごとのガスコストが低下します。
低い計算コストにより、これまでチェーン上では実現不可能だったアプリケーションが可能になります。これらの特徴により、STARKs はユーザーエクスペリエンスの向上とガスコストの削減に優れた構築モジュールとなり、同時にイーサリアムの決済層のセキュリティを維持します。
StarkWare は、STARKs を使用してイーサリアムを拡張する 2 つのソリューション、StarkEx と Starknet を提供しています。
StarkEx は、許可された特定のアプリケーションのための拡張ソリューションのフレームワークです。StarkEx は、低コストのオフチェーン計算を実現するための有用なアプリケーションツールボックスであり、証明の生成と実行の正確性を含みます。このような証明には、トランザクションの数が 12,000 から 500,000 件まで含まれることがあります（トランザクションの種類によります）。その後、証明を STARK バリデータに送信してチェーン上で受け入れられます。これにより、すべてのトランザクションは一度だけ検証され、トランザクションごとのガスコストが非常に低くなります。
StarkEx に展開されたいくつかのアプリケーションの例には、dYdX（永続的な取引）、Immutable、Sorare（NFT の鋳造と取引）、DeversiFi（現物取引）、Celer（DeFi プーリング）などがあります。
StarkWare は、市場と顧客の要求に応えるために、StarkEx にさらなるアプリケーションフローを追加し続けています。
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 は、以前不可能だったアプリケーションをサポートし、ブロックチェーンの可能性の限界を押し上げ続けます。