我们要解决的问题
许多区块链虚拟机主要处理短时、有序的状态更新。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 的长交易得到重放；跨分片及更广泛的跨运行时组合仍属于架构与路线图。