Đội ngũ | ALUX Network

Không gian bộBảo mật capabilityHệ thống quản trị rủi ro

Frank He

@Atticbee

Nhà sáng lập / Kiến trúc sư hệ thống đồng thời

Frank là kiến trúc sư hệ thống đồng thời. Trước ALUX, anh có gần 20 năm làm việc tại Lehman Brothers, Barclays Capital và Bloomberg với vai trò kỹ sư định lượng cấp cao và kỹ sư phái sinh, xây dựng hệ thống quản trị rủi ro chuẩn Phố Wall phải duy trì tính chính xác trong môi trường đồng thời — qua nhiều múi giờ, tổ chức và từng mili giây.

Sự nghiệp đó để lại cho anh một niềm tin: mô hình thực thi đồng bộ đã đi đến hồi kết. ALUX là câu trả lời của anh. Anh dẫn dắt thiết kế stack cốt lõi:

Máy ảo không gian bộ TVM

Các tiến trình tương tác đồng thời qua channel; so khớp mẫu là cơ chế lập lịch; thông tin xác thực capability chính là quyền hạn.

Ngôn ngữ lập trình đồng thời Tolang

Tolang mã hóa mô tả channel và kiểu hành vi để có thể phát hiện sớm một số cách sử dụng sai; runtime thực thi các ràng buộc vòng đời.

Mô hình bảo mật Object Capability OCAP

Tham chiếu channel không thể giả mạo và có thể chuyển giao; quy tắc phạm vi cùng vòng đời giới hạn quyền hạn mà không chỉ dựa vào quyền truy cập theo địa chỉ.

Giao thức đồng thuận DAG BlockGit

Validator tạo block dạng DAG đồng thời. BlockGit luân phiên chọn leader để xác lập tính chung cuộc, còn Block Merge giải quyết phần công việc giao nhau.

Lớp giao dịch ACID phi tập trung

Segment, rollback, quy tắc cô lập và điểm commit duy trì ngữ nghĩa ACID cho công việc chạy lâu và xuyên block.

Máy ảo, ngôn ngữ và đồng thuận kết hợp thành một hệ thống nơi thực thi đồng thời và khả năng kết hợp cuối cùng có thể vận hành hài hòa — một lớp giao thức dành cho nền kinh tế mở, có thể kết hợp của AI agent.

GitHub X

Phép tính tiến trìnhHaskellĐiện tử

Tomislav Grospić

Kỹ sư tính đồng thời

Tomislav bắt đầu tiếp xúc với máy tính từ rất sớm: một chiếc máy tính bằng bìa cứng năm lên năm, rồi lập trình assembly trên C64c năm mười tuổi. Một thập kỷ làm điện tử và hai thập kỷ tiếp theo làm lập trình viên đa ngôn ngữ — từ JavaScript đến Haskell — đã dạy anh cách suy nghĩ từ phần cứng trở lên.

Tại ALUX, anh làm việc ở giao điểm giữa lý thuyết và runtime: ứng dụng phép tính tiến trình để đưa tính đồng thời thành thành phần cốt lõi, chứ không phải phần bổ sung về sau.

GitHub X LinkedIn

Đồng thuậnKiến trúc hệ thốngDApp

Tom Yi

Nhà nghiên cứu giao thức đồng thuận

Tom là nhà phát triển blockchain tập trung nghiên cứu giao thức đồng thuận — tại ALUX, đó là BlockGit, thiết kế đồng thuận DAG cho phép validator tạo block đồng thời mà không cần leader cố định.

Trước khi gia nhập ALUX, anh có khoảng mười năm làm trong ngành IPC, phụ trách kiến trúc hệ thống và phát hành sản phẩm trên DApp, di động, cloud, web và máy tính — phạm vi công việc hiện trải dài mười hai ngôn ngữ, từ C và C++ đến Solidity và Rust.

GitHub