StarkEx は、許可されたアプリケーション固有のスケーリング ソリューションを作成するためのフレームワークです。これは、プロジェクトがコスト効率の高いオフチェーン計算を実現するために使用できる便利なアプリケーション フローのツールボックスです。実行の正確性を証明する STARK 証明は、オフチェーンで生成されます。トランザクションの種類に応じて、この証明には最大 12,000 ～ 500,000 件のトランザクションを含めることができます。その後、証明は STARK 検証者に送られ、オンチェーンで受け入れられます。つまり、すべてのトランザクションに対して 1 回の検証が必要になり、トランザクションあたりの償却ガス コストは驚くほど低くなります。