私たちが解く課題
多くのブロックチェーン VM は、短く順序付けられた状態更新を中心に設計されています。ALUX はそのモデルを、待機、再開、協調、ブロック境界の横断が必要なワークフローへ拡張します。
- ブロックチェーンは本質的に状態遷移マシンです。
- 現在の多くのブロックチェーン VM は、短く順序付けられた、より限定的な遷移を中心に扱います。
要点：多くのチェーンは短い状態更新を中心に据えますが、ALUX はリプレイ可能な長期トランザクションを加えます。
長期トランザクション向け分散ランタイムとしての ALUX
ALUX は、一度きりの状態更新を超えて、並列・並行・複合の遷移パターンをモデル化します。
ALUX は各トランザクションを短く孤立した状態更新として扱うのではなく、並列、並行、複合の遷移を調整できるランタイムとして実行をモデル化します。
要点：並列性は独立した処理を進め、並行性は待機と再開を可能にし、コンポーザビリティは関連する効果をどのように一体で確定するかを定めます。
実行モデル
並列実行：
分離された EVM インスタンスは、現在すでに並列実行できます。WASM は、計画中の異種 VM 対応に含まれます。
並行実行：
ALUX では TX を コルーチンとして実行でき、一時停止、再開、相互のインターリーブが可能です。実行順は非決定的でも、リプレイは決定的に行われます。
複合遷移：
TX はブロック高をまたぎ、ALUX のトランザクション境界内で分離性と アトミックな決済を保ちながら、オンチェーン処理とリプレイ可能な HTTPS 効果を協調させられます。シャード間コンポーザビリティは、引き続きアーキテクチャとロードマップの一部です。
複合状態遷移と互換性
TX はブロック高をまたぎ、ALUX のトランザクション境界内で分離性と アトミックな決済を保ちながら、オンチェーン処理とリプレイ可能な HTTPS 効果を協調させられます。シャード間コンポーザビリティは、引き続きアーキテクチャとロードマップの一部です。
ALUX は現在、サンドボックスと Ethereum JSON-RPC を通じて EVM 実行経路を提供しています。WASM と、より広範な異種 VM 間コンポーザビリティは計画段階であり、現行の基準版には実装されていません。
要点：ALUX は現在、クロスブロック実行とリプレイ可能な Web 2 I/O に対応しています。シャード間コンポーザビリティは計画段階です。
要するに、ALUX はあらゆるワークフローを短いトランザクションに押し込めません。現在すでに、ブロックをまたぎ Web 2 と連携する長期トランザクションをリプレイ可能にしています。一方、シャード間およびより広範なランタイム間のコンポーザビリティは、引き続きアーキテクチャとロードマップに含まれます。