並列のレーン。一つの決定論的な答え。

数百の独立した実行レーンが、フィールド全体を並列に進み、検証のリングを通過し、一つのファイナリティビーコンへと収束します。並列レーンは、独立した状態が同時に実行される様子を示し、ビーコンは、すべてのレーンを一つの順序付けられたファイナルな状態へと結びつけるQSEの証明書を表します。

1. 01

   検証

   署名は、受付の段階でスケジューリングの前にバッチ単位で確認されるため、レーンは検証ではなく実行に時間を使えます。

2. 02

   宣言

   各トランザクションは、それが触れるアカウント、オーダーブック、コントラクトストレージという、読み取り・書き込み集合を伴います。

3. 03

   スケジューリング

   決定論的スケジューラーが、順序付けられたバッチ全体にわたって競合グラフを構築します。独立したトランザクションは別々のレーンに割り当てられ、競合するものは正規の順序で一つのレーンを共有します。

4. 04

   実行

   レーンはレーン固有の状態に対して並列に実行され、レーン間のロックを伴わずに状態の変動を生成します。

5. 05

   マージ

   変動は正規の順序で結合され、一つの状態コミットメントになります——これは、そのバッチを直列に実行した場合と同じルートです。

6. 06

   ファイナライズ

   QSEのバリデーターがそのコミットメントを再導出し、証明します。すべてのレーンが、一つのグローバルに順序付けられたファイナルな状態の一部になります。

7. 07

   ストリーム

   ファイナライズされた変更は、順序付けられた出力として、インデクサー、Orbitra Prime、APIへストリーム配信されます。そのため、利用者は状態をポーリングするのではなく、それに追随できます。

• 直列等価性いくつのレーンが動いていても、コミットされる状態は、正規の順序で直列に実行した場合に生じる状態と同一です。どのバリデーターも、再現によってこれを確認できます。
• 宣言されたアクセスの強制宣言された集合の外で読み取りまたは書き込みを行うトランザクションは、決定論的に失敗します。隠れた依存関係が、隣接するレーンを損なうことはありません。
• 競合の隔離多数のトランザクションが同じ状態——活発な市場や人気のコントラクト——を対象とする場合、それらは一つのレーンで直列化されます。無関係なレーンは、影響を受けずに継続します。
• 計量されたリソース計算とストレージは明示的に価格付けされるため、いかなるワークロードも、消費する処理能力の対価を払わずにレーンを独占することはできません。
• クォーラムによる確認済みコミットメント状態コミットメントがファイナルになるのは、QSEのクォーラムがそれを独立して再現した後だけです。逸脱した実行者は、ファイナリティの後ではなく、その前に検知されます。

トレーダーと利用者

自分の注文が、無関係な活動の後ろで待たされることはなく、目にする状態は、すべてのバリデーターが合意するファイナライズ済みの状態です。

機関

処理能力は、独立した市場とアプリケーションの数に応じて拡大し、すべての結果は、監査と突合のために再現可能なままです。

開発者

並列性を意識して状態を設計すれば、スケジューラーがそれに応えます。決定論的なセマンティクスのもとでは、検討すべき競合状態は残りません。競合は順序付けられ、競走することは決してありません。

• QSEQuorum-Staked Executionコンセンサス。
• ApexMatch決定論的なネイティブマッチングエンジン。
• NexusWASMネイティブWebAssemblyコントラクト環境。
• Prism信頼できる市場データのためのオラクルメッシュ。