Liên hệ
ALUX

Lộ trình

Cập nhật lần cuối: ngày 5 tháng 10 năm 2026

Năm 2027

2027

Quý 1 năm 2027

Đã lên kế hoạch
  • Chứng minh hình thức trong Lean cho các thuộc tính hệ thống trọng yếu (Đã lên kế hoạch)
  • Ra mắt testnet (Đã lên kế hoạch)
Năm 2026

2026

Quý 4 năm 2026

Đã lên kế hoạch
  • Triển khai đồng hồ logic và cơ chế thực thi mức cô lập (Đang thực hiện)
  • Công cụ gỡ lỗi và quan sát TVM kiểu GDB (Đang thực hiện)
  • Hoàn thiện mô hình hạch toán chi phí (Đang thực hiện)
  • Tích hợp bộ công cụ Ethereum (Đang thực hiện)
  • Triển khai và kiểm thử hợp đồng proof-of-stake (PoS) (Đã lên kế hoạch)
  • Triển khai cơ chế đồng bộ hóa và khôi phục sau lỗi (Đã lên kế hoạch)
  • Triển khai thu gom rác (Đã lên kế hoạch)
  • Cung cấp ví dụ Solidity minh họa việc điều phối smart contract / agent (async/await, join, select) (Đã lên kế hoạch)

Quý 3 năm 2026

Hoàn tất
  • Hỗ trợ hàm đồng bộ bên cạnh hàm bất đồng bộ hiện có, cùng closure và áp dụng hàm từng phần (Đã hoàn thành)
  • Registry hệ thống ban đầu, trừu tượng hóa tài khoản, hợp đồng xác nhận quyền và ủy quyền capability (Đã hoàn thành)
  • Đơn giản hóa bộ lập lịch tác vụ TVM và giúp kiểm thử thực thi đồng thời dễ dàng hơn (Đã hoàn thành)
  • Theo dõi ngữ cảnh thực thi dựa trên ledger để hoàn tác đáng tin cậy qua các ngữ cảnh lồng nhau (Đã hoàn thành)
  • Trình thông dịch tham chiếu Tolang dùng để xác minh đầu ra của trình biên dịch (Đã hoàn thành)
  • Bộ định dạng mã Tolang, macro Rust tolang! và chức năng đi tới định nghĩa/đổi tên trong IDE (Đã hoàn thành)
  • Client API TypeScript với các binding có kiểu được tạo từ giao diện RPC của node (Đã hoàn thành)
  • Trình thông dịch TVM mới hỗ trợ collection lồng nhau, vòng lặp, closure và tính gas bước đầu (Đang xem xét)
  • Sandbox EVM mới dựa trên trap (Đang thực hiện)

Quý 2 năm 2026

Hoàn tất
  • Parser Tolang gốc (Đã hoàn thành)
  • Hỗ trợ hằng số thời gian biên dịch trong Tolang (Đã hoàn thành)
  • Language server Tolang và extension Tolang cho VS Code (Đã hoàn thành)
  • Tái cấu trúc framework kiểm thử (Đã hoàn thành)
  • Thực hiện kiểm thử tích hợp đầu-cuối toàn hệ thống, bao gồm cả lớp đồng thuận (Đã hoàn thành)
  • Hoàn thiện triển khai API (Đã hoàn thành)
  • Phát triển CLI cho node (Đã hoàn thành)
  • Tùy chỉnh blockchain explorer để trực quan hóa thực thi xuyên block và hoàn tất nguyên tử (Đã hoàn thành)
  • Sandbox EVM mới dựa trên trap (Đang thực hiện)
  • Tích hợp bộ công cụ Ethereum (Đang thực hiện)

Quý 1 năm 2026

Hoàn tất
  • Đơn giản hóa cơ chế phát lại cho thực thi xuyên block (Đã hoàn thành)
  • Giới thiệu sandbox EVM mới để tăng hiệu quả và đơn giản hóa (Đã hoàn thành)
  • Tái cấu trúc đồng thuận, cơ sở dữ liệu và framework TVM để tăng tính mô-đun (Đã hoàn thành)
  • Triển khai kiểm thử thực thi xuyên block và phát lại bởi validator chạy lười (Đã hoàn thành)
  • Phát triển TupleSpace Explorer để trực quan hóa tiến độ thực thi và trạng thái (Đã hoàn thành)
Năm 2025

2025

Quý 4 năm 2025

Hoàn tất
  • Kiểm thử thực thi xuyên block khi chưa có đồng thuận (Đã hoàn thành)
  • Tái cấu trúc framework TVM để tăng tính mô-đun (Đang thực hiện)
  • Đặc tả và triển khai endpoint API (Đang thực hiện)
  • Thiết kế đồng hồ logic và cơ chế thực thi mức cô lập (Đã hoàn thành)

Quý 3 năm 2025

Hoàn tất
  • Triển khai cơ chế thực thi, đánh thức, đóng gói và phát lại giao dịch dài xuyên nhiều block cùng fringe hoàn tất (Đã hoàn thành)
  • Tái cấu trúc module cơ sở dữ liệu để cải thiện hiệu năng và hiệu quả (Đang thực hiện)
  • Tái cấu trúc framework TVM để tăng tính mô-đun (Đang thực hiện)

Quý 2 năm 2025

Hoàn tất
  • Triển khai và kiểm thử Weaklink trong giao thức BlockGit (Đã hoàn thành)
  • Đưa vào các kiểu hành vi channel đơn giản để đơn giản hóa kiến trúc TVM và tăng độ tin cậy (Đã hoàn thành)
  • Đưa vào framework kiểm thử mã Tolang được tạo ngẫu nhiên và tích hợp CI (Đã hoàn thành)
  • Tái cấu trúc logic phát lại (Đã hoàn thành)

Quý 1 năm 2025

Hoàn tất
  • Tái cấu trúc toàn hệ thống thành framework hướng sự kiện để hỗ trợ thực thi giao dịch đồng thời, phát lại block và đề xuất block nhằm đạt mức đồng thời tối đa (Đã hoàn thành)
  • Triển khai endpoint RPC và cập nhật BlockGit để xử lý block bị thiếu (Đã hoàn thành)
  • Khắc phục rò rỉ bộ nhớ trong BlockGit và cải thiện hiệu năng (Đã hoàn thành)
  • Đưa Weaklink vào giao thức BlockGit và triển khai một phần (Đã hoàn thành)
Năm 2024

2024

Quý 4 năm 2024

Hoàn tất
  • Tích hợp BlockGit vào nền tảng node (Đã hoàn thành)
  • Kiểm thử giao thức đồng thuận trên mạng Docker (Đã hoàn thành)
  • Triển khai thuật toán giải quyết xung đột khi hợp nhất block (Đã hoàn thành)
  • Tái cấu trúc module lưu trữ để hỗ trợ truy vấn và cam kết trạng thái (Đã hoàn thành)

Quý 3 năm 2024

Hoàn tất
  • Ngữ cảnh thực thi hỗ trợ hoàn tác một phần quá trình thực thi (Đã hoàn thành)
  • Thiết kế và triển khai ban đầu BlockGit, một giao thức đồng thuận mới (Đã hoàn thành)
  • Trình mô phỏng sự kiện rời rạc để kiểm thử việc triển khai giao thức đồng thuận (Đã hoàn thành)
  • Module P2P tích hợp BlockGit bước đầu (Đã hoàn thành)

Quý 2 năm 2024

Hoàn tất
  • Tái cấu trúc và hợp nhất logic thực thi và phát lại trong không gian bộ (Đã hoàn thành)
  • Triển khai việc thực thi và phát lại lệnh gọi HTTPS bên ngoài để chứng minh khả năng cộng tác chủ động với các hệ thống Web 2.0 mà không cần oracle / relayer (Đã hoàn thành)
  • Triển khai ban đầu giao thức đồng thuận Blocklace (Đã hoàn thành)
  • Thiết kế lại việc quản lý trạng thái để giảm mức sử dụng bộ nhớ (Đã hoàn thành)
  • Thiết kế cấu trúc dữ liệu đồng hồ logic và thuật toán dùng để thực thi các mức cô lập (Đã hoàn thành)

Quý 1 năm 2024

Hoàn tất
  • Triển khai và kiểm thử registry toàn cục (Đã hoàn thành)
  • Hỗ trợ lập trình hàm trong Tolang và TVM (Đã hoàn thành)
  • Hỗ trợ tính toán tuần tự an toàn với luồng trên TVM đồng thời (Đã hoàn thành)
  • Thực hiện kiểm thử sơ bộ về khả năng tương thích EVM (Đã hoàn thành)
  • Triển khai lưu trữ trạng thái EVM để hỗ trợ mức cô lập read-committed (Đã hoàn thành)
  • Tái cấu trúc mã và kiểm thử toàn diện tính đúng đắn cũng như khả năng phát lại của TVM (Đã hoàn thành)
Năm 2023

2023

Quý 4 năm 2023

Hoàn tất
  • Triển khai trình quản lý tác vụ mới để xử lý lỗi tốt hơn và hỗ trợ tính cục bộ của luồng (Đã hoàn thành)
  • Cải thiện hiệu năng bằng cách bổ sung hỗ trợ tính toán tuần tự (Đã hoàn thành)
  • Kiểm thử kiểu channel đặc biệt (Đã hoàn thành)
  • Sử dụng kiểu channel đặc biệt để đơn giản hóa nhật ký phát lại (Đã hoàn thành)

Quý 3 năm 2023

Hoàn tất
  • Kiểm thử lớp lưu trữ (Đã hoàn thành)
  • Kiểm thử thực thi máy ảo đồng thời và phát lại có tính xác định (Đã hoàn thành)
  • Đặc tả và triển khai kiểu channel đặc biệt (Đã hoàn thành)

Quý 2 năm 2023

Hoàn tất
  • Triển khai thực thi và phát lại cho máy ảo đồng thời (Đã hoàn thành)
  • Đặc tả và triển khai lớp lưu trữ (Đã hoàn thành)

Quý 1 năm 2023

Hoàn tất
  • Triển khai và kiểm thử opcode cho máy ảo đồng thời (Đã hoàn thành)
  • Cấu trúc dữ liệu phát lại có tính xác định cho giao dịch đồng thời (Đã hoàn thành)