2027 年第一季度Q1
计划中
- 使用 Lean 对关键系统性质进行形式化证明（计划中）
- 测试网上线（计划中）
ALUX
路线图
最后更新：2026年10月5日
2027 年
2027
2026 年
2026
2026 Q4Q4
计划中
- 实现逻辑时钟和隔离级别强制机制（WIP）
- 类 GDB 的 TVM 调试与可观测性工具（WIP）
- 完成成本核算模型（WIP）
- 集成以太坊工具链（WIP）
- 实现并测试权益证明（PoS）合约（计划中）
- 实现同步与故障恢复机制（计划中）
- 实现垃圾回收（计划中）
- 交付 Solidity 示例，展示智能合约/智能体编排 （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
已完成
- 重构并统一 Tuple Space 的执行与重放逻辑（已完成）
- 实现外部 HTTPS 调用的执行与重放，展示无需预言机/中继器即可主动协作 Web 2.0 系统的能力（已完成）
- Blocklace 共识协议初步实现（已完成）
- 重新设计状态管理以降低内存使用（已完成）
- 设计用于强制执行隔离级别的逻辑时钟数据结构与算法（已完成）
2024 Q1Q1
已完成
- 全局注册表实现与测试（已完成）
- Tolang 与 TVM 的函数式编程支持（已完成）
- 在并发 TVM 上支持线程安全的顺序计算（已完成）
- 初步 EVM 兼容性测试（已完成）
- 实现 EVM 状态存储，以支持读已提交隔离级别（已完成）
- 重构代码，并对 TVM 的正确性与可重放性进行全面测试（已完成）
2023 年
2023
2023 Q4Q4
已完成
- 实现新的任务管理器，以改善错误处理并支持线程局部性（已完成）
- 通过引入顺序计算支持提升性能（已完成）
- 特殊通道类型测试（已完成）
- 使用特殊通道类型简化重放日志（已完成）
2023 Q3Q3
已完成
- 存储层测试（已完成）
- 并发虚拟机执行与确定性重放测试（已完成）
- 特殊通道类型规范与实现（已完成）
2023 Q2Q2
已完成
- 并发虚拟机执行与重放实现（已完成）
- 存储层规范与实现（已完成）
2023 Q1Q1
已完成
- 并发虚拟机操作码实现与测试（已完成）
- 并发交易确定性重放数据结构（已完成）