並列処理が決定論的なまま保たれるレイヤー。

実行レイヤーは、三つの部分を組み合わせます。レーン自体、それにトランザクションを供給する決定論的スケジューラー、そしてNexusWASMコントラクト実行環境です。スケジューラーは、各トランザクションが宣言する状態を読み取り、トランザクションがどこで競合するかを対応付け、独立した処理を別々のレーンに割り当てます。共有状態に触れる処理は、順序付けられ、決して競走させられません。

このレイヤーの上では、ApexMatch、Aegis、Prismが、約定、証拠金の変動、ファンディング、オラクルの更新といった状態遷移を生成します。その下では、QSEが結果を証明し、データレイヤーが状態ルートをコミットしてインデックス出力をストリーム配信します。VectorLanesは、1,000,000TPSの最大処理能力のアーキテクチャが形をとる場所です。設計上の構成における256以上の並列レーン、バッチ単位の署名確認、ローカルな状態アクセスです。

並列性が答えを変えることは決してありません。すべてのバリデーターが、同じ入力に同じスケジュールを適用し、クォーラムが署名する前に、同じ状態ルートに到達しなければなりません。