ALUX cho phép làm gì mà smart contract thông thường không thể?
ALUX mở rộng mô hình smart contract thành một engine thực thi bền vững, phi tập trung cho các tác vụ chạy lâu. Quy trình có thể chạy các tiến trình đồng thời, tạm dừng qua nhiều block, chờ công cụ hoặc con người bên ngoài, tiếp tục và kết hợp kết quả mà không để lộ trạng thái hoàn thành một phần. Các channel bên ngoài do runtime trung gian có thể tương tác với dịch vụ off-chain được hỗ trợ mà không cần phối hợp oracle và relayer riêng. Kiến trúc được thiết kế để mở rộng cùng mô hình nguyên tử theo chiều ngang, nhờ đó hiệu ứng xuyên shard được commit hoặc hủy cùng nhau; thực thi xuyên shard vẫn nằm trong lộ trình.
Vì sao ALUX được xây dựng cho AI agent?
Agent trên blockchain vốn phù hợp với giao dịch dài. Gọi LLM hoặc công cụ cần thời gian; chờ người dùng phản hồi cũng vậy. Không thể ép quy trình này thành một lệnh gọi tức thời trong một block. ALUX cho phép giữ ngữ cảnh thực thi, tạm dừng, tiếp tục khi có đầu vào, phối hợp agent đồng thời và hoàn tất thông qua thực thi có thể phát lại.
ALUX chỉ là một L1 nhanh hơn thôi sao?
Không. L1 nhanh hơn tăng tốc cùng một mô hình trừu tượng: cập nhật trạng thái chỉ diễn ra một lần trong một block. ALUX là runtime đồng thời phi tập trung dành cho giao dịch dài, có thể chờ, tiếp tục, kết hợp qua nhiều channel hoặc chọn channel sẵn sàng trước; việc cập nhật trạng thái không còn bị giới hạn bởi ranh giới block. Thông qua kiến trúc GLVM — Trừu tượng hóa máy ảo — cùng một giao dịch logic được thiết kế để vượt khỏi ranh giới block, hướng tới ranh giới shard và hệ thống.
Một số blockchain khác cũng tuyên bố hỗ trợ giao dịch xuyên block. ALUX khác biệt thế nào?
Từ khóa là tính nguyên tử.
Bù trừ / Saga: commit → commit → ✗ fail → run compensating undo
Mỗi bước được commit cục bộ, trạng thái trung gian có thể quan sát, thao tác bù trừ cũng có thể thất bại, còn hiệu ứng bên ngoài không phải lúc nào cũng đảo ngược được. Đây là tính nhất quán cuối cùng. Một số blockchain bất đồng bộ, gồm ICP và Rialo, dựa vào mô hình này. Mô hình dễ triển khai hơn nhưng không phù hợp với ứng dụng cần bảo đảm ACID chặt chẽ hơn.
Tất cả-hoặc-không-gì-cả của ALUX: stage → stage → ✗ fail → discard everything
Không có gì được commit cho đến khi toàn bộ giao dịch commit. Khi hủy, các hiệu ứng chưa commit bị loại bỏ và không ai có thể quan sát trạng thái một phần. Đó là tính nguyên tử ACID thực sự xuyên nhiều độ cao block.
ALUX bảo đảm tính xác định cho giao dịch dài như thế nào?
ReplayTrie ghi lại các lựa chọn COMM không xác định có ảnh hưởng đến việc thực thi, cho phép phát lại có tính xác định chính xác từng bit trong runtime ALUX để validator tái tạo cùng kết quả thực thi.
Object Capability (OCAP) là gì?
Object Capability (OCAP) là mô hình bảo mật trong đó cách duy nhất để một đoạn mã truy cập tài nguyên là được cấp tường minh tham chiếu (capability) tới tài nguyên đó. Trong hệ thống OCAP, cùng một tham chiếu đối tượng vừa xác định tài nguyên (designation), vừa cấp quyền sử dụng tài nguyên (authorization).
Vì sao OCAP là mô hình bảo mật mạnh hơn và có thể kết hợp?
Object Capability (OCAP) là mô hình bảo mật mạnh hơn vì quyền hạn được biểu diễn bằng capability tường minh, không thể giả mạo, thay vì danh tính toàn cục hoặc danh sách kiểm soát truy cập. Mô hình này tuân theo nguyên tắc: xác định đối tượng chính là cấp quyền — người có capability vừa xác định được tài nguyên vừa được phép sử dụng tài nguyên đó, nhờ vậy loại bỏ quyền hạn mặc định và giảm bề mặt tấn công. Vì capability có thể được ủy quyền, thu hẹp và thu hồi một cách an toàn, chính sách bảo mật được đặt ngay tại các đối tượng liên quan thay vì phân tán trong hệ thống quyền tập trung. Nhờ vậy OCAP có khả năng kết hợp tự nhiên, cho phép xây dựng ứng dụng phức tạp, smart contract và quy trình AI agent từ các thành phần được bảo vệ độc lập mà vẫn tuân thủ nguyên tắc đặc quyền tối thiểu.
OCAP được ALUX hỗ trợ gốc nghĩa là gì?
Tuple-Space Virtual Machine (TVM) của ALUX triển khai trực tiếp mô hình Object Capability (OCAP) ở cấp bytecode. Bộ lệnh không có thao tác giả mạo hoặc tạo tham chiếu đối tượng tùy ý, nhờ đó capability chỉ có thể nhận được thông qua ủy quyền tường minh. Điều này bảo đảm mọi quyền hạn đều không thể giả mạo và được truyền đi một cách rõ ràng.
Nhà phát triển smart contract hiện tại có thể sử dụng ALUX không?
TVM chạy bytecode EVM trong sandbox cô lập, vì vậy phần lớn hợp đồng EVM có thể chuyển sang ALUX với ít thay đổi. ALUX cũng cung cấp giao diện tương thích Ethereum thông qua một số phương thức JSON-RPC eth_* thường dùng.
