すべてのコントラクトが、触れられる範囲を宣言する。

この図は、サンドボックスの内部に封じられた一つのNexusWASMコントラクトを示しています。その周囲には、宣言された権限——ネイティブな市場モジュールを含む——だけが存在し、それ以外には到達できません。呼び出しの実行中、二つのメーターが計算とストレージを個別に追跡し、コントラクトが宣言した状態アクセスはスケジューラーに渡され、無関係な処理と並行して実行されます。

1. 01

   ビルド

   Rust、C/C++、あるいはWebAssemblyを対象とする他の言語が、NexusSDKのインターフェースに対してコンパイルされ、モジュールと、要求する権限（ケイパビリティ）の一覧を生成します。

2. 02

   検証

   モジュールが実行される前に、ネットワークがそれを確認します。決定論的な命令のみが受け入れられ、すべてのインポートは宣言された権限と一致していなければならず、リソースの上限はコードハッシュに紐づけて記録されます。

3. 03

   付与

   資産を保有する、市場モジュールを呼び出す、価格フィードを読み取る、他のコントラクトを呼び出すなど、要求された各権限は、そのコントラクトのアドレスに紐づけられます。付与されていないものは、そのコントラクトにとって単に存在しません。

4. 04

   宣言

   すべてのトランザクションは、読み取りと書き込みを行う状態を列挙します。決定論的スケジューラーはこの集合を用いて、競合しないトランザクションを並列レーンに配置します。

5. 05

   実行

   モジュールは計量されたサンドボックスの中で動作します。計算は命令の実行に応じて課金され、ストレージは状態の書き込みと保持に応じて課金されます。宣言された集合の外へのアクセスは、呼び出しを中止させ、その影響を取り消します。

6. 06

   ファイナライズ

   結果は、ブロック内の他の状態遷移とともにコミットされ、QSEのクォーラムがそれを証明したときにファイナルになります。

• サンドボックスの隔離各コントラクトは、独自の線形メモリの中で動作し、ホストのメモリ、他のコントラクトのメモリ、バリデーターの環境にはアクセスできません。範囲外へのアクセスはトラップされ、呼び出しは取り消されます。
• 最小権限権限は明示的かつ限定的です。価格フィードの読み取りを許されたコントラクトは資産を動かせず、一つの資産の移動を許されたコントラクトは別の資産を動かせません。
• 範囲が限定された実行計量によって、すべての呼び出しに上限が設けられます。暴走するループ、深い再帰、過大な書き込みは、決定論的なリソース不足という結果に終わり、呼び出し元に課金され、状態はロールバックされます。
• アクセス集合の強制宣言された集合の外の状態に触れるトランザクションは中止されます。そのため、並列スケジューリングがレーン間の競合を隠すことは決してありません。
• 市場のガードレールコントラクトが発した注文は、他のいかなる発注元からの注文とも同じ、Aegisの取引前リスクチェックとポリシー上の上限を通過します。コントラクトが得るのは市場へのアクセスであり、その管理策を回避する手段ではありません。

トレーダーと利用者

宣言した範囲を超えて到達できないアプリケーションです。コントラクトの権限とアップグレードポリシーは、それと関わる前に確認できるため、自分の資産に対して何ができるのかをあらかじめ把握できます。

機関

審査可能な実行モデルです。権限一覧、コードハッシュ、アップグレードポリシーは、リスクおよびコンプライアンスチームが評価できる具体的な対象物であり、決定論的な実行により、いかなる結果も再現できます。

開発者

使い慣れた言語、明示的なコスト、市場インフラへの直接アクセスです。RustまたはC/C++で構築し、デプロイ前にリソースコストを確認し、オーダーブック、リスクチェック、価格フィードを型付きインターフェースとして呼び出せます。まずは開発者向けゲートウェイから始めてください。

• EVM Capsule境界で隔離して提供するEthereum互換性。
• VectorLanes並列実行レーンから、一つの確定状態へ。
• VaultIDプライバシーに配慮したIDと権限。
• ApexMatch決定論的なネイティブマッチングエンジン。