ALUX Network

构建全局虚拟机

设想一个无处不在的逻辑虚拟机——它可以运行在公有区块链、私有集群,以及手机、浏览器等客户端环境中,而底层的状态、线程、复制与共识都封装在统一抽象之下。开发者只需编写一套并发程序;在哪里运行,只是配置选择,而不再受限于特定架构。各部分仍会共同提交,形成一个原子结果。这就是虚拟机抽象,也是 ALUX 正在构建的系统。

一个逻辑执行层 物理分布运行

全局逻辑虚拟机(GLVM)在多台 TVM 之上,为开发者提供一套统一的并发执行模型。ALUX 链上运行时构成当前基础;私有云是下一步集成方向,客户端设备部署仍属于路线图。

世界操作系统

服务 / 智能体 注册与发现 / 服务 / 智能体编排 / 可编程能力

ALUX — 去中心化并发运行时

GLVM / 状态 + 线程 / 复制 / 共识

物理基础设施

公有区块链 / 私有集群 / 客户端硬件

世界操作系统

服务 / 智能体
注册与发现
服务 / 智能体编排
可编程能力

ALUX — 去中心化并发运行时

GLVM
状态 + 线程
TVM
复制
TVM
共识
TVM

每台机器运行一个 TVM;它们共同构成 GLVM。

物理基础设施

公有区块链

区块链节点

TVM
TVM
TVM
私有集群

云端 / 企业节点

TVM
TVM
TVM
客户端硬件

手机 / 浏览器

TVM
TVM
TVM

ALUX 能力地图

将模块拖入 ALUX Runtime,查看它们如何在同一个 GLVM 模型中组合。
双击任意卡片可查看更深入的说明。

轻触一次,打开模块的深入说明。
连续轻触两次,将模块接入 ALUX Runtime,并查看它在组合虚拟机中的作用。

拖进 ALUX Runtime双击看为何重要轻触一次 · 查看详情连续轻触两次 · 连接 Runtime
运行时连接把模块接入 ALUX

将模块拖放到 ALUX Runtime,查看它如何在 GLVM 中与其他模块组合。

双击卡片可翻到背面,阅读这个模块的作用、重要性和现实影响。

应用场景

在 ALUX 上你能构建什么

构建能够在等待期间保留上下文、协调并行工作,并最终结算为一个结果的工作流。当前能力与路线图目标会分别标注。

01

链上长时运行的 AI Agent

一个工作流可以并发启动多个 Agent。部分 Agent 调用 Claude API,部分步骤等待用户输入;主 Agent 在所有分支完成后才继续执行。即使整个流程持续约 30 分钟,也不必重启。Claude API 与用户输入通过应用层接入;ALUX 提供持久化的 fork、wait、join、能力传递与可重放执行。

durable-agent.tox运行时 + 应用集成
分叉 Agent调用 Claude等待用户输入汇合全部结果继续执行
02

聚合三家交易所 BTC 价格的合约

合约通过已配置的外部 I/O 适配器,并发读取 Binance、Coinbase 和 Kraken 的 BTC 报价。第四个进程等待前三个全部返回,随后汇合结果、统一报价格式、计算中位价,再继续执行。ALUX 让执行过程可复现;数据源及其可信度仍由集成方选择。

btc-median.tox受支持的 I/O 路径
BINANCE
COINBASE
KRAKEN
汇合 → 中位数
03

跨分片原子执行

分片 A 上的合约 a 付款购买分片 B 上合约 b 管理的门票。若 b 因门票已售出而失败,a 的付款也会回滚;只有两边都成功时,付款与门票所有权才一起提交。其他交易不会看到只完成一半的状态。跨分片原子执行仍属于路线图,当前尚未上线。

跨分片票务结算路线图
付款 / A原子关联票券 / B
两者一同提交或一同中止
04

可组合规则的可编程资金

Alice 把一个装有 1 ALUX 的钱包交给 Bob,并规定这笔资金只能在 10 天内使用。Bob 将同一个钱包交给 Carole 时,又增加一条“仅限购书”的规则。Carole 必须同时遵守这两项限制,转交钱包也不会复制其中的资金。这里的期限与用途限制由应用逻辑执行。

装有 1 ALUX 的钱包应用逻辑
Alice10天内使用
Bob仅限购书
Carole两项规则同时生效
突破一次性交易的边界

探索支撑长时间运行工作流的运行时原语。

使用 Runtime Lab 检视 ALUX 执行模型中的分叉、等待、汇合、外部输入、重放与原子终结。

打开 Runtime Lab

常见问题

常见问题

点击问题查看答案

ALUX 能实现哪些普通智能合约做不到的事?
ALUX 将智能合约模型扩展为面向长时间任务的去中心化持久执行引擎。工作流可以运行并发进程、跨区块挂起、等待外部工具或人工响应、恢复执行并汇合结果,同时不暴露半完成状态。由运行时介导的外部通道可与受支持的链下服务交互,无需单独编排预言机与中继器。该架构旨在把同一种原子模型横向扩展,使跨分片影响一同提交或一同中止;跨分片执行仍在路线图中。
为什么 ALUX 天然适合 AI 智能体?
链上智能体天然是一笔长交易。调用 LLM 或工具需要时间,等待人工响应同样需要时间;这类工作流无法被压缩成瞬时完成的单区块调用。ALUX 使其能够保留执行上下文、挂起,并在输入到达后恢复,协调并发智能体,再通过可重放执行完成最终确定。
ALUX 只是又一条更快的 L1 吗?
不是。更快的 L1 加速的是同一种抽象:发生在单个区块内的一次性状态更新。ALUX 是面向长交易(Long Transaction)的去中心化并发运行时;交易可以等待、恢复、汇合多个通道,或选择第一个就绪的通道,其状态更新不再受区块边界限制。通过 GLVM 架构——虚拟机抽象——同一笔逻辑交易被设计为能够越过区块边界,并进一步延伸到分片与系统边界。
其他一些区块链也声称支持跨区块交易,ALUX 有何不同?
关键词是原子性。

补偿 / Saga: commit → commit → ✗ fail → run compensating undo
每一步都在本地提交,中间状态可见,补偿本身也可能失败,而且外部影响并非总能撤销。这属于最终一致性。包括 ICP 与 Rialo 在内的一些异步区块链采用了这一模型。它更容易实现,却不适合需要更强 ACID 保证的应用。

ALUX 全有或全无: stage → stage → ✗ fail → discard everything
只有整笔交易提交时,任何内容才会提交。发生中止时,未提交的影响会被全部丢弃,不会暴露任何局部状态。这才是跨区块高度的真正 ACID 原子性。
ALUX 如何保证长交易的确定性?
ReplayTrie 记录会影响执行结果的非确定性 COMM 选择,使验证者能够在 ALUX 运行时边界内逐比特精确地重放同一执行结果。
什么是对象能力(OCAP)?
对象能力(OCAP)是一种安全模型:一段代码只有在被明确授予某项资源的引用(即能力)后,才能访问该资源。在 OCAP 系统中,同一个对象引用既标识资源(designation),也授予使用该资源的权限(authorization)。
为什么 OCAP 是一种更强且可组合的安全模型?
对象能力(OCAP)之所以是一种更强的安全模型,是因为权限由显式且不可伪造的能力来表示,而不是依赖全局身份或访问控制列表。它遵循“指称即授权”(designation is authorization)原则:持有某项能力既标识相应资源,也授予使用该资源的权限,从而消除环境权限(ambient authority)并缩小攻击面。由于能力可以被安全地委托、衰减和撤销,安全策略会局部化到相关对象,而不是散落在中心化权限系统中。这使 OCAP 天然具备可组合性:复杂应用、智能合约和 AI Agent 工作流可以由各自安全的组件构建,同时仍然遵循最小权限原则。
ALUX 原生支持 OCAP 意味着什么?
ALUX 的元组空间虚拟机(TVM)在字节码层直接实现对象能力(OCAP)模型。其指令集不包含任何可伪造或任意构造对象引用的操作,因此能力只能通过显式委托获得。这保证了所有权限既不可伪造,也只能被明确转移。
现有智能合约开发者能直接用吗?
TVM 在隔离沙箱中运行 EVM 字节码,因此大多数 EVM 合约只需少量修改即可迁移到 ALUX。ALUX 还通过一组常用的 eth_* JSON-RPC 方法提供兼容以太坊的视图。