Boxd huy động 2 triệu USD cho hạ tầng máy ảo dành cho tác nhân lập trình AI

Boxd là startup hạ tầng đám mây của Hà Lan, xây dựng môi trường tính toán cho lập trình viên và tác nhân lập trình AI — những hệ thống AI có thể tự chạy mã, cài phụ thuộc và thực hiện tác vụ phát triển phần mềm. Luận điểm của công ty là dạng công việc này cần một máy tính từ xa có trạng thái bền vững, có thể sao chép ngay cả khi đang hoạt động, thay vì container hoặc sandbox ngắn hạn rồi bị hủy.48

Boxd được đưa tin đã huy động 2 triệu USD ở vòng tiền hạt giống do BlueYard Capital dẫn dắt. Tuy vậy, bài đăng gọi vốn của chính Boxd ghi giá trị vòng là 2 triệu euro; vì thế, đây nên được hiểu là chênh lệch đơn vị tiền tệ giữa các nguồn, không phải hai thương vụ huy động vốn riêng biệt.412

Ai đầu tư và ai sáng lập Boxd?

BlueYard Capital dẫn dắt vòng tiền hạt giống. Các nhà đầu tư được nêu gồm OVNI Capital, Antler, S20 và Script Capital, cùng các nhà đầu tư thiên thần từ General Intuition và những công ty công nghệ khác.4

Boxd được sáng lập bởi Michiel Voortman, Laurentiu Ciobanu và Hidde Kehrer.34

Công ty cho biết nguồn vốn mới sẽ phục vụ việc mở rộng đội ngũ và tiếp tục phát triển bộ máy ảo hóa tự xây dựng. Các hướng sản phẩm được nêu gồm rút ngắn thời gian khởi động và fork, nền tảng phát triển tự phục vụ, cùng phiên bản tự triển khai trên hạ tầng của khách hàng.112

Vì sao tác nhân AI cần môi trường giữ nguyên trạng thái?

Một tác nhân lập trình không chỉ tạo ra một bản vá mã nguồn. Nó có thể cài thư viện, khởi chạy dịch vụ, chạy kiểm thử, để lại tệp tạm hoặc tiến trình đang dang dở, rồi thử nhiều hướng giải quyết. Lập trình viên cũng gặp tình huống tương tự khi thử nhánh mã khác hoặc tái hiện lỗi.

Với môi trường ngắn hạn, toàn bộ bối cảnh đó phải được dựng lại khi công việc tiếp tục. Cách tiếp cận của Boxd là cấp cho mỗi lập trình viên hoặc tác nhân một máy tính đám mây lâu dài; từ đó có thể tạo nhiều bản sao độc lập của một môi trường đang chạy và làm việc song song, thay vì liên tục quay về một ảnh môi trường sạch.825

Một “máy Boxd” là gì?

Boxd mô tả mỗi máy là một microVM KVM: máy ảo Linux có kernel, ổ đĩa và định danh mạng riêng. Đây không phải container dùng chung kernel với máy chủ vật lý.1720

Tính bền vững là điểm then chốt: trạng thái phát triển vẫn được giữ lại qua các phiên làm việc. Công cụ, tệp và tiến trình đang chạy không tự biến mất chỉ vì lập trình viên hay tác nhân tạm dừng. Boxd sử dụng SSH làm giao diện chính; mỗi máy có định danh mạng và một địa chỉ HTTPS.1926

Snapshot và live fork hoạt động ra sao?

Môi trường dựa trên ảnh (image) theo cách thông thường sẽ khởi tạo một máy mới từ trạng thái nền đã lưu. Khái niệm live fork của Boxd khác ở chỗ công ty muốn sao chép trạng thái của một máy đang thực thi.

Theo Boxd, một fork bao gồm cả bộ nhớ và ổ đĩa của máy gốc, rồi tiếp tục với cùng tệp, tiến trình và trạng thái thực thi. Nhờ vậy, máy con có thể bắt đầu từ đúng vị trí đang dở dang của một tác vụ, sau đó theo đuổi một phương án triển khai, kịch bản kiểm thử hoặc giả thuyết gỡ lỗi riêng.1729

Boxd nói các fork này diễn ra trong vài mili giây; một số bài viết về vòng gọi vốn mô tả tốc độ dưới 100 mili giây hoặc dưới một giây. Đây là tuyên bố của công ty và thông tin từ các bài đưa tin, không phải phép đo hiệu năng độc lập.1012

Sao chép một máy đang chạy cũng đặt ra vấn đề về định danh. Boxd lưu ý rằng bản sao có thể kế thừa trạng thái như hostname và nguồn entropy của máy gốc; những yếu tố này cần được xử lý trước khi máy mới vận hành bình thường.27

Lý do Boxd đặt cược vào cô lập ở cấp phần cứng

Lập luận bảo mật cốt lõi của Boxd dựa trên ranh giới cô lập. Container thường dùng chung kernel với máy chủ, trong khi Boxd cho biết các máy ảo KVM của họ có kernel riêng.20 Kernel khách riêng biệt kết hợp với ranh giới ảo hóa phần cứng có thể hạn chế hậu quả nếu một khối lượng công việc bị xâm nhập, so với mô hình container dùng chung kernel.

Công ty cũng tuyên bố rõ rằng mã trong máy khách phải được xem là không đáng tin cậy và thuộc về một người dùng khác.18 Cách nhìn này đặc biệt phù hợp với quy trình dùng tác nhân AI, nơi hệ thống có thể chạy mã do AI tạo ra, cài gói phần mềm hoặc tương tác với kho mã chưa quen thuộc.

Thiết kế microVM tập trung của Boxd hướng tới việc không biến môi trường phát triển thành một chồng phần cứng ảo đa dụng, phức tạp. Về nguyên tắc, giảm độ phức tạp của các thiết bị ảo có thể thu hẹp bề mặt tấn công giữa máy chủ và máy khách, trong khi vẫn giữ ranh giới ở cấp hệ điều hành. Tuy nhiên, các tài liệu được cung cấp không có kiểm toán hay benchmark độc lập nào định lượng lợi thế bảo mật của Boxd so với mọi VM truyền thống, container hay sandbox. Vì vậy, đây nên được xem là lý giải về kiến trúc, không phải kết luận tuyệt đối về bảo mật.

Canh bạc hạ tầng của Boxd

Boxd đang đặt cược rằng năng lực tính toán bền vững, fork trạng thái nhanh và cô lập ở cấp VM sẽ ngày càng hữu ích khi các nhóm phần mềm giao những nhiệm vụ dài hơn, đồng thời hơn cho tác nhân lập trình AI.

Lợi ích mà công ty hướng đến khá trực tiếp: thay vì dựng lại môi trường lặp đi lặp lại, tác nhân hoặc lập trình viên có thể duy trì một máy Linux thực, tạo checkpoint và dựng các nhánh cô lập từ trạng thái đang chạy. Liệu mô hình này có hiệu quả hơn những nền tảng phát triển dựa trên container hay không sẽ còn phụ thuộc vào chi phí vận hành, hiệu năng, mức độ hỗ trợ hệ sinh thái và các đánh giá bảo mật độc lập. Nhưng nó nhắm vào một hạn chế thực tế của môi trường tác nhân ngắn hạn: mất trạng thái khi công việc chưa kết thúc.81720