2027 年第一季度Q1
計劃中
- 使用 Lean 對關鍵系統性質進行形式化證明（計劃中）
- 測試網上線（計劃中）
ALUX
路線圖
最後更新：2026年10月5日
2027 年
2027
2026 年
2026
2026 Q4Q4
計劃中
- 實作邏輯時鐘和隔離級別強制機制（WIP）
- 類 GDB 的 TVM 調試與可觀測性工具（WIP）
- 完成成本核算模型（WIP）
- 整合以太坊工具鏈（WIP）
- 實作並測試權益證明（PoS）合約（計劃中）
- 實作同步與故障恢復機制（計劃中）
- 實作垃圾回收（計劃中）
- 交付 Solidity 示例，展示智慧合約/AI Agent編排 （async/await、join、select）（計劃中）
2026 Q3Q3
已完成
- 在現有非同步函式之外支援同步函式，並支援閉包與部分應用（已完成）
- 初步實作系統註冊表、帳戶抽象，以及能力申領與委託合約（已完成）
- 簡化 TVM 任務排程器，使併發執行更易於測試（已完成）
- 基於賬本跟蹤執行上下文，確保嵌套上下文中的可靠回滾（已完成）
- 用於驗證編譯器輸出的 Tolang 參考解釋器（已完成）
- Tolang 程式碼格式化工具、tolang! Rust 宏，以及 IDE 的跳轉到定義和重命名功能（已完成）
- TypeScript API 客戶端，類型化綁定由節點的 RPC 介面產生（已完成）
- 新的 TVM 解釋器，支援嵌套集合、循環、閉包及初步的 gas 計量（審核中）
- 新的基於 Trap 的 EVM 沙箱（進行中）
2026 Q2Q2
已完成
- 原生 Tolang 解析器（已完成）
- Tolang 編譯期常量支援（已完成）
- Tolang 語言伺服器與 Tolang VS Code 擴充（已完成）
- 重構了測試架構（已完成）
- 對包含共識層在內的整個系統進行完整端到端整合測試（已完成）
- 完成 API 實作（已完成）
- 開發節點 CLI（已完成）
- 用於跨區塊執行與原子最終化可視化的定製區塊鏈瀏覽器（已完成）
- 新的基於 Trap 的 EVM 沙箱（進行中）
- 整合 Ethereum 工具鏈（進行中）
2026 Q1Q1
已完成
- 簡化跨區塊執行的重播機制（已完成）
- 引入新的 EVM 沙箱，以提升效率並簡化實作（已完成）
- 重構 TVM 共識、資料庫和架構，以提升模組化程度（已完成）
- 實作惰性驗證節點的跨區塊執行與重播測試（已完成）
- 開發 TupleSpace Explorer，用於可視化狀態和執行進度（已完成）
2025 年
2025
2025 Q4Q4
已完成
- 測試無共識條件下的跨區塊執行（已完成）
- 重構 TVM 架構以提升模組化程度（進行中）
- 規範並實作 API 端點（進行中）
- 設計邏輯時鐘和隔離級別強制機制（已完成）
2025 Q3Q3
已完成
- 實作跨多個區塊與最終確認 Fringe 的長交易執行、喚醒、打包和重播機制（已完成）
- 重構資料庫模組以提升效能和效率（進行中）
- 重構 TVM 架構以提升模組化程度（進行中）
2025 Q2Q2
已完成
- 在 BlockGit 協議中實作並測試 Weaklink（已完成）
- 引入簡單通道行為類型，以簡化 TVM 架構並提升可靠性（已完成）
- 引入隨機產生 Tolang 程式碼的測試架構並整合 CI（已完成）
- 重構重播邏輯（已完成）
2025 Q1Q1
已完成
- 將整個系統重構為事件驅動架構，以最大化併發地支援併發交易執行、區塊重播和區塊提議（已完成）
- 實作 RPC 端點，並更新 BlockGit 以處理缺失區塊（已完成）
- 修復 BlockGit 記憶體泄漏並提升效能（已完成）
- 將 Weaklink 引入 BlockGit 協議並完成部分實作（已完成）
2024 年
2024
2024 Q4Q4
已完成
- 將 BlockGit 整合到節點平台（已完成）
- 在 Docker 網路上測試共識協議（已完成）
- 在區塊合併中實作衝突解決演算法（已完成）
- 重構儲存模組以支援查詢和狀態承諾（已完成）
2024 Q3Q3
已完成
- 支援回滾部分執行的執行上下文（已完成）
- 設計並初步實作新的共識協議 BlockGit（已完成）
- 用於測試共識協議實作的離散事件模擬器（已完成）
- P2P 模組，並完成 BlockGit 初步整合（已完成）
2024 Q2Q2
已完成
- 重構並統一 元組空間 的執行與重播邏輯（已完成）
- 實作外部 HTTPS 呼叫的執行與重播，展示無需預言機/中繼器即可主動協作 Web 2.0 系統的能力（已完成）
- Blocklace 共識協議初步實作（已完成）
- 重新設計狀態管理以降低記憶體使用（已完成）
- 設計用於強制執行隔離級別的邏輯時鐘資料結構與演算法（已完成）
2024 Q1Q1
已完成
- 全域註冊表實作與測試（已完成）
- Tolang 與 TVM 的函式式編程支援（已完成）
- 在併發 TVM 上支援執行緒安全的順序計算（已完成）
- 初步 EVM 相容性測試（已完成）
- 實作 EVM 狀態儲存，以支援讀已提交隔離級別（已完成）
- 重構程式碼，並對 TVM 的正確性與可重播性進行全面測試（已完成）
2023 年
2023
2023 Q4Q4
已完成
- 實作新的任務管理器，以改善錯誤處理並支援執行緒局部性（已完成）
- 透過引入順序計算支援提升效能（已完成）
- 特殊通道類型測試（已完成）
- 使用特殊通道類型簡化重播日誌（已完成）
2023 Q3Q3
已完成
- 儲存層測試（已完成）
- 併發虛擬機執行與確定性重播測試（已完成）
- 特殊通道類型規範與實作（已完成）
2023 Q2Q2
已完成
- 併發虛擬機執行與重播實作（已完成）
- 儲存層規範與實作（已完成）
2023 Q1Q1
已完成
- 併發虛擬機操作碼實作與測試（已完成）
- 併發交易確定性重播資料結構（已完成）