我們要解決的問題
許多區塊鏈虛擬機主要處理短時、有序的狀態更新。ALUX 將這一模型擴充到需要等待、恢復、協作或跨越區塊邊界的工作流程。
- 區塊鏈本質上是狀態轉換機器。
- 許多現有區塊鏈虛擬機主要處理範圍較窄的短時、有序狀態轉換。
要點：許多公鏈以短時狀態更新為中心；ALUX 在此基礎上加入可重播的長交易。
ALUX：面向長交易的分佈式執行階段
ALUX 在一次性狀態更新之外，進一步建模平行、併發與複合狀態轉換。
ALUX 不再把每筆交易視為一次短小、孤立的狀態更新，而是把執行建模為一個可以協調平行、併發與複合轉換的執行階段。
要點：平行讓獨立任務同時推進，併發支援等待與恢復，組合則定義相關狀態變化應如何共同結算。
執行模型
平行執行：
目前可讓隔離的 EVM 實例平行執行。WASM 屬於規劃中的異構虛擬機方向。
併發執行：
ALUX 讓交易（TX）像 協程 一樣執行：它們可以掛起、喚醒，並彼此交錯推進。執行順序可以是非確定的，但重播結果是確定的。
複合轉換：
交易可跨越多個區塊高度，在 ALUX 交易邊界內保持隔離性與原子結算，同時協調鏈上工作和可重播的 HTTPS 外部效果。跨分片組合仍屬於架構與路線圖。
複合狀態轉換與相容性
交易可跨越多個區塊高度，在 ALUX 交易邊界內保持隔離性與原子結算，同時協調鏈上工作和可重播的 HTTPS 外部效果。跨分片組合仍屬於架構與路線圖。
ALUX 目前透過沙箱和 Ethereum JSON-RPC 提供 EVM 執行路徑。WASM 與更廣泛的異構虛擬機組合仍在規劃中，目前基線尚未交付。
要點：ALUX 目前支援跨區塊執行與可重播的 Web 2 I/O；跨分片組合仍在規劃中。
簡而言之，ALUX 不會強迫每個工作流程都壓縮成一筆短交易。ALUX 目前可讓跨區塊、連接 Web 2 的長交易得到重播；跨分片及更廣泛的跨執行環境組合仍屬於架構與路線圖。