ALUX Network

構建全域虛擬機

設想一個無處不在的邏輯虛擬機——它可以執行在公有區塊鏈、私有叢集,以及手機、瀏覽器等客戶端環境中,而底層的狀態、執行緒、複製與共識都封裝在統一抽象之下。開發者只需編寫一套併發程式;在哪裡執行,只是設定選擇,而不再受限於特定架構。各部分仍會共同提交,形成一個原子結果。這就是虛擬機抽象,也是 ALUX 正在構建的系統。

一個邏輯執行層 物理分佈執行

全域邏輯虛擬機(GLVM)在多台 TVM 之上,為開發者提供一套統一的併發執行模型。ALUX 鏈上執行階段構成目前基礎;私有雲端是下一步整合方向,客戶端設備部署仍屬於路線圖。

世界操作系統

服務 / AI Agent 註冊與發現 / 服務 / AI Agent編排 / 可編程能力

ALUX —— 去中心化併發執行階段

GLVM / 狀態 + 執行緒 / 複製 / 共識

物理基礎設施

公有區塊鏈 / 私有叢集 / 客戶端硬體

世界操作系統

服務 / AI Agent
註冊與發現
服務 / AI Agent編排
可編程能力

ALUX —— 去中心化併發執行階段

GLVM
狀態 + 執行緒
TVM
複製
TVM
共識
TVM

每台機器執行一個 TVM;它們共同構成 GLVM。

物理基礎設施

公有區塊鏈

區塊鏈節點

TVM
TVM
TVM
私有叢集

雲端 / 企業節點

TVM
TVM
TVM
客戶端硬體

手機 / 瀏覽器

TVM
TVM
TVM

ALUX 能力地圖

將模組拖入 ALUX 執行階段,查看它們如何在同一個 GLVM 模型中組合。
雙擊任意卡片可查看更深入的說明。

輕觸一次,打開模組的深入說明。
連續輕觸兩次,將模組接入 ALUX 執行階段,並查看它在組合虛擬機中的作用。

拖進 ALUX 執行階段雙擊查看詳細資訊輕觸一次 · 查看詳情連續輕觸兩次 · 連接 執行階段
執行階段連接把模組接入 ALUX

將模組拖放到 ALUX 執行階段,查看它如何在 GLVM 中與其他模組組合。

雙擊卡片可翻到背面,閱讀這個模組的作用、重要性和現實影響。

應用場景

在 ALUX 上你能構建什麼

構建能夠在等待期間保留上下文、協調平行工作,並最終結算為一個結果的工作流程。目前能力與路線圖目標會分別標注。

01

鏈上長時執行的 AI Agent

一個工作流程平行啟動多個 Agent。部分 Agent 呼叫 Claude API,其他步驟則等待使用者輸入。主 Agent 只有在所有分支完成後才會繼續,即使整個工作流程持續約 30 分鐘也是如此。Claude 與使用者輸入在應用層接入;ALUX 提供持久化的分叉、等待、匯合、能力傳遞與可重播執行。

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 Agent?
鏈上AI Agent天然是一筆長交易。呼叫 LLM 或工具需要時間,等待人工回應同樣需要時間;這類工作流程無法被壓縮成瞬時完成的單區塊呼叫。ALUX 使其能夠保留執行上下文、掛起,並在輸入到達後恢復,協調併發AI Agent,再透過可重播執行完成最終確定。
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 方法提供兼容以太坊的視圖。