Aelion Twelve（A12）
Sách trắng về công nghệ PTZ siêu quản lý

bản tóm tắtbản tóm tắt

A12 là nền tảng lập kế hoạch và dịch vụ cho các tài nguyên điện toán GPU không đồng nhất. Nó kết hợp các cụm GPU đám mây, IDC chuyên nghiệp với các máy trạm nhàn rỗi/GPU biên Thống nhất truy cập, xác minh, đo lường và lập kế hoạch, duy trì đào tạo mô hình lớn với cường độ giao tiếp cao trong các cụm tập trung được kết nối tốc độ cao theo đặc điểm nhiệm vụ, phân bổ suy luận cường độ giao tiếp thấp, tăng cường truy xuất (RAG), tinh chỉnh tham số hiệu quả (LoRA/QLoRA) và các tác vụ xử lý hàng loạt cho các tài nguyên phân tán hiệu quả hơn về mặt chi phí, đồng thời cung cấp các dịch vụ mô hình (MaaS), ứng dụng đại lý (AaaS) và chuỗi công cụ dành cho nhà phát triển hoàn chỉnh trong một nhiệm vụ thống nhất giao diện.

Sách trắng này chỉ mô tả các thiết kế hiện đã được xác minh hoặc có lộ trình kỹ thuật rõ ràng và tuân thủ ba nguyên tắc viết: tất cả các chỉ số hiệu suất là mục tiêu thiết kế chứ không phải là kết luận đo lường thực tế; tất cả các cơ chế an toàn cũng mô tả ranh giới và điều kiện hư hỏng của chúng; tất cả thông tin liên quan đến chủ đề và lịch sử dự án được trình bày dưới dạng danh sách tiết lộ và sẽ không được sử dụng làm cơ sở cho độ tin cậy trước khi tiết lộ.

Từ khóa: lập lịch năng lượng tính toán không đồng nhất; xác minh tài nguyên đáng tin cậy; cung cấp năng lượng điện toán lai; dịch vụ mẫu; ứng dụng đại lý

Đầu tiênChương 1 Bối cảnh công nghiệp và định nghĩa vấn đề

1.1 Hiện trạng cơ cấu nguồn cung cấp năng lượng tính toán AI

Khối lượng công việc của AI tổng hợp đang nhanh chóng đa dạng hóa: đào tạo trước mô hình cơ bản và tinh chỉnh tham số đầy đủ yêu cầu đồng bộ hóa độ dốc tần số cao và tự nhiên dựa vào kết nối cụm cấp NVLink/InfiniBand; trong khi các tác vụ như suy luận, Nhúng, Xếp hạng lại, xử lý dữ liệu RAG và tinh chỉnh LoRA/QLoRA có cường độ giao tiếp thấp hơn từ một đến nhiều bậc và có thể được hoàn thành trong một vòng kín trên một máy hoặc một cụm quy mô nhỏ. Hai loại phụ tải này có những yêu cầu khác nhau đáng kể về cơ sở hạ tầng nhưng đều được phục vụ theo “cùng một phương thức cung cấp” trong một thời gian dài.

Đồng thời, phía cung cấp năng lượng điện toán thể hiện cấu trúc ba tầng: nền tảng đám mây quy mô cực lớn cung cấp sức mạnh tính toán được quản lý theo tiêu chuẩn nhưng có giá tương đối cao; IDC AI chuyên nghiệp và cụm do doanh nghiệp sở hữu có kết nối tốc độ cao nhưng tỷ lệ sử dụng không ổn định; vẫn còn hàng chục triệu GPU cấp độ người dùng và máy trạm trên toàn thế giới đang không hoạt động do thiếu cơ chế lập kế hoạch và truy cập đáng tin cậy (độ lớn là tham chiếu ước tính dựa trên tiêu chuẩn ngành công cộng, không phải số liệu thống kê chính xác; dữ liệu ngành trong chương này được sử dụng để minh họa các đánh giá về cấu trúc). Vấn đề không phải là “không đủ sức mạnh tính toán” mà là sức mạnh tính toán trong các điều kiện vật lý khác nhau không được sắp xếp thành khối lượng công việc phù hợp.

1.2 Các vấn đề về hiệu quả tổ chức của nguồn cung hỗn hợp

Việc điều phối thống nhất ba lớp cung cấp trên đòi hỏi phải giải quyết bốn vấn đề kỹ thuật:

• Heterogeneous adaptation: Differences in drivers, runtimes and operator libraries of NVIDIA, AMD and other accelerator cards make it difficult to migrate upper-layer tasks without cost. Bất kỳ giải pháp nào tuyên bố “sự thống nhất hoàn toàn vô nghĩa” đều tránh được khối lượng công việc thích ứng thực sự.
• Tài nguyên đáng tin cậy: Trong môi trường truy cập mở, có khả năng ngụy trang tài nguyên, đặt trước quá nhiều bộ nhớ video và khai báo lặp đi lặp lại. Chỉ dựa vào thông tin tự báo cáo của nút là không đủ để thiết lập độ tin cậy cần thiết cho việc lập kế hoạch.
• Mâu thuẫn giữa SLA và độ co giãn: Tốc độ trực tuyến của GPU biên nhàn rỗi không ổn định và việc thực hiện trực tiếp các dịch vụ trực tuyến cấp doanh nghiệp sẽ dẫn đến tình trạng sẵn có bị suy giảm; trong khi việc sử dụng hoàn toàn các tài nguyên tập trung sẽ loại bỏ việc sử dụng sức mạnh tính toán nhàn rỗi.
• Tính bền vững về kinh tế: Một mô hình chỉ dựa vào nguồn cung cấp trợ cấp phát hành mã thông báo sẽ rơi vào chu kỳ "thất bại trong áp lực khuyến khích bán khí thải" khi nhu cầu thực tế không đủ.

1.3 Giải A12 (tổng quan)

Để giải quyết các vấn đề trên, giải pháp của A12 có thể tóm tắt thành bốn điểm và các ranh giới khả thi của nó được giải thích từng điểm một trong các chương tương ứng:

• Kiến trúc lập lịch được phân chia theo cường độ truyền thông: các tác vụ có tốc độ truyền thông cao được cố định trong các cụm tập trung và các tác vụ có tốc độ truyền thông thấp được chuyển đến các tài nguyên phân tán (Chương 3, 5).
• Hệ thống xác minh độ tin cậy tài nguyên theo lớp: Thiết lập niềm tin bằng sự kết hợp giữa "xác minh tuyên bố + thách thức đo lường thực tế + đo từ xa thời gian chạy + xác minh cấp nhiệm vụ + danh tiếng lịch sử" và không dựa vào bất kỳ cơ chế "chống hàng giả tuyệt đối" nào (Chương 4).
• Mô hình cung cấp theo dõi kép: chế độ nỗ lực tối đa đàn hồi thực hiện các nhiệm vụ có thể bị gián đoạn và chế độ đảm bảo chuyên dụng mang các dịch vụ SLA và cả hai đều bị cô lập về mặt vật lý (Chương 4 và 5).
• Một mô hình kinh tế được gắn với doanh thu dịch vụ thực: doanh thu nền tảng được ưu tiên, mã thông báo đóng vai trò là ưu đãi và chứng chỉ thanh toán, đồng thời việc mua lại và tiêu hủy được liên kết với doanh thu và có giới hạn trên cứng (Chương 8).

thứ haiChương 2 Định vị dự án và minh bạch quản trị

2.1 Tuyên bố định vị nền tảng

A12 áp dụng định vị kiến ​​trúc "vận hành tập trung + thực thi phân tán": nền tảng chịu trách nhiệm tập trung về xác minh quyền truy cập tài nguyên, lập kế hoạch nhiệm vụ, thanh toán và giải quyết, xử lý tranh chấp và kiểm soát rủi ro bảo mật của đơn vị vận hành; Bản thân các tài nguyên máy tính được phân phối trên khắp thế giới (cá nhân, tổ chức, IDC và nút biên), việc thực thi nhiệm vụ được hoàn thành theo cách phân tán tại vị trí của tài nguyên và các quyết định lập lịch được đưa ra dựa trên trạng thái thời gian thực của mỗi nút. Người dùng chọn A12 vì nền tảng này giúp giảm chi phí tổ chức khi sử dụng sức mạnh tính toán không đồng nhất được phân phối với giao diện hợp nhất và xác minh đáng tin cậy.

Nền tảng hứa hẹn: Tất cả các quy tắc lập lịch và thanh toán đều có sẵn công khai và có thể được kiểm tra; hồ sơ đo lường nhiệm vụ có thể được xuất và kiểm tra bởi người thuê nhà; nếu chứng nhận và giải quyết trên chuỗi được giới thiệu trong tương lai, chúng sẽ chỉ được sử dụng làm lớp giao thức tùy chọn để nâng cao tính minh bạch (xem §8.6) và sẽ không thay đổi cơ quan chịu trách nhiệm vận hành của nền tảng.

2.2 Công bố thông tin về các đơn vị và nhóm dự án (danh sách công bố bắt buộc)

Lưu ý: Các vị trí chịu trách nhiệm là các bộ phận chức năng trong đơn vị điều hành và được đảm nhận bởi các nhân sự, chuyên gia tư vấn bên ngoài hoặc các cơ quan được đơn vị điều hành chỉ định thực hiện các chức năng; Trước khi nhân sự tương ứng đến làm việc, họ sẽ được người phụ trách đơn vị điều hành bổ nhiệm. Các đơn vị chịu trách nhiệm cụ thể được liệt kê trên trang thông báo (xem §2.5 Đảm bảo nguồn nhân lực, D-20 để biết cấu hình tư vấn và thuê ngoài). Ngày cam kết sẽ có hiệu lực sau khi được người phụ trách đơn vị điều hành phê duyệt. Tầm cỡ nhịp điệu: Ngày đã hứa là nút đánh giá và nếu quá hạn, các quy tắc xử lý quá hạn sau đây sẽ được kích hoạt; các bản cập nhật hàng tuần trong Phụ lục C là các thông tin công bố về quy trình, ghi lại tiến độ nhưng không tạo thành thời điểm đánh giá mới - cả hai đều dựa trên ngày đã hứa. ②③ (Địa chỉ email và văn phòng chính thức, kênh liên hệ pháp lý) là mục không tốn phí - không phụ thuộc vào sự hợp tác của bất kỳ bên thứ ba nào, không yêu cầu phê duyệt hoặc xác minh bên ngoài - vì vậy ngày cam kết được ấn định trong vòng 5 ngày làm việc sau khi phát hành phiên bản này (2026-09-21), cùng ngày với phiên bản đầu tiên của trang thông báo chuyển đổi; ①⑦ Các thành viên trong nhóm được yêu cầu hợp tác với phần phụ trợ của nền tảng, ngày cam kết là 15-10-2026; ④⑤⑥⑧ Cần có sự hợp tác từ các cơ quan bên ngoài hoặc các quy trình quản lý và ngày cam kết như trên. Điểm quan sát cứng: Điểm đầu tiên là 2026-09-21 (②③ các mục không tốn phí và trang đầu tiên của trang thông báo, để kiểm tra khả năng thực thi); thứ hai là 2026-10-31 (Bằng chứng nhà đầu tư D-04 và tên miền chính D-08, điểm thay đổi đáng kể về khả năng xác minh chủ thể); thứ ba là 2026-11-30 (số bằng sáng chế D-05 và kho mã D-06, tính xác thực của tài sản kỹ thuật). Xử lý quá hạn: Trường hợp vấn đề chưa được giải quyết trước ngày cam kết, đơn vị vận hành phải giải trình lý do quá hạn, tiến độ hiện tại và ngày cam kết sửa đổi trên trang thông báo công khai trong vòng 5 ngày làm việc kể từ ngày cam kết, đồng thời cập nhật bảng này và Phụ lục C; nếu cùng một vấn đề quá hạn hai lần liên tiếp thì phải có văn bản khắc phục riêng; thời điểm sửa đổi không được muộn hơn 30 ngày kể từ ngày ban đầu (trừ những vấn đề cần sự phối hợp của cơ quan bên ngoài, những vấn đề đó cũng phải thể hiện rõ chu trình phản hồi của cơ quan).

2.3 Lịch sử đặt tên và bố trí lãnh thổ kỹ thuật

Lịch sử đặt tên: Aelion Twelve là tên dự án và đơn vị vận hành dự án. Axiur Twelve là nhà đầu tư chiến lược sẽ đầu tư vào dự án này vào năm 2021, đồng thời thành lập nhóm phát triển đặc biệt. Nó hình thành mối quan hệ giữa chủ đầu tư và dự án được đầu tư với Aelion Twelve. Chữ “Mười hai” trong hai cái tên bắt nguồn từ mã dự án được sử dụng khi hoàn thành khoản đầu tư, đây là dấu vết đặt tên tự nhiên còn sót lại từ lịch sử đầu tư. Các tài liệu bằng văn bản như thỏa thuận đầu tư và giấy chứng nhận cấp vốn đều nằm trong phạm vi công bố thông tin chủ đề (xem §2.2).

Bố cục lãnh thổ kỹ thuật: Bố cục bằng sáng chế của công nghệ lập kế hoạch sức mạnh điện toán cốt lõi nhất quán với thành phần của nhóm R&D. Người phụ trách hệ thống phân tán (Tunde Akinwale) và người phụ trách cơ sở hạ tầng GPU (Amara Okoye) có trụ sở tại Nigeria và công việc nghiên cứu và phát triển có liên quan được hoàn thành ở Nigeria. Do đó, đơn đăng ký bằng sáng chế trước tiên được nộp tại nơi hoàn thành phát minh, sau đó được quảng bá theo thứ tự tầm quan trọng của thị trường mục tiêu đối với Trung Quốc (đơn đã được phê duyệt) và Hoa Kỳ (dự kiến ​​vào cuối năm 2026). Đây là chiến lược bố trí cục bộ thông thường dành cho các nhóm R&D đa quốc gia. Tiến độ cụ thể sẽ tùy thuộc vào việc công bố số bằng sáng chế/số đơn (xem §2.2).

Đặt tên và tính khả dụng của biểu tượng: Việc tìm kiếm tính duy nhất của biểu tượng mã thông báo A12 và tên dự án và nền tảng xu hướng chính thống của Aelion Twelve đã được hoàn thành trước khi phát hành. Phạm vi và kết quả tìm kiếm [Bổ sung và tiết lộ trước khi phát hành · D-09] đảm bảo không có xung đột với các dự án/nhãn hiệu hiện có.

2.4 Cam kết tuân thủ

Nền tảng này tuân thủ: nhận dạng người dùng (KYC) và sàng lọc danh sách trừng phạt; đánh giá việc sử dụng năng lực tính toán của người thuê và các quy tắc tuân thủ nội dung (xem §4.7); bảo vệ dữ liệu và đánh giá tuân thủ truyền tải xuyên biên giới; tại các khu vực pháp lý liên quan đến tài sản kỹ thuật số, các hoạt động liên quan đến Token sẽ chỉ được thực hiện sau khi có được các quyền cần thiết. Việc đăng ký của đơn vị điều hành đã được hoàn tất (Canada); Quá trình xin cấp các giấy phép liên quan đến MSB và SEC đang được tiến hành - hoạt động kinh doanh liên quan đến các giấy phép trên sẽ không được thực hiện trước khi có được giấy phép.

Điểm quan sát tiến trình cấp phép: Để có thể quan sát bên ngoài về tình trạng "không phát triển trước khi có được giấy phép", đơn vị điều hành duy trì bảng trạng thái cấp phép trên trang thông báo công khai, liệt kê các giai đoạn đăng ký MSB, giấy phép liên quan đến SEC và các vấn đề khác, phương thức tiết lộ số chấp nhận/biên nhận, khoảng thời gian hoàn thành ước tính và trạng thái hiện tại; ngày phát hành bảng trạng thái cấp phép đầu tiên sẽ không muộn hơn ngày ra mắt trang thông báo công khai chuyển đổi (xem §2.2) và sẽ được cập nhật hàng tháng sau đó. Vị trí chịu trách nhiệm cập nhật là người phụ trách pháp lý và tuân thủ của đơn vị điều hành (công ty luật chịu trách nhiệm cũng được đánh dấu trong bảng đối với các vấn đề liên quan đến công ty luật bên ngoài); mọi thông báo ra mắt doanh nghiệp liên quan đến cấp phép đều phải kèm theo liên kết truy vấn tương ứng với trạng thái cấp phép. Khi liên kết không thành công, hãy sử dụng "tên cơ quan quản lý + số chấp nhận/tiếp nhận + cổng truy vấn chính thức của cơ quan quản lý" làm phương pháp xác minh thay thế và liên kết sẽ được sửa chữa hoặc thay thế trong vòng 5 ngày làm việc.

2.5 Các thỏa thuận minh bạch về tài chính và nguồn lực

Khuyến khích thử nghiệm công khai, xác minh kế toán của bên thứ ba, kiểm tra bảo mật hợp đồng, mua sắm năng lượng điện toán và chia sẻ nút, bồi thường cho nhóm, v.v., tất cả đều dựa vào quỹ riêng của đơn vị điều hành. Để có thể xác minh tuyên bố về "quỹ tự sở hữu", các thỏa thuận sau đây được thực hiện:

Bảng trên là cỡ duy nhất của "Đảm bảo tài nguyên và chi tiêu đã cam kết" (danh sách song song ban đầu đã bị xóa trong phiên bản này để tránh hai bộ số trong cùng một phần): mỗi khoản chi đã cam kết tương ứng với một nguồn vốn rõ ràng, tầm cỡ giới hạn trên và số theo dõi (D-10 đến D-20). Bạn đọc có thể tra cứu từng mục trong Phụ lục C theo số lượng. Bảng này thiết lập một khuôn khổ có thể kiểm chứng được về "tài khoản - giới hạn trên - nguồn" và đã thiết lập một khuôn khổ có thể đánh giá được. Các giá trị sẽ có thể đánh giá được sau khi chúng được công bố cùng với bảng theo dõi (Phụ lục C) - trước khi phạm vi quy mô quỹ riêng của đơn vị điều hành (D-17) và khoảng cách nguồn vốn trong 12 tháng tới (D-19) được công bố, bài viết này không khẳng định rằng khả năng thanh toán có thể được đánh giá bên ngoài. Ưu tiên vòng kín: D-19 (các phương pháp bổ sung và thiếu vốn trong 12 tháng tới) được liệt kê là mục có mức độ ưu tiên cao nhất trong bảng này; nếu quy mô tuyệt đối của quỹ không phù hợp để tiết lộ do bí mật thương mại, D-17 có thể được đáp ứng dưới dạng cỡ nòng hoặc thư xác nhận "đã được cung cấp riêng cho khách hàng và được lưu giữ làm hồ sơ có thể xác minh."

thứ baChương 3 Tổng quan về kiến ​​trúc hệ thống

3.1 Nguyên tắc thiết kế

Thiết kế hệ thống tuân theo bốn nguyên tắc, mỗi nguyên tắc tương ứng với các hàm ý kỹ thuật có thể chấp nhận được:

• Mối quan hệ cấu trúc liên kết vật lý: Đích lập kế hoạch của một nhiệm vụ được xác định bởi các đặc điểm tính toán-giao tiếp của nó chứ không phải bởi "mức độ phân cấp". Các tác vụ huấn luyện nằm trong các cụm có băng thông cao, trong khi các tác vụ suy luận chìm ở rìa.
• Heterogeneous hardware abstraction: What is unified is the task submission interface and measurement caliber, not the underlying execution environment; sự khác biệt giữa các nhà sản xuất được bộc lộ thông qua ma trận thích ứng rõ ràng, thay vì ẩn giấu.
• Có thể kiểm chứng theo lớp: Sự tin cậy đến từ sự chồng chất của nhiều lớp cơ chế (tuyên bố, đo lường thực tế, đo từ xa, xác minh sứ mệnh, danh tiếng) và bất kỳ lớp đơn lẻ nào bị bỏ qua đều không tạo thành rủi ro hệ thống.
• Chuỗi giá trị dọc: CaaS (sức mạnh tính toán) → MaaS (dịch vụ mô hình) → AaaS (ứng dụng tác nhân) tăng thêm giá trị theo từng lớp. Doanh thu của nền tảng tăng theo đơn giá và độ ổn định khi nó tiến lên chuỗi giá trị.

3.2 Kiến trúc bốn lớp

Các lớp được tách rời với các giao diện tiêu chuẩn. Mặt phẳng điều khiển (lập kế hoạch, đo lường, giải quyết) được tách biệt khỏi mặt phẳng dữ liệu (thực thi mô hình, truyền dữ liệu): việc truyền mặt phẳng dữ liệu được ưu tiên trong cụm nơi đặt tác vụ và mặt phẳng điều khiển không chịu trách nhiệm chuyển tiếp dữ liệu tensor quy mô lớn.

Hình 3-1 Kiến trúc hệ thống bốn lớp A12: chuỗi giá trị dọc thêm từng lớp giá trị và mặt phẳng điều khiển và mặt phẳng dữ liệu được tách biệt

3.3 Vai trò sinh thái

3.4 Thiết kế hệ thống tham chiếu (lấy cảm hứng kỹ thuật từ Ethereum và Filecoin)

Thiết kế cơ chế của A12 dựa chủ yếu vào các mô hình kỹ thuật của hai sách trắng hệ thống phân tán đã được xác minh quy mô lớn, nhưng không sao chép cơ chế đồng thuận của chúng - đối tượng xác minh của Ethereum là trạng thái sổ cái, đối tượng xác minh của Filecoin là tính chính xác của lưu trữ và đối tượng xác minh của A12 là quá trình và hiệu suất tính toán. Sự khác biệt về đối tượng xác minh quyết định sự khác biệt về hình thức của cơ chế.

Mối quan hệ ánh xạ như sau:

thứ tưChương 4 Lớp 1: Truy cập tài nguyên và xác minh độ tin cậy

4.1 Nguyên tắc và ranh giới thiết kế (Tuyên bố quan trọng)

Không có "chống hàng giả tuyệt đối" để xác minh tài nguyên trong môi trường mở. The design goal of A12 is to make the comprehensive cost of cheating (detection probability × loss) significantly higher than the benefits of cheating, and to enable abnormal nodes to be continuously identified and downgraded. Vì mục đích này, nền tảng này nêu rõ "Ba điều không nên":

• Không có "dấu vân tay vật lý silicon" nào được sử dụng làm nhận dạng thiết bị và cũng không bị chặn vĩnh viễn dựa trên dấu vân tay (các đặc tính vật lý thay đổi theo nhiệt độ, điện áp và độ lão hóa và không thể tái tạo ổn định cũng như không thể hỗ trợ hình phạt vĩnh viễn).
• Không sử dụng bằng chứng không có kiến ​​thức để chứng nhận các đại lượng tương tự trong thế giới vật chất (hệ thống chứng minh có thể chứng minh "một phép tính nào đó là đúng" nhưng không thể chứng minh "một sự kiện vật lý nào đó đã xảy ra").
• Không cần truy cập vào trọng số hoặc dữ liệu của mô hình đối tượng thuê để xác minh (để bảo vệ quyền riêng tư của đối tượng thuê).

4.2 Hệ thống xác minh độ tin cậy năm lớp

Hình 4-1 Hệ thống xác minh tin cậy năm lớp A12: xếp chồng lên nhau, bỏ qua một lớp không tạo thành rủi ro hệ thống

Các lớp L2 và L3 trong hệ thống xác minh năm lớp áp dụng các phương pháp đánh giá thống kê có thể định lượng, như được mô tả dưới đây.

Mô hình xác định đo lường khả năng L2. Cụm xác minh nền tảng tạo ra thử thách điểm chuẩn ngẫu nhiên: ma trận ngẫu nhiên A ∈ ℝ^(m×k), B ∈ ℝ^(k×n) (các phần tử tuân theo phân phối đồng đều, hạt giống được lấy từ đèn hiệu VRF), các nút thực hiện phép tính GEMM C = A × B trên GPU mục tiêu với độ chính xác được chỉ định (FP16/BF16) và trả về bản tóm tắt kết quả (SHA-256(C)) và thời gian thực tế T. Hai bộ số liệu thống kê được sử dụng để xác định:

• Độ chính xác: Xác minh cụm để xem xét tóm tắt lấy mẫu bằng cách triển khai tham chiếu và yêu cầu lỗi định mức Frobenius tương đối ‖C − C_ref‖_F / ‖C_ref‖_F ε (ε được đặt theo mức độ chính xác, FP16 thường có thứ tự 10⁻², bao gồm các sai lệch pháp lý gây ra bởi tính không kết hợp của dấu phẩy động và cách triển khai toán tử khác nhau);
• Tính hợp lý về hiệu suất: T_hat = 2·m·k·n / η_peak là giá trị tiêu tốn thời gian dự kiến ​​dựa trên đường cơ sở thông lượng đo được η_peak (m, k, n là kích thước ma trận của thử thách GEMM), (1−δ)·T_hat là giới hạn dưới hợp lý của nó. Nếu mức tiêu thụ thời gian đo được thấp hơn giới hạn dưới này (T < (1−δ)·T_hat), thì đó được xác định là một cuộc tấn công "báo cáo sai về sức mạnh tính toán" hoặc "bộ đệm tiền tính toán"; các nhiệm vụ chậm hơn đáng kể không ảnh hưởng đến việc vượt qua thử thách và được xử lý theo SLA và cơ chế danh tiếng (xem §4.5 và §5.3).
• Hiệu chuẩn cơ sở và ngăn ngừa ô nhiễm: η_peak được đo và hiệu chỉnh thường xuyên bởi cụm xác minh nền tảng cho thiết bị phần cứng tham chiếu chính thức và bảng cơ sở được công khai và lập phiên bản; việc tổng hợp trực tiếp các phép đo lịch sử của các nút không liên kết không được sử dụng làm nguồn cơ sở để ngăn các mẫu chất lượng thấp hạ thấp đường cơ sở và gây ra lỗi phát hiện hoặc các mẫu chất lượng cao nâng cao đường cơ sở để vô tình làm tổn thương các nút thực.
• Bảo vệ đánh giá sai nút hiệu suất cao: Đó là tình huống pháp lý để phép đo thực tế tốt hơn đường cơ sở (nâng cấp khả năng, xem §4.6). Quá trình cảnh báo sai chỉ được kích hoạt khi số đo thực tế thấp hơn giới hạn vật lý dưới; Người vận hành được đánh giá có thể đăng ký kiểm tra lại từ xa và đánh giá thủ công (gửi hồ sơ đo thực tế và mô tả môi trường vận hành). Trong thời gian xem xét, thu nhập liên quan sẽ bị đóng băng ở trạng thái Đang chờ xử lý. Xác nhận sai sẽ hoàn toàn không bị đóng băng và sẽ không được đưa vào hồ sơ danh tiếng tiêu cực.

Nhiều kích thước ma trận (từ 1K² đến 16K³) và các kết hợp chính xác được chọn ngẫu nhiên, khiến các nút không thể chỉ thực hiện tối ưu hóa có mục tiêu trên một thang đo duy nhất.

Phát hiện bất thường cho phép đo từ xa thời gian chạy L3. Đường trung bình động có trọng số theo cấp số nhân (EWMA) được sử dụng để duy trì đường cơ sở cho các chỉ số thời gian như mức sử dụng, mức sử dụng bộ nhớ, nhiệt độ và mức tiêu thụ điện năng:

s_t = α·x_t + (1 − α)·s_{t−1}

trong đó α là hệ số làm mịn (thường là 0,05–0,2). Khi giá trị tức thời lệch khỏi đường cơ sở hơn 3σ (σ được ước tính bằng phương sai EWMA của số dư lịch sử) và tiếp tục đối với K cửa sổ lấy mẫu, thì nó được đánh dấu là sự kiện bất thường khi đo từ xa; các sự kiện bất thường được tích lũy và đưa vào danh tiếng của nhà điều hành (xem §4.5), đồng thời kích hoạt việc kiểm tra lấy mẫu mật độ mã hóa của tác vụ tương ứng. Ranh giới của phương pháp này cũng rất rõ ràng: những gì phép đo từ xa phát hiện là "sự không nhất quán về mặt thống kê" và không cấu thành bằng chứng đầy đủ về các phương tiện giả mạo - đây là lý do tại sao cần có năm lớp chồng chất thay vì một điểm xác định duy nhất.

Thách thức việc chính thức hóa các giao thức. Việc tạo và tiết lộ các thách thức L2 tuân theo mô hình Cam kết-Tiết lộ (mô hình này có cùng nguồn gốc với đèn hiệu số ngẫu nhiên của Ethereum và bằng chứng cửa sổ của Filecoin): cụm xác minh trước tiên thông báo cam kết thách thức trong mỗi vòng, sau đó tiết lộ hạt giống. Sau đó, các nút có thể kiểm tra và xác minh độc lập "không có câu hỏi chọn lọc" của cụm:

Trong số đó (y, π) là đầu ra và bằng chứng VRF, sk_V/vk_V là cặp khóa chữ ký cụm xác minh và bất kỳ bên thứ ba nào cũng có thể sử dụng vk_V để xác minh tính hợp pháp của hạt giống ngoại tuyến. Lưu ý giá trị cam kết chỉ được chứa hạt giống_q và các tham số công khai (ε, δ): A_q và B_q được dẫn xuất từ ​​hạt giống_q. Nếu bao gồm cam kết, nội dung ma trận sẽ bị khóa trong giai đoạn cam kết và thiết kế tạo câu hỏi chống chọn lọc “cam kết trước và tiết lộ sau” sẽ không hiệu quả. Quá trình xác định tham chiếu của xác minh thách thức như sau (mã giả sơ đồ, không phải triển khai cuối cùng):

4.3 Mạng lưới người xác thực (Quyền, trách nhiệm và chi phí rõ ràng)

• Cụm xác minh: Cụm xác minh cốt lõi do nền tảng xây dựng và vận hành chịu trách nhiệm tạo, ban hành và xác định tất cả các lần thực thi lại lấy mẫu và các thách thức điểm chuẩn; chi phí của nó được bao gồm trong phí dịch vụ nền tảng và được liệt kê minh bạch cho người thuê.
• Nút xác minh tình nguyện viên: Các nút có uy tín cao có thể đăng ký tham gia mạng xác minh và phải cam kết một khoản tiền đặt cọc (số tiền được liên kết với số lượng công việc xác minh sẽ được thực hiện) và được thanh toán theo xác minh hợp lệ đã hoàn thành; lỗi xác minh hoặc thông đồng với nút đã xác minh, phạt tiền và tịch thu tiền đặt cọc và loại bỏ vĩnh viễn trình độ xác minh.
• Đèn hiệu ngẫu nhiên: Hạt giống thử thách được tạo bởi cụm xác minh bằng cách sử dụng chức năng ngẫu nhiên có thể kiểm chứng (VRF) và cam kết hạt giống được công khai. Nút không thể dự đoán nội dung của thử thách và cụm xác minh sau đó có thể chứng minh rằng câu hỏi không được chọn lọc.

4.4 Truy cập nút đường ray kép

Nút đàn hồi không mang bất kỳ dịch vụ SLA nào - tính khả dụng ở cấp doanh nghiệp được đảm bảo bằng việc triển khai dự phòng các nhóm tài nguyên chuyên dụng, giúp loại bỏ mâu thuẫn về mặt kiến ​​trúc giữa "chuyển sang chế độ ngoại tuyến ngay khi bàn phím và chuột hoạt động" và "dịch vụ trực tuyến".

4.5 Cơ chế chống phù thủy và chống đặt trước quá nhiều

• Hệ thống tài khoản của nhà điều hành: Tất cả danh tiếng, cách giải quyết và hình phạt đều được nhà điều hành (thể nhân hoặc pháp nhân) tổng hợp. Hiệu suất của nhiều thiết bị dưới cùng một tên nhà điều hành được kết hợp và tính toán. Một lỗi thiết bị duy nhất ảnh hưởng đến danh tiếng chung và chu kỳ giải quyết của nhà điều hành, khiến không thể tách biệt tổn thất bằng cách "đăng ký một số lượng lớn danh tính mới, mỗi danh tính làm điều xấu một lần".
• Cho thuê tài nguyên toàn cầu và bộ nhớ nhận dạng chéo loại trừ lẫn nhau: Mỗi GPU được đăng ký trong sổ cái nền tảng với "số sê-ri thiết bị + tài khoản nhà điều hành" làm khóa. Trong khi tài nguyên bị khóa bởi tác vụ, khóa tương tự không được phép tạo tài nguyên có thể bán thứ hai. Quan trọng hơn, số sê-ri của thiết bị là duy nhất trên toàn cầu ở cấp sổ cái - cùng một số sê-ri chỉ được phép liên kết với một tài khoản của nhà điều hành cùng một lúc và có tối đa một hợp đồng thuê hợp lệ, bất kể tài khoản nào được sử dụng để khai báo nó; những thay đổi trong ràng buộc tài khoản của số sê-ri phải được cả hai bên xem xét và ấn định thời gian cân nhắc là 30 ngày. Điều này làm cho "một thẻ vật lý trao đổi ba danh tính và mỗi danh tính khai báo tất cả bộ nhớ một lần" loại trừ lẫn nhau ở cấp sổ cái, thay vì dựa vào việc phát hiện tiếp theo để được phát hiện. Việc khai báo lặp đi lặp lại trên cùng một thiết bị vật lý (bao gồm cả việc khai báo nhiều danh tính sau khi phân tách ảo hóa) sẽ kích hoạt quá trình xem xét ở cấp tài khoản; Xác minh câu lệnh L1 thu thập sự kết hợp phần cứng (kiểu GPU, tổng bộ nhớ video, cấu trúc liên kết PCIe/NUMA, phiên bản VBIOS và số sê-ri) và cũng được sử dụng để kiểm tra sự trùng lặp giữa các tài khoản - chỉ dành cho các tín hiệu kiểm tra và xem xét sự trùng lặp, không phải là cơ sở cho chứng nhận danh tính thiết bị hoặc danh sách đen vĩnh viễn (phù hợp với §4.1 "Ba điều không nên làm"). Để làm cho việc loại trừ lẫn nhau này có thể được quan sát từ bên ngoài, số liệu thống kê loại bỏ trùng lặp nhận dạng chéo (số lượng thiết bị được khai báo/số lượng thiết bị sau khi loại bỏ trùng lặp/khác biệt) được đưa vào trường "quy mô nút" của báo cáo chấp nhận ở mỗi giai đoạn và được công khai (xem §9.2.1).
• Phát hiện nghi ngờ phân cụm cấu trúc liên kết: thực hiện phân tích cụm trên cấu trúc liên kết PCIe, cấu trúc NUMA, kết hợp trình điều khiển và chương trình cơ sở của các tài nguyên được khai báo và tìm "nhiều danh tính bị nghi ngờ là cùng một máy vật lý" quan sát và kích hoạt xem xét thủ công trong thời gian giới hạn. Các tính năng cấu trúc liên kết chỉ được sử dụng để phát hiện cụm và tham chiếu lập lịch và không được sử dụng làm chứng nhận nhận dạng thiết bị. Kênh kháng cáo và bảo vệ đánh giá sai: Các nhà khai thác nhiều máy tuân thủ (quán cà phê Internet, phòng máy tính trường học, studio nhỏ, IDC đại lý) đương nhiên có cùng sự kết hợp phần cứng và phần sụn và có thể gửi danh sách thiết bị, chứng từ mua hàng và các tài liệu khác để đăng ký xem xét danh tính nhà điều hành (thời hạn xử lý là 7 ngày làm việc và kết quả được công bố); mô hình danh tiếng phân biệt giữa "gian lận phán quyết" (hình phạt và tịch thu) và "nghi ngờ cụm" (chỉ theo dõi luồng, không bị phạt và không giảm trọng lượng vĩnh viễn và trọng số sẽ được khôi phục nếu quá trình xem xét được thông qua).
• Đường cong tăng trưởng thu nhập nút mới: Giới hạn thu nhập và giải phóng dần dần được triển khai cho các nhà khai thác mới đăng ký trong 30 ngày đầu tiên, do đó thu nhập dự kiến ​​gian lận một lần từ việc đăng ký hàng loạt tài khoản mới gần bằng 0; giới hạn trên được tăng dần theo sự tích lũy của các bản ghi tính toàn vẹn.
• Nhóm phát hành hoãn lại doanh thu: Doanh thu của nút chảy ở ba trạng thái: Đã kiếm được → Đang chờ xử lý → Đã phát hành. Trong thời gian quan sát Đang chờ xử lý (được chia thành 1-72 giờ theo giá trị nhiệm vụ), việc kiểm tra và tranh chấp ngẫu nhiên sẽ được xử lý; nếu phát hiện vi phạm hợp đồng, thu nhập Đang chờ xử lý tương ứng sẽ bị tịch thu và dùng để bồi thường cho người thuê nhà bị thiệt hại. Các khoản tiền gửi riêng biệt được đặt cho hoạt động kinh doanh SLA có giá trị cao, xem §4.4.

Mô hình định lượng danh tiếng (mục tiêu thiết kế). Giá trị danh tiếng của nhà điều hành R ∈ [0, 100] được cập nhật theo "sự quên theo cấp số nhân + phản hồi nhiệm vụ":

R_{t+1} = λ·R_t + (1 − λ)·r_task

Trong số đó, r_task ∈ [0, 100] là đánh giá nhiệm vụ đơn lẻ (trạng thái vượt qua xác minh toàn diện, độ lệch hiệu suất, thành tích SLA), λ ∈ (0, 1) là hệ số quên - λ càng gần 1 thì trọng số lịch sử càng lớn, jitter thường xuyên được làm mịn hơn nhưng khả năng phục hồi chậm hơn; λ càng gần 0 thì tác động của điểm mới càng lớn, càng nhạy cảm hơn với những thay đổi gần đây và khả năng phục hồi càng nhanh. Thiết kế cân bằng danh tiếng giữa "sự ổn định" và "khả năng đáp ứng": các bản ghi tốt lâu dài giúp loại bỏ những cảm giác bồn chồn thường xuyên, trong khi sự xuống cấp liên tục khiến R hội tụ một cách đơn điệu đến các mức hiệu suất gần đây. Hệ số phạt bổ sung dành cho vỡ nợ: Mỗi sự kiện vỡ nợ được xác nhận khiến R được nhân trực tiếp với hệ số suy giảm κ (giá trị 0,8, có thể được điều chỉnh theo quy tắc kiểm soát rủi ro) và được ghi lại trong quy trình xem xét ở cấp độ nhà điều hành. Trọng số lập kế hoạch và mối quan hệ ánh xạ tiếp nhận của danh tiếng R (ví dụ: R < 60 bị cấm vào nhóm tài nguyên SLA) làm mục tiêu thiết kế và sẽ được công bố sau khi hiệu chỉnh trong thử nghiệm nội bộ giai đoạn 0.

Chức năng phạt dựa trên mô hình Tài sản thế chấp/Chém của Filecoin, nhưng giới hạn phạt hoàn toàn không vượt quá tiền gửi lưu ký của nhà điều hành để tránh các tài khoản "vốn chủ sở hữu âm":

Trong số đó, V_disputed là giá trị của nhiệm vụ đang tranh chấp, m_violation là bội số xác định trách nhiệm pháp lý (giá trị ban đầu 1.0, lũy tiến đối với các vi phạm nhiều lần), D_escrow(o) là tiền đặt cọc của nhà điều hành - số tiền phạt là giới hạn cố định trên của khoản tiền gửi và phần vượt quá sẽ do quỹ bồi thường lạm dụng nền tảng chịu và nhà điều hành không chịu trách nhiệm vô hạn.

(Nhận xét ở cấp độ hợp đồng về quyền giám sát và tịch thu doanh thu §8.6 Lớp giao thức - Khả năng này có thể được cung cấp ở giai đoạn 4 và được trình bày theo cách thống nhất trong chương lớp giao thức để tránh bị hiểu sai như được cung cấp hiện tại.)

4.6 Xếp hạng khả năng động (CU)

Điểm khả năng toàn diện của nút được định nghĩa là:

Trong số đó, P là điểm chuẩn tính toán, B là điểm băng thông bộ nhớ, M là điểm dung lượng bộ nhớ, N là điểm chất lượng mạng và R là điểm độ tin cậy lịch sử; các trọng số w_P, w_B, w_M, w_N, w_R được điều chỉnh theo loại nhiệm vụ (nhiệm vụ đào tạo tăng trọng số P/N và API trực tuyến tăng trọng số N/R), thỏa mãn w_P+w_B+w_M+w_N+w_R=1. Mỗi hạng mục phụ đều đến từ phép đo thực tế L2 và phép đo từ xa L3, không phải giá trị danh nghĩa của nhà sản xuất.

Để đảm bảo khả năng so sánh giữa các phần cứng không đồng nhất, mỗi mục con trước tiên được chuẩn hóa tối thiểu-tối đa thành [0, 1]:

Trong số đó, X_min / X_max được lấy từ các lượng tử phân phối đo được (P5 / P95) của cùng thế hệ bánh răng phần cứng để triệt tiêu độ giãn ngoại lệ. Điểm chuẩn hóa được tính trọng số và tổng theo công thức trên để thu được CU(i) ∈ [0, 100], sau đó được chia thành Tier-S/A/B/C theo điểm giới hạn đã hiệu chỉnh: việc lựa chọn điểm giới hạn tuân theo nguyên tắc "độ phân tán CU tối thiểu trong các cấp và chênh lệch tối đa về tốc độ vượt qua nhiệm vụ giữa các cấp" và sẽ được công bố sau khi hiệu chỉnh trong thử nghiệm nội bộ của giai đoạn 0 với tốc độ vượt qua nhiệm vụ thực tế (bảng thông số kỹ thuật phần cứng là dùng làm căn cứ để phân chia tạm thời trước khi hiệu chuẩn).

Các nút được chia thành các cấp bốn cấp Tier-S/A/B/C theo CU đo được. Cấp bậc và phạm vi nhiệm vụ có thể thực hiện được đưa ra trong bảng ràng buộc lập kế hoạch ở §5.4. Bảng nhiệm vụ của bất kỳ cấp nào đều duy trì tính nhất quán có thể kiểm chứng được với các thông số kỹ thuật phần cứng.

4.7 Bảo vệ chủ sở hữu nút (nhà cung cấp) và tuân thủ nội dung

Nghĩa vụ của nền tảng đối với chủ sở hữu nút ngang bằng với nghĩa vụ của người thuê:

• Thực thi đặc quyền tối thiểu: Các tác vụ của đối tượng thuê chạy trong môi trường cách ly vùng chứa (cgroups v2 + Seccomp + hệ thống tệp gốc chỉ đọc) và Node Daemon chạy với tư cách là người dùng không có đặc quyền; sự cô lập có thể làm giảm đáng kể bề mặt tấn công nhưng không thể loại bỏ hoàn toàn rủi ro. Nền tảng này được bảo hiểm cho việc này và thiết lập một quỹ bồi thường lạm dụng.
• Đánh giá việc sử dụng: Đăng ký người thuê nhà phải hoàn thành KYC; hình ảnh nhiệm vụ được phân phối thông qua kho danh sách trắng và các nút bị cấm lấy bất kỳ hình ảnh bên ngoài nào; các mục đích sử dụng như khai thác tiền điện tử, quét cổng và lưu lượng rác được đưa vào danh sách cấm vận và được phát hiện bằng phép đo từ xa.
• Bồi thường lạm dụng: Nếu chủ sở hữu nút bị tổn thất do thiếu sót trong kiểm soát rủi ro nền tảng, việc bồi thường sẽ được thực hiện từ quỹ bồi thường lạm dụng theo thỏa thuận.
• Thoát tự do: Các nút có thể thoát bất kỳ lúc nào và việc thoát sẽ không ảnh hưởng đến việc rút các lợi ích đã chuyển sang trạng thái Đã phát hành.
• Triển vọng về điện toán bí mật (Dự án nghiên cứu): Tập trung vào "Bảo vệ quyền riêng tư của mã đối tượng thuê và trọng lượng trong bộ nhớ nút", theo dõi lộ trình tính toán bí mật dựa trên Môi trường thực thi đáng tin cậy (TEE) - tức là GPU trung tâm dữ liệu hỗ trợ chế độ CC (Confidential Computing), có thể mã hóa bộ nhớ video và quy trình tính toán ở cấp độ phần cứng, do đó bản thân chủ sở hữu nút không thể đọc được dữ liệu của đối tượng thuê. Khả năng này phụ thuộc vào các thế hệ phần cứng cụ thể và sự hỗ trợ của nhà sản xuất, đồng thời được đưa vào phạm vi nghiên cứu (xem §9.3). Nó sẽ không phải là hạng mục cam kết cho đến khi hình thành quy mô thiết bị đủ tiêu chuẩn trong hệ sinh thái; trước đó, việc cách ly container + xem xét việc sử dụng + quỹ bồi thường sẽ vẫn là sự kết hợp bảo vệ chính.

thứ nămChương 5 Lớp 2: Lập kế hoạch và tổng hợp tài nguyên

5.1 Lớp thích ứng phần cứng (HAL) - Chiến lược không đồng nhất trung thực

A12 hợp nhất giao diện gửi tác vụ thông qua lớp trừu tượng hóa phần cứng thay vì tuyên bố loại bỏ những khác biệt cơ bản. Đã nói rõ ràng:

• Giao diện hợp nhất: Người thuê gửi mô tả nhiệm vụ thống nhất (mô hình, dữ liệu, yêu cầu về sức mạnh tính toán, độ trễ và hạn chế về ngân sách) mà không cần chọn mô hình GPU cụ thể.
• Tính không đồng nhất của back-end: Việc thực thi cơ bản phụ thuộc vào trình điều khiển, chuỗi công cụ biên dịch và cách triển khai toán tử của từng nhà sản xuất. Lộ trình hứa hẹn rằng ngăn xếp NVIDIA CUDA sẽ có sẵn để sản xuất; ngăn xếp AMD ROCm sẽ được cung cấp với sự hỗ trợ thử nghiệm; Việc thích ứng chip trong nước sẽ được liệt kê vào hạng mục nghiên cứu và sẽ được công bố riêng dựa trên tiến độ thực tế của dự án.
• Nền tảng này không sử dụng bất kỳ tên sản phẩm nào tương tự như nhãn hiệu của bên thứ ba.

5.2 Lập kế hoạch đường dẫn kép

Bộ lập lịch thực hiện lựa chọn đường dẫn dựa trên tỷ lệ tính toán-truyền thông α_comm của tác vụ:

• α_comm ≥ 1 (giao tiếp bị giới hạn): được gửi đến trung tâm điện toán tập trung (cụm GPU nền tảng đám mây, AI IDC chuyên nghiệp, HPC) - A12 truy cập các tài nguyên này thông qua bộ điều hợp tiêu chuẩn và cung cấp khả năng điều phối thống nhất, thay thế việc so sánh và ghép nối giá của chính người thuê.
• α_comm < 1 (điện toán bị giới hạn): Lên lịch cho nhóm tài nguyên phân tán A12 (IDC, máy trạm và nút biên đã được xác minh) để thực thi các tác vụ vòng kín cục bộ (suy luận, Nhúng, LoRA/QLoRA, xử lý hàng loạt) nhằm tránh đồng bộ hóa tần số cao của mạng WAN.

Hai thành phần thời gian của α_comm được mô hình hóa bằng mô hình truyền thông Hockney cổ điển và ước tính thông lượng Roofline:

• Thời gian giao tiếp: T_comm ≈ T_startup + m / BW + o(m), trong đó m là lượng dữ liệu được truyền để đồng bộ hóa một bước (ví dụ: trong đào tạo toàn tham số, nó xấp xỉ bằng số byte tham số được đồng bộ hóa × số lần đồng bộ hóa), BW là băng thông hiệu quả của liên kết (đo lường thực tế, không danh nghĩa), T_startup là độ trễ khởi động cố định (thường là 10–100ms đối với WAN, NVLink/IB điển hình < 10μs), o(m) Các mục bổ sung cho ngăn xếp giao thức;
• Thời gian tính toán: T_compute = FLOPs / η_eff, trong đó FLOP là số lượng phép tính dấu phẩy động một bước (huấn luyện toàn tham số xấp xỉ 6 × lượng tham số × số mã thông báo) và eta_eff là thông lượng công suất tính toán hiệu quả được đo (tuân theo các ràng buộc cường độ số học trong mô hình đường mái, thường là 30%–60% công suất tính toán cao nhất).

Lấy việc tinh chỉnh tham số đầy đủ của mô hình tham số 7B làm ví dụ: trong chế độ song song dữ liệu, mỗi bước yêu cầu khoảng 28GB đồng bộ hóa (trọng lượng FP16 + trạng thái trình tối ưu hóa thay đổi tùy theo cách triển khai) và giao tiếp một bước trên liên kết WAN 25Gbps (băng thông hiệu dụng ≈ 3GB/s) mất ≈ 9,3 giây; mức đồng bộ hóa tương tự là < 1 trong cụm InfiniBand 400Gbps (hiệu quả ≈ 45GB/s). giây - thời gian giao tiếp khác nhau theo độ lớn, trong khi tính toán một bước ở quy mô này chỉ là giây. Đây là cơ sở định lượng cho “các nhiệm vụ truyền thông cao phải nằm trong các cụm tập trung”. Điều cần nhấn mạnh là 25Gbps thuộc cấp độ kết nối đường dây/trung tâm dữ liệu chuyên dụng; tính toán lại dựa trên đường lên tại nhà 1Gbps (hiệu quả ≈ 110 MB/s), cùng dung lượng đồng bộ hóa 28GB mất khoảng 265 giây/bước, cao hơn gần 30 lần so với ví dụ trên. Kết luận này cực đoan hơn nhiều so với ví dụ về phân bổ băng thông biên thực. Thư viện tham số α_comm của bộ lập lịch được xây dựng theo phân bổ băng thông đầu cuối nguồn cung cấp mục tiêu (P50/P90 ngược dòng, độ trễ xuyên biên giới) và duy trì khả năng chịu lỗi đối với các lỗi ước tính: các nhiệm vụ ranh giới ở cả hai phía của ngưỡng được xác định bằng cách xem xét phép đo thực tế. Bộ lập lịch ước tính α_comm khi tác vụ được gửi và thả nó vào thư viện, đồng thời so sánh nó với giá trị quan sát được của quá trình thực thi tác vụ thực tế, đồng thời liên tục sửa thư viện tham số băng thông và thông lượng. Ước tính giảm tải của năm loại nhiệm vụ điển hình được hiển thị trong Hình 5-1:

Hình 5-1 Cơ sở cho việc lập kế hoạch và giảm tải theo đường dẫn kép: Hai bên của ngưỡng α_comm lần lượt là các cụm tập trung và nhóm tài nguyên phân tán.

5.3 Quyết định lập kế hoạch và mô hình SLA

Lập kế hoạch chấm điểm có trọng số đa mục tiêu:

Trọng lượng được điều chỉnh linh hoạt dựa trên loại nhiệm vụ. Giải pháp lập lịch được đơn giản hóa thành hai bước lọc ràng buộc + tính điểm tham lam trong kỹ thuật: trước tiên lọc nhóm ứng viên theo các ràng buộc cứng (tiếp nhận cấp độ, tiếp nhận SLA, khớp bộ nhớ/cấu trúc liên kết, ngưỡng danh tiếng), sau đó sắp xếp các ứng viên còn lại theo Điểm để chọn điểm tối ưu. Độ phức tạp tổng thể là O(N log N) và việc ra quyết định đơn lẻ có thể được hoàn thành trong một phần nghìn giây ở quy mô nút nghìn cấp; tối ưu hóa lâu dài các trọng số đa mục tiêu được liệt kê dưới dạng mục nghiên cứu và không được cam kết với phiên bản đầu tiên.

Toán học dư thừa cho tính khả dụng của SLA. Giả sử rằng mức độ sẵn có hàng tháng của một nút là A₀, đồng thời các nút hoạt động và dự phòng được triển khai độc lập, với nguồn điện và ổ cắm mạng độc lập, thì mức độ sẵn sàng chung của dịch vụ là:

A = 1 − (1 − A₀)²

Lấy A₀ = 99,5% làm ví dụ, sau khi dự phòng máy kép, A = 1 − 0,0052 = 99,9975%, tức là thời gian không sẵn sàng tích lũy hàng tháng được nén từ khoảng 3,6 giờ xuống còn khoảng 1,1 phút. Nền tảng thực hiện lập kế hoạch công suất dựa trên điều này: độ khả dụng mục tiêu A* được suy ra từ độ sẵn sàng yêu cầu của một nút A₀* = 1 − √(1 − A*). Chỉ khi số lượng cặp hoạt động và dự phòng trong nhóm tài nguyên chuyên dụng thỏa mãn A₀ ≥ A₀* ≥ số lượng đơn đặt hàng SLA đã bán + biên độ an toàn thì các đơn đặt hàng mới mới được chấp nhận - khi số tiền ký quỹ không đủ, các đơn đặt hàng SLA mới sẽ bị từ chối thay vì bán quá mức. Đây là việc triển khai cách ly đường ray kép §4.4 ở mức công suất. Cần nhấn mạnh rằng: 99,5% và 99,9975% ở trên là các tính toán mẫu của cỡ cơ sở thiết kế, cũng là mục tiêu thiết kế chứ không phải là kết luận đo lường thực tế; các ví dụ được sử dụng để minh họa thứ tự mối quan hệ cường độ của tổng hợp dự phòng và 99,9975% không phải là giá trị cam kết bên ngoài (xem khung giá trị mục tiêu SLA bên dưới để biết giới hạn dưới của cam kết bên ngoài).

Tính khả dụng của mặt phẳng điều khiển (A_platform). Công thức trên chỉ bao gồm phần dư thừa ở phía nút tài nguyên; các thành phần mặt phẳng điều khiển như cụm lập lịch, đo lường, giải quyết và xác minh được nền tảng tự xây dựng và vận hành, đồng thời tính khả dụng của chúng được mô hình hóa riêng biệt: mặt phẳng điều khiển được triển khai trong nhiều vùng khả dụng và cổng WSS có nhiều hoạt động; khi cụm xác minh không khả dụng, việc phát hành thử thách sẽ tự động bị hạ cấp xuống chế độ kiểm tra ngẫu nhiên và việc phát hành doanh thu đang chờ xử lý sẽ bị hoãn lại và các giá trị mặc định của nút không được tính đến. Mức độ sẵn sàng của dịch vụ được cam kết bên ngoài = A_platform × A_node. Giá trị mục tiêu thiết kế của nó được hiển thị trong "Khung giá trị mục tiêu SLA" bên dưới. Giá trị cam kết chính thức được công bố cùng với phiên bản phát hành chính thức và được đăng ký làm số theo dõi D-23. Quy tắc thanh toán khi xảy ra lỗi ở mặt phẳng điều khiển: Việc thanh toán bị tạm dừng trong thời gian xảy ra sự cố và các đơn hàng đã đạt đến SLA sẽ được thực thi theo điều khoản bồi thường - người thuê không phải trả tiền cho các lỗi nền tảng.

Khung giá trị mục tiêu SLA (điều kiện tiên quyết cho hoạt động bán hàng ra nước ngoài giai đoạn 2). Giá trị mục tiêu về tính khả dụng ở cấp độ dịch vụ được cam kết bên ngoài được công bố cùng với phiên bản phát hành chính thức; Bài viết này trước tiên đưa ra mục tiêu thiết kế: tính khả dụng ở cấp độ dịch vụ của chế độ đảm bảo độc quyền A_service ≥ 99,5%, trong đó mặt phẳng điều khiển A_platform ≥ 99,9% và tính khả dụng tổng hợp phía nút ≥ 99,6% (tổng hợp theo A = A_platform × A_node). Ba thước đo rõ ràng như sau: Thứ nhất, 99,5% là giới hạn dưới của các cam kết bên ngoài, không phải giá trị vận hành dự kiến ​​- việc lập kế hoạch công suất được thực hiện theo logic giải pháp nghịch đảo A* A₀* của công thức trên; nó không mâu thuẫn với ví dụ trước đó là 99,9975%, là giá trị tổng hợp theo lý thuyết theo đường cơ sở thiết kế A₀ = 99,5% (cỡ nòng hàng tháng). Sự khác biệt giữa giới hạn dưới và giá trị tổng hợp lý thuyết là biên độ an toàn của các cam kết bên ngoài. Thứ hai, đường cơ sở thiết kế của A₀ là 99,5% hàng tháng (các nút dự phòng và hoạt động ở chế độ bảo đảm độc quyền); theo giải pháp nghịch đảo của A = 1 − (1 − A₀)², tính khả dụng tổng hợp phía nút được cam kết bên ngoài ≥ 99,6% tương ứng với A₀* ≥ 93,68%. 93,68% là giá trị nghịch đảo tương ứng với giới hạn dưới của cam kết bên ngoài, không phải là đường cơ sở thiết kế của một nút duy nhất. Việc lập kế hoạch năng lực thực tế dựa trên việc thực hiện cơ sở 99,5%. Thứ ba, khoảng thời gian thống kê: A_service, A_platform và A_node đều được tính toán dựa trên các tháng tự nhiên (cửa sổ hàng tháng). Khả năng sẵn có hàng năm là trung bình số học của 12 tháng tự nhiên. Khoản bồi thường SLA dựa trên tháng tự nhiên làm chu kỳ kế toán. Tất cả các giá trị trên đều là mục tiêu thiết kế chứ không phải là kết luận đo lường thực tế; trước khi giá trị mục tiêu được công bố chính thức, nền tảng sẽ không ký hợp đồng dịch vụ có chứa SLA với công chúng - việc thương mại hóa SLA trong Giai đoạn 2 dựa trên thông báo này như một điều kiện tiên quyết cứng rắn; trong trường hợp nền tảng bị lỗi, quy tắc thanh toán và bồi thường "lỗi không được lập hóa đơn" sẽ được công bố đồng thời với giá trị mục tiêu.

Kinh tế bên cung và xử lý thặng dư nhóm độc quyền. Bảng tính toán so sánh về phạm vi doanh thu hàng tháng, hóa đơn tiền điện và tỷ lệ khấu hao cũng như chi phí cơ hội "không hoạt động/bán lại" của một thiết bị loại RTX 4090 ở chế độ linh hoạt [Thông báo trước khi phát hành · D-24] - Tính toán này là cơ sở đầu tiên cho mục tiêu duy trì nút và mở rộng quy mô trong §9.2. Khi nhóm chuyên dụng đạt tiêu chuẩn và cặp chính/dự phòng vượt quá đơn hàng đã bán trong một thời gian dài, công suất nhàn rỗi sẽ được chuyển sang nhóm đàn hồi để thực hiện các nhiệm vụ gián đoạn hoặc được giải quyết với người thuê doanh nghiệp theo thỏa thuận dự trữ công suất để tránh tình trạng nhàn rỗi một chiều.

Việc triển khai tham chiếu của việc lập lịch ra quyết định như sau (lọc bị ràng buộc + tính điểm tham lam, mã giả được hiển thị):

Cơ chế định giá theo lịch trình: Việc định giá nhiệm vụ áp dụng cấu trúc "giá cơ sở được tiết lộ + tiền thưởng chất lượng" - giá cơ sở dao động theo cung và cầu theo các quy tắc chung (tham khảo ý tưởng khám phá giá của EIP-1559, xem §3.4) và phần thưởng chất lượng được tính theo cấp độ tài nguyên (Cấp S/A/B/C) và cấp độ SLA. Tất cả các thông số giá đều có sẵn công khai và có thể được kiểm tra để tránh bất kỳ sự thiếu hụt nào.

5.4 Bảng ràng buộc lập kế hoạch cấp độ tài nguyên

Mối quan hệ tương ứng giữa cấp bậc và phạm vi nhiệm vụ có thể được thực hiện như sau (phù hợp với phân loại CU trong §4.6):

5.5 Vòng đời nhiệm vụ và xử lý tranh chấp

Máy trạng thái tác vụ: Đang chờ → Đã lên lịch → Đang chạy → (Đã tạm dừng) → Đã hoàn thành/Không thành công/Tranh chấp. Nhiệm vụ bị cố định đang tranh chấp tương ứng với Doanh thu đang chờ xử lý và đi vào vị trí phát lại tương tác: phát lại các phần nhiệm vụ trên cụm xác minh, xác định bên chịu trách nhiệm (nút, nền tảng hoặc đầu vào của người thuê) và chia thù lao theo trách nhiệm.

Hình 5-2 Máy trạng thái vòng đời nhiệm vụ A12: nhiệm vụ đang tranh chấp bị đóng băng Thu nhập đang chờ xử lý và chuyển sang chế độ phát lại tương tác để xác định bên chịu trách nhiệm

5.6 Bảng điều khiển hướng tới đối tượng thuê và thời gian chạy hộp cát an toàn

Để cung cấp trải nghiệm cho người thuê không thua kém các nền tảng đám mây truyền thống, Lớp 2 đóng gói lớp tương tác với người thuê và môi trường thực thi an toàn. Sau đây là các mục tiêu thiết kế và các chỉ số chấp nhận sẽ được tiết lộ trong thử nghiệm nội bộ giai đoạn 0:

• Thiết bị đầu cuối web và kênh tệp: Sau khi nút được đăng ký, nút này sẽ tích cực thiết lập kết nối WebSocket (WSS) được mã hóa gửi đi tới cổng điều phối để tạo thành một đường hầm proxy ngược; bảng điều khiển đối tượng thuê sử dụng thành phần mô phỏng thiết bị đầu cuối Web để kết nối trực tiếp với nút, loại bỏ nhu cầu ánh xạ cổng IP mạng công cộng và các quy trình phân phối khóa, đồng thời tương thích với mọi môi trường NAT/tường lửa. Bảng điều khiển đồng thời hoạt động như một tác nhân cho các dịch vụ Notebook trực tuyến và dịch vụ lưu trữ tệp, đồng thời tải lên bằng cách sử dụng phân đoạn HTTP và tiếp tục điểm dừng để đảm bảo truyền đáng tin cậy các tập dữ liệu và tập lệnh đào tạo dung lượng lớn.
• Lập lịch phiên bản cấp hai được chứa trong bộ chứa: thay vì sử dụng chế độ máy ảo truyền thống, thời gian chạy bộ chứa nhẹ được sử dụng làm hộp cát. Nền tảng này được cài sẵn với hình ảnh cơ bản được sắp xếp hợp lý (ngăn xếp suy luận Ubuntu LTS + CUDA + PyTorch + các phần phụ thuộc phổ biến) và lớp hình ảnh chỉ đọc được tải trước trong thời gian nhàn rỗi; khi tác vụ được bắt đầu, chỉ một vài megabyte lớp tùy chỉnh được lấy theo thời gian thực. Mục tiêu thiết kế: thời gian khởi động nguội của một phiên bản 10 giây (cùng khu vực, cấp truy cập bộ nhớ đệm phản chiếu; các kịch bản liên khu vực hoặc lỗi bộ nhớ đệm được chia thành các mục tiêu khác nhau dựa trên băng thông ngược dòng của nút và dữ liệu đo thực tế phải tuân theo báo cáo chấp nhận công khai).
• Cách ly hạn ngạch ở mức vật lý: Sử dụng cgroups v2 và Seccomp để đặt giới hạn cứng cho CPU, bộ nhớ và băng thông IO của vùng chứa; sử dụng NVIDIA Container Runtime để đảm bảo rằng chỉ các thiết bị GPU được chỉ định mới hiển thị trong vùng chứa. Sự cô lập này có thể làm giảm đáng kể bề mặt tấn công và ngăn chặn các tiến trình bên đọc bộ nhớ của đối tượng thuê, nhưng nó không hứa hẹn loại bỏ hoàn toàn việc thoát khỏi container (xem Chương 10 để biết các rủi ro còn sót lại) và nền tảng sử dụng quỹ bồi thường lạm dụng để trang trải chi phí.

thứ sáuChương 6 Lớp 3: Dịch vụ mẫu (MaaS)

6.1 Truy cập mô hình và quản lý phiên bản

Cơ quan đăng ký mô hình thống nhất ghi lại các nguồn, phiên bản, tóm tắt trọng lượng, môi trường vận hành và kết quả đánh giá của mô hình; mô hình doanh nghiệp tư nhân chỉ được lưu trữ và không làm thay đổi quyền sở hữu quyền sở hữu trí tuệ. Cam kết này bị giới hạn bởi cơ chế bảo mật §4.7 và các biện pháp cách ly §5.6: Bảo vệ IP ở chế độ nút đàn hồi dựa vào cách ly vùng chứa (nó không hứa hẹn loại bỏ hoàn toàn việc thoát khỏi vùng chứa và rủi ro còn lại được chi trả bởi quỹ bồi thường lạm dụng và bảo hiểm §4.7); những người thuê có nhu cầu cao về cách ly IP được khuyến nghị sử dụng chế độ bảo đảm độc quyền hoặc áp dụng tầng điện toán bảo mật TEE (dự án nghiên cứu) hướng tới tương lai của §4.7. Để đưa một mô hình lên kệ, thẻ mô hình phải được nộp để ghi lại mục đích sử dụng dự kiến, các giới hạn đã biết và các tiêu chuẩn đánh giá, đồng thời liên kết nó với hệ thống đo lường nền tảng.

6.2 Đường dẫn mô hình ngành dọc

Việc quy hoạch nền tảng thiết lập khả năng cạnh tranh của lớp mô hình theo cách tiếp cận "một hướng dọc". Hướng dọc đầu tiên là mã Web3 và kỹ thuật bảo mật (phù hợp với nền tảng của nhóm được tiết lộ; tất cả các chỉ số trong phần này là mục tiêu lập kế hoạch, không phải dữ kiện đã hoàn thành):

• Quản lý Corpus: Xây dựng quy trình thu thập dữ liệu có cấu trúc để thu thập và cấp phép mã nguồn của kho hợp đồng nguồn mở, cộng đồng tiết lộ lỗ hổng công khai và các hợp đồng đã được xác minh trên chuỗi; kho dữ liệu huấn luyện trước được hình thành sau khi lọc cây cú pháp, loại bỏ trùng lặp gần đúng và lấy mẫu thủ công. Mục tiêu quy mô: Lô kho ngữ liệu đào tạo trước đầu tiên ≥ 10B token. Quản trị giấy phép: Thiết lập danh sách trắng/danh sách đen giấy phép - Các giấy phép cấp phép (MIT/Apache/BSD) được ưu tiên đưa vào; ranh giới bao gồm của GPL/AGPL và tập đoàn cấp phép copyleft khác, cũng như tầm cỡ pháp lý của việc "liệu trọng lượng đào tạo có phải là tác phẩm phái sinh hay không", phải tuân theo các ý kiến ​​pháp lý đặc biệt [Ý kiến ​​pháp lý: Bổ sung và công bố trước khi phát hành · D-25]; các quy tắc chống trùng lặp và sàng lọc giấy phép được tiết lộ cùng với tài liệu quy trình kho ngữ liệu. Mã thông báo 10B là lô quy mô đầu tiên và quy mô mô hình được lên kế hoạch đồng bộ với luật chia tỷ lệ Chinchilla và số lượng kho dữ liệu (bánh răng tham số vừa và nhỏ ưu tiên hiệu quả); ngân sách dữ liệu và lịch trình của các đợt tiếp theo [Bổ sung và công bố trước khi phát hành · D-26].
• Đào tạo trước liên tục (CPT) và tinh chỉnh có giám sát (SFT): sử dụng mô hình cơ sở mã nguồn mở làm điểm bắt đầu cho đào tạo trước liên tục tại hiện trường, sau đó áp dụng "vị trí lỗi → xây dựng đường dẫn tấn công → dự đoán hậu quả → đề xuất bản vá → kiểm tra hồi quy" bộ hướng dẫn lập luận nhiều bước để tinh chỉnh có giám sát. Việc đào tạo được thực hiện trong một trung tâm điện toán tập trung (cấp S), tuân theo các quy tắc đường dẫn kép trong Chương 5; quy mô đào tạo (số lượng phiên bản, chiến lược song song, độ dài bối cảnh) được công bố cùng với ngân sách giai đoạn và không đưa ra cam kết cố định nào.
• Căn chỉnh cuộc gọi công cụ (DPO): Đầu ra mô hình được kết nối với hộp cát công cụ bên ngoài (khung kiểm tra biên dịch, công cụ phân tích tĩnh) và dữ liệu tùy chọn được xây dựng bằng cách sử dụng kết quả thực thi công cụ để tối ưu hóa tùy chọn trực tiếp nhằm giảm dương tính giả "lỗ hổng ma". Cơ chế này là một cải tiến mang tính quyết định: các kết luận của mô hình phải được kiểm chứng bằng công cụ.

Các chức năng mục tiêu của hai giai đoạn huấn luyện như sau (thiết kế tầm cỡ mục tiêu).

Giai đoạn SFT sử dụng tổn thất entropy chéo được che giấu: chỉ tổn thất được tính cho phần trả lời của trợ lý và phần từ nhắc nhở được che giấu:

L_SFT(θ) = − (1/|y|) · Σ_{t=1}^{|y|} log p_θ(y_t | x, y_{&lt;t})

Trong đó x là đầu vào (bao gồm mẫu hướng dẫn suy luận nhiều bước), y là chuỗi đầu ra đích, |y| là độ dài của chuỗi mục tiêu và p_θ là xác suất có điều kiện của mô hình theo tham số θ. Bộ hướng dẫn lập luận gồm nhiều bước (vị trí lỗi → xây dựng đường dẫn tấn công → dự đoán hậu quả → đề xuất vá lỗi → kiểm tra hồi quy) được tổ chức theo một mẫu có cấu trúc, do đó tổn thất tập trung vào chất lượng tạo ra chuỗi lý luận và kết luận.

Giai đoạn DPO xây dựng cặp tùy chọn (y_w, y_l) dựa trên kết quả thực thi công cụ - y_w là đầu ra vượt qua quá trình đánh giá công cụ (đạt quá trình biên dịch, vượt qua kiểm tra, xác nhận phân tích tĩnh), y_l là đầu ra bị công cụ từ chối - được tối ưu hóa theo các ràng buộc của mô hình tham chiếu p_ref:

L_DPO(θ) = − E_{(x, y_w, y_l)} [ log σ( β·log(p_θ(y_w|x)/p_ref(y_w|x)) − β·log(p_θ(y_l|x)/p_ref(y_l|x)) ) ]

trong đó σ là hàm sigmoid và β là hệ số độ lệch cường độ so với mô hình tham chiếu (thường là 0,1), ngầm thay thế việc đào tạo mô hình khen thưởng độc lập. Ý nghĩa kỹ thuật của tuyến đường này là tín hiệu ưu tiên không dựa vào đánh giá chủ quan của chú thích thủ công mà được cố định bởi các kết quả khách quan của việc thực thi công cụ, khiến cho việc "giảm các kết quả dương tính giả về các lỗ hổng ma" trở thành mục tiêu tối ưu hóa có thể được sao chép và hồi quy, thay vì kết quả điều chỉnh tham số một lần.

Training scale planning: Chinchilla scaling law. Ngân sách đào tạo mô hình dọc được xác định bởi tổn thất mục tiêu L, số lượng tham số mô hình N và số lượng mã thông báo đào tạo D và tuân theo dạng thực nghiệm giống Chinchilla:

Trong đó, E là sai số không thể giảm được và A, B, α và β là các hệ số kinh nghiệm liên quan đến nhiệm vụ. Công thức này minh họa rằng chỉ cần mở rộng mô hình mà không tăng dữ liệu hoặc chỉ tăng dữ liệu mà không mở rộng mô hình sẽ đi vào vùng lợi nhuận cận biên giảm dần. Dựa trên điều này, nền tảng lập kế hoạch ba giai đoạn về "kích thước mô hình ↔ kích thước khối văn bản ↔ ngân sách sức mạnh tính toán" và tiết lộ quy mô đào tạo (số lượng phiên bản, chiến lược song song, độ dài ngữ cảnh) theo ngân sách giai đoạn và không đưa ra các cam kết cố định.

Ranh giới tuân thủ: Khả năng của mô hình được định vị là công cụ tham chiếu phụ trợ và đầu ra được sử dụng để hỗ trợ phát triển và đánh giá an ninh nội bộ; báo cáo kiểm toán chính thức có xếp hạng CVSS không được phát hành bên ngoài và các dịch vụ đó phải do các đối tác đủ điều kiện cung cấp. Quá trình liên hệ đã được bắt đầu và việc ký kết với ít nhất một đối tác đủ điều kiện đã được hoàn tất và tên được tiết lộ trước khi phiên bản beta công khai mục tiêu được tung ra; dòng sản phẩm sẽ không được thương mại hóa chính thức trước khi ký kết và tiến độ hợp tác sẽ được cập nhật theo từng giai đoạn trên trang web chính thức (tuân theo các tuyên bố hướng tới Chương 10).

6.3 Cổng API tương thích OpenAI

Cổng tuân thủ nghiêm ngặt tiêu chuẩn giao diện OpenAI và thực hiện di chuyển mã 0 của các ứng dụng hiện có:

• Điểm cuối tiêu chuẩn: Cung cấp khả năng tương thích ngược của /v1/chat/completions, /v1/models và /v1/embeddings, đồng thời hỗ trợ trả về phát trực tuyến sự kiện phía máy chủ (SSE); các ứng dụng đã tích hợp OpenAI SDK, LangChain hoặc LlamaIndex chỉ cần thay thế địa chỉ và khóa cổng.
• Cân bằng tải động: Cổng phân bổ độ sâu hàng đợi suy luận theo từng cấp độ tài nguyên - các tác vụ tải cao trong ngữ cảnh dài được định tuyến đến các tài nguyên Cấp A trở lên và các tác vụ ngắn tần suất cao được định tuyến đến các nhóm tài nguyên biên. Mục tiêu thiết kế: Độ trễ trung bình của từ đầu tiên (TTFT) trong giai đoạn beta công khai là 400ms (bánh răng ngữ cảnh 8K; bánh răng ngữ cảnh dài 32K được đặt riêng với dữ liệu đo beta công khai).
• Thuật toán cân bằng tải: Chiến lược "Sức mạnh của hai lựa chọn" được áp dụng trong cùng một cấp độ - hai phiên bản ứng viên được chọn ngẫu nhiên và yêu cầu được gửi đến phiên bản có độ sâu hàng đợi nhỏ hơn. Chiến lược này không yêu cầu truy xuất tối thiểu toàn cục và có chi phí liên lạc là O(1), nhưng nó có thể giảm độ dài hàng đợi từ phân phối mũ ngẫu nhiên toàn cầu đến phân rã đa thức: kết luận của lý thuyết hàng đợi cổ điển là khi tải hệ thống gần bão hòa, lựa chọn thứ cấp sẽ giảm độ dài hàng đợi trung bình từ O(n) xuống O(log log n). So với giải pháp quét toàn cầu "luôn chọn phiên bản trống nhất", độ trễ thấp và khả năng mở rộng theo chiều ngang của bộ lập lịch được đổi lấy một chi phí dài rất nhỏ ở quy mô phiên bản nghìn cấp, phù hợp với mục tiêu TTFT của cổng.

Lý thuyết xếp hàng hoạch định năng lực. Khi yêu cầu đến trong một quy trình Poisson gần đúng, tốc độ dịch vụ của một phiên bản đơn lẻ μ và số lượng phiên bản đồng thời c, thời gian chờ xếp hàng được tính theo công thức Erlang C (mô hình M/M/c):

Trong số đó, T_prefill(s) là thời gian tính toán của giai đoạn điền trước (tăng tuyến tính với độ dài ngữ cảnh s) và C(c, ρ) là xác suất chờ Erlang C. Mô hình này được sử dụng cho hai quyết định kỹ thuật: thứ nhất, để xác định ngược số lượng phiên bản c đồng thời tối thiểu cần thiết cho mỗi cấp độ cho mục tiêu TTFT (400 mili giây); thứ hai, để kích hoạt mở rộng trước khi độ sâu hàng đợi đạt đến mức bão hòa (ρ → 1) - đây là cơ sở lý thuyết để bộ cân bằng tải sử dụng độ sâu hàng đợi làm tín hiệu định tuyến. Trong giai đoạn beta công khai, bảng quy hoạch công suất sẽ được công bố sau khi hiệu chỉnh μ với tốc độ đến đo được λ.

6.4 Kỹ thuật hiệu suất suy luận: xử lý hàng loạt liên tục và tối ưu hóa khởi động nguội

• Xử lý hàng loạt liên tục ở cấp độ lặp: tự động chèn và thoát các yêu cầu ở mức độ chi tiết của các lần lặp. Sau khi yêu cầu kết thúc, trang bộ nhớ video của nó sẽ được tái sử dụng ngay lập tức. Các yêu cầu mới được đưa vào hàng đợi sẵn sàng để chờ lần lặp tiếp theo được chèn vào, loại bỏ "hiệu ứng thùng" của quá trình xử lý hàng loạt tĩnh. Mục tiêu thiết kế: Tốc độ tải hiệu quả của GPU ≥ 75% (tùy thuộc vào phép đo thực tế trong báo cáo nghiệm thu của công chúng).
• Quản lý phân trang bộ nhớ video: Áp dụng bộ đệm khóa-giá trị phân trang (giải pháp loại PagedAttention), chia bộ đệm KV thành các trang bộ nhớ video có độ dài cố định và duy trì ánh xạ logic với các bảng trang. Nó hỗ trợ phân bổ vật lý không liên tục và giảm tỷ lệ phân mảnh; hỗ trợ các nhánh hội thoại nhiều vòng để chia sẻ các khối bộ nhớ video tiền tố.
• Bộ đệm khởi động nguội: Tải trước các trọng số chỉ đọc của mô hình cơ bản trên mỗi nút nhóm tài nguyên; trọng lượng LoRA do người dùng xác định (thường chỉ hàng chục MB) được kéo gần nhau và chuyển đổi nóng thông qua bộ đệm được phân phối, hỗ trợ chuyển đổi liền mạch giữa nhiều người thuê và nhiều mô hình trên cùng một GPU.

Lập kế hoạch dung lượng bộ nhớ cache KV (mục tiêu thiết kế). Các yêu cầu về năng lực đối với quản lý phân trang được ước tính như sau:

M_KV = 2 × L × H_kv × d_head × s × b × bytes_per_elem

Trong số đó, 2 là bộ đệm K/V, L là số lớp, H_kv là số lượng đầu giá trị khóa (khi nhóm GQA được sử dụng để truy vấn sự chú ý, H_kv ≪ số lượng đầu chú ý, có thể nén đáng kể bộ đệm), d_head là kích thước của mỗi đầu, s là độ dài chuỗi, b là kích thước lô đồng thời và bytes_per_elem là số byte chính xác. Lấy mô hình 80 lớp, H_kv = 8, d_head = 128, FP16 mang bối cảnh 32K làm ví dụ: bộ nhớ đệm KV chuỗi đơn ≈ 2 × 80 × 8 × 128 × 32768 × 2 B ≈ 10,7 GB - cường độ này cho thấy rằng bộ nhớ đệm KV, thay vì bản thân trọng lượng mô hình, thường là nút thắt cổ chai bộ nhớ video của các dịch vụ ngữ cảnh dài. Cơ chế phân trang hạ thấp giới hạn trên của tốc độ phân mảnh xuống "dưới một trang trên mỗi chuỗi" (kích thước trang điển hình là 16 mã thông báo, lãng phí về mặt lý thuyết ≤ kích thước trang × số lượng trình tự) và việc chia sẻ tiền tố cho phép nhiều vòng hội thoại và yêu cầu với cùng một từ nhắc hệ thống để sử dụng lại cùng một loạt trang vật lý.

Mô hình thông lượng để xử lý hàng loạt liên tục. Tốc độ tải trọng GPU được xác định là tỷ lệ thời gian thực hiện thực tế của toán tử mục tiêu:

Util = T_busy / (T_busy + T_idle + T_overhead)

Trong xử lý hàng loạt tĩnh, T_idle xuất phát từ "yêu cầu nhanh đang chờ yêu cầu chậm nhất trong lô" (hiệu ứng thùng). Lô càng lớn thì chất thải càng nặng. Quá trình xử lý hàng loạt liên tục sẽ sắp xếp lại lô với độ chi tiết lặp lại, sao cho T_idle tiến tới 0 và chi phí còn lại chỉ là chính việc lập lịch trình (T_overhead, mức mili giây). Kết hợp với phân bổ bộ đệm KV theo yêu cầu, bộ lập lịch có thể linh hoạt tối đa hóa số lượng trình tự đồng thời trong phạm vi bộ nhớ bao gồm "giới hạn trên của kích thước lô × giới hạn trên của độ dài trình tự" - đây là nguồn gốc của cơ chế cho mục tiêu thiết kế tốc độ tải trọng 75% (tùy thuộc vào phép đo thực tế trong báo cáo chấp nhận của công chúng), không phải là một con số đáng ngạc nhiên.

Mô hình Hiệu suất Đường mái. Thông lượng cao nhất của suy luận thẻ đơn tùy thuộc vào cường độ số học I (FLOP/byte):

Trong số đó, π_peak là sức mạnh tính toán cao nhất và β_mem là băng thông bộ nhớ. Thông lượng thực tế của các tác vụ có cường độ số học thấp (chẳng hạn như giai đoạn giải mã, phần lớn phụ thuộc vào bộ nhớ) được xác định bởi β_mem·I chứ không phải công suất tính toán đỉnh cao. Đây là cơ sở lý thuyết cho các công nghệ như nén bộ đệm KV, lý luận có độ chính xác thấp, PagedAttention và xử lý hàng loạt liên tục nhằm theo đuổi "giảm lượng truy cập bộ nhớ trên mỗi mã thông báo". Tầm nhìn xa về Kỹ thuật Hiệu suất (mục nghiên cứu, xem §9.3). Các hướng đi hàng đầu của cộng đồng tối ưu hóa suy luận sẽ được theo dõi dưới dạng lộ trình phát triển liên tục của lớp MaaS, bao gồm:

• Giải mã đầu cơ: Sử dụng phương pháp tạo bản phác thảo mô hình nhỏ và xác minh song song mô hình lớn, độ trễ giải mã được nén nhiều lần trong khi chất lượng đầu ra không thay đổi; cấu trúc xác minh dự thảo của nó tự nhiên phù hợp với kiến ​​trúc cụm xác minh A12;
• Suy luận có độ chính xác thấp (FP8/FP4): mang bộ nhớ đệm KV và phép nhân ma trận ở định dạng có độ chính xác thấp gốc của phần cứng, đồng thời nén các yêu cầu về băng thông và chiếm dụng bộ nhớ video như nhau. Theo công thức M_KV trong §6.4, FP8 có thể trực tiếp nhân đôi số lượng chuỗi ngữ cảnh dài đồng thời mà cùng một thẻ có thể mang;
• Kiến trúc phân tách điền trước/giải mã (Cung cấp phân tách): Chia phần tạo từ đầu tiên (chuyên sâu về tính toán) và giải mã tiếp theo (chuyên sâu về băng thông) thành các nhóm tài nguyên khác nhau, giống như triết lý lập kế hoạch "phân chia theo tỷ lệ tính toán-truyền thông" của A12;
• Giảm tải theo phân cấp bộ nhớ đệm KV: HBM → DDR → Phân cấp bộ nhớ đệm ba cấp của NVMe, mở rộng độ dài ngữ cảnh có thể sử dụng được bằng cách di chuyển trang nhận biết nhiệt độ;
• Bộ nhớ đệm ngữ nghĩa: Trực tiếp sử dụng lại các câu trả lời được lưu trong bộ nhớ đệm cho các yêu cầu lặp lại về mặt ngữ nghĩa, giảm đáng kể mức tiêu thụ điện năng tính toán khi tải Hỏi & Đáp cơ sở kiến ​​thức;
• Song song chuyên gia MoE: Việc phân phối nhiều nút và định tuyến động các trọng số chuyên gia của mô hình chuyên gia kết hợp giúp "hàng chục tỷ mô hình cấp tham số có thể được phục vụ trên các nhóm tài nguyên phân tán" - đây là cơ hội để phân biệt giữa mạng điện toán phân tán và các giải pháp độc lập.

Trong số đó, tác động định lượng của GQA và cơ chế suy luận có độ chính xác thấp đối với việc sử dụng bộ nhớ đồ họa được thể hiện trong Hình 6-1 (lợi ích của các cơ chế còn lại được phản ánh dưới dạng giới hạn dung lượng và cải thiện thông lượng, xem Chương 5).

Hình 6-1 KV mô hình dung lượng bộ đệm: hiệu ứng nén của GQA và độ chính xác thấp khi sử dụng bộ nhớ video (mô hình 80 lớp, chuỗi đơn)

6.5 Thị trường mẫu, Đo lường và Thanh toán

• Việc thanh toán dựa trên số lượng cuộc gọi, số lượng Token, thời lượng điện toán hoặc đăng ký; theo mặc định, việc thanh toán được tính bằng tiền hợp pháp hoặc tiền tệ ổn định và Mã thông báo A12 được sử dụng làm phiếu giảm giá phí và ưu đãi (xem Chương 8).
• Các nhà phát triển mô hình chia sẻ doanh thu dựa trên các cuộc gọi và tỷ lệ chia sẻ được thỏa thuận và công bố trong thỏa thuận niêm yết mô hình; hồ sơ đo lường có thể được xuất khẩu để kiểm tra.

thứ bảyChương 7 Lớp 4: Tác nhân và ứng dụng (AaaS)

7.1 Canvas phối hợp tác nhân trực quan

Đối với những người dùng không có khả năng phát triển kỹ thuật, hệ thống điều phối tác nhân kéo và thả mã thấp sẽ được cung cấp:

• Các nút có thể định cấu hình: lớp kích hoạt (Webhook, thời gian, giám sát sự kiện, hộp thoại), lớp suy luận (gọi mô hình Lớp 3 hoặc mô hình bên ngoài, các tham số có thể được điều chỉnh trong thời gian thực), lớp công cụ (thực thi mã, truy vấn SQL, API bên ngoài, phân tích tĩnh), lớp điều khiển (phân nhánh, lặp, phân tích cú pháp, phục hồi lỗi và bù).
• Biên dịch DSL quy trình công việc: Canvas giao diện người dùng được hiển thị thành biểu đồ có hướng. Trình biên dịch xác minh khả năng kết nối và các phần phụ thuộc vòng tròn, sau đó chuyển đổi nó thành định nghĩa quy trình làm việc khai báo (JSON/YAML), được lưu dưới dạng nội dung có thể phiên bản.
• Công cụ thực thi DAG: Công cụ thực thi không trạng thái nền lên lịch cho các nút theo thứ tự tôpô, các nút không phụ thuộc thực thi đồng thời và các nút phụ thuộc chuyển kết quả trung gian thông qua cây trạng thái ngữ cảnh; bản ghi thực hiện được lưu giữ trong suốt quá trình phát lại tranh chấp.

Các đặc tính toán học của lập kế hoạch thực hiện như sau: sau khi quy trình làm việc được biên dịch thành biểu đồ tuần hoàn có hướng G = (V, E), công cụ thực hiện sắp xếp cấu trúc liên kết bằng thuật toán Kahn - duy trì bảng bậc của mỗi nút. Các nút có giá trị bằng 0 sẽ vào hàng đợi sẵn sàng để thực hiện đồng thời. Mỗi nút đã hoàn thành sẽ giảm cấp độ tiếp theo của nó đi một đơn vị và độ phức tạp tổng thể là O(|V| Mức độ song song lập kế hoạch bị giới hạn bởi độ rộng chống liên kết tối đa của biểu đồ (biểu đồ có chiều rộng w có thể có nhiều nhất w nút đồng thời bất cứ lúc nào) và có giới hạn dưới về thời gian hoàn thành của toàn bộ quy trình công việc: độ dài đường dẫn quan trọng, tức là đường dẫn có trọng số dài nhất từ nguồn đến phần đích - được tính bằng cách tính trọng số thời gian tiêu thụ ước tính của mỗi nút. Dựa trên điều này, canvas điều phối hiển thị làm nổi bật đường dẫn quan trọng của người dùng và khoảng thời gian hoàn thành ước tính, thay đổi "nút nào làm chậm toàn bộ" từ phán đoán thực nghiệm sang kết luận có thể tính toán được.

Tham khảo triển khai sắp xếp tôpô DAG (thuật toán Kahn):

• Chuẩn hóa giao thức công cụ (hướng tới tương lai): Các nút công cụ sẽ dần dần phù hợp với các giao thức truy cập công cụ mở như MCP (Model Context Protocol), để các nhà sản xuất công cụ bên ngoài có thể “thích ứng một lần và có sẵn trên nhiều nền tảng”; khám phá phân quyền nhiệm vụ và nhận dạng lẫn nhau trạng thái dựa trên các giao thức A2A (Tác nhân với tác nhân) giữa quy trình làm việc của nhiều tác nhân và dành riêng các giao diện tiêu chuẩn cho sự cộng tác của tác nhân giữa các tổ chức. Trên đây là tất cả các mục tiêu thiết kế và tùy thuộc vào sự hoàn thiện của phiên bản giao thức thực tế.

7.2 Chuỗi công cụ dành cho nhà phát triển: Plug-in VS Code và Web IDE

• Trình cắm hỗ trợ mã: Tiện ích mở rộng trình soạn thảo dựa trên Giao thức máy chủ ngôn ngữ (LSP) kết nối với cổng suy luận Lớp 3 và cung cấp tính năng hoàn thiện, nhận xét tài liệu và đề xuất tạo bài kiểm tra đơn vị trong ngữ cảnh (Fill-in-the-Middle) khi viết mã.
• Kiểm tra tĩnh nhúng: Trình cắm này nhúng trình phân tích cú pháp AST nhẹ để quét theo thời gian thực, đồng thời cung cấp các cảnh báo nhúng và đề xuất sửa chữa chỉ bằng một cú nhấp chuột cho các mẫu nguy hiểm phổ biến; quy tắc cảnh báo được định vị dưới dạng tài liệu tham khảo phụ trợ như đầu ra của mô hình và không thay thế kiểm tra thủ công và báo cáo kiểm tra chính thức.
• Cloud Web iDE: iDE được nhúng trong bảng điều khiển có thể khởi chạy môi trường vùng chứa bị cô lập bằng một cú nhấp chuột để thực hiện biên dịch và kiểm tra, đồng thời sử dụng lại cơ chế cô lập và hạn ngạch tương tự như thời gian chạy hộp cát trong § 5.6.

7.3 Ma trận tác nhân ngành đặt trước

Lập kế hoạch nền tảng đặt trước ba loại mẫu Tác nhân thương mại có thể được triển khai ngay lập tức (xem Chương 9, Giai đoạn 3 để biết kế hoạch trực tuyến), tất cả đều được triển khai với hệ thống điều phối trong §7.1 và sử dụng dịch vụ mô hình trong Chương 6 làm phụ trợ suy luận:

• Trợ lý đánh giá mã và bảo mật: quy trình cộng tác đa vai trò - phân tích cấu trúc giao thức, tạo trường hợp sử dụng dựa trên dữ liệu về lỗ hổng công khai, xác minh động trong hộp cát và tóm tắt kết quả có cấu trúc. Lớp dưới cùng của quy trình làm việc hỗ trợ các chế độ suy luận chính thống và định tuyến mô hình như ReAct và CoT, đồng thời tự động cân bằng chi phí và độ chính xác theo độ phức tạp của đầu vào. Đầu ra là một báo cáo tham khảo nội bộ và không bao gồm xếp hạng CVSS chính thức; việc kiểm toán chính thức được thực hiện bởi một đối tác đủ năng lực (chưa được xác định và sẽ được tiết lộ sau khi xác nhận).
• Báo cáo nghiên cứu dữ liệu trên chuỗi Đại lý: giám sát khối lượng giao dịch sàn giao dịch phi tập trung, các thay đổi về khóa hợp đồng cho vay và thay đổi địa chỉ cá voi, đồng thời kết hợp phân tích chuỗi thời gian để thường xuyên đưa ra các báo cáo nghiên cứu định lượng; nguồn dữ liệu và tầm cỡ được công khai. Đại lý nghiên cứu và báo cáo chỉ truy cập các nguồn dữ liệu công khai khi được ủy quyền phân phối lại; nhà cung cấp dữ liệu thương mại phải hoàn thành việc ký thỏa thuận cấp phép trước khi truy cập và trạng thái ủy quyền được tiết lộ cùng với tài liệu sản phẩm [Danh sách nguồn dữ liệu và trạng thái ủy quyền: được bổ sung và tiết lộ trước khi phát hành · D-27].
• Đại lý Hỏi & Đáp Cơ sở Tri thức Doanh nghiệp: cơ sở dữ liệu vectơ + truy xuất kết hợp + cách ly nhiều người thuê, Câu hỏi thường gặp và Hỏi đáp kiến ​​thức cho doanh nghiệp và cộng đồng; câu trả lời đi kèm với khả năng truy xuất nguồn gốc và những câu hỏi không truy xuất nguồn gốc sẽ bị coi là "từ chối trả lời".

7.4 Nền tảng mở và thu ngân thống nhất

• Cổng API mở: Cung cấp quyền truy cập API được mã hóa cho các nhà cung cấp SaaS bên thứ ba (nhà cung cấp IDE, nhà cung cấp công cụ bảo mật, thiết bị đầu cuối dữ liệu, v.v.), hỗ trợ quyền và quản lý hạn ngạch dựa trên số lượng cuộc gọi, đồng thời và chỗ ngồi, đồng thời cung cấp xuất chi tiết hóa đơn.
• Mua lại hỗn hợp: Nhân viên thu ngân thống nhất hiện chấp nhận các loại tiền tệ ổn định (USDT/USDC); kênh thanh toán tiền tệ hợp pháp chỉ có thể được mở sau khi có được sự cho phép cần thiết và đơn vị mua lại và nhà cung cấp dịch vụ thanh toán đã xác định và công bố. Trước đó, nhân viên thu ngân thống nhất không cung cấp các kênh gửi tiền hợp pháp song song. Sau khi kênh được mở, người thuê có thể chọn giữa kênh tiền tệ hợp pháp và kênh tiền tệ ổn định nếu cần; tất cả các giao dịch đều được nền tảng đo lường và đối chiếu thống nhất. Việc thu được tiền hợp pháp bao gồm các dịch vụ thanh toán và thỏa thuận lưu ký quỹ, giống như §2.4: không có hoạt động kinh doanh tương ứng nào được thực hiện trước khi có được sự cho phép cần thiết [Người mua và nhà cung cấp dịch vụ thanh toán: thông báo công khai sau khi xác nhận · D-28]. Các biểu thức như trao đổi tự động trên chuỗi và cổ tức nhỏ giọt không còn được sử dụng - thanh toán trên chuỗi chỉ là một khả năng tùy chọn của lớp giao thức §8.6 và sẽ được thông báo riêng sau khi đánh giá theo quy định được thông qua.

Các thỏa thuận về khả năng thực thi việc mua lại tiền tệ hợp pháp: Trước khi tổ chức mua lại và nhà cung cấp dịch vụ thanh toán được xác định và công khai, nền tảng sẽ không mở kênh gửi tiền hợp pháp và nhân viên thu ngân thống nhất sẽ chỉ chấp nhận thanh toán bằng tiền tệ ổn định (USDT/USDC); các lộ trình thu phí, hoàn tiền và đối chiếu dành cho khách hàng doanh nghiệp phải tuân theo tổ chức mua lại được cấp phép và các điều khoản dịch vụ của tổ chức đó được công bố trên trang công khai. Việc công bố thông tin của bên mua đã được đưa vào biểu mẫu theo dõi vòng kín công bố thông tin (§2.2, Phụ lục C số D-28), đây là điều kiện tiên quyết duy nhất để mở các kênh tiền tệ hợp pháp cho khách hàng doanh nghiệp.

7.5 Giải quyết và kế toán AaaS

Liên kết giải quyết: Nhiệm vụ của người dùng → Dịch vụ đại lý → Gọi mô hình và công cụ → Thực thi sức mạnh tính toán → Đo lường thống nhất → Doanh thu được phân chia giữa các nhà phát triển Đại lý, các bên mô hình và các bên sức mạnh tính toán dựa trên sự đóng góp. Các quy tắc kế toán được công khai và hồ sơ có thể được xuất khẩu để kiểm toán.

thứ támChương 8 Mô hình kinh tế mã thông báo

8.1 Nguyên tắc thiết kế

• Ưu tiên thu nhập thực tế: Điểm neo của giá trị nền tảng là thu nhập dịch vụ, không phải giá trị thị trường lưu thông Token.
• Tổng số tiền cố định: A12 ban đầu được phát hành ở mức 100.000.000 chiếc và sẽ không bao giờ được phát hành thêm.
• Tách biệt ưu đãi và thanh toán: thanh toán dịch vụ được tính bằng tiền pháp định/đồng tiền ổn định; Mã thông báo được sử dụng để phát hành khuyến khích, giảm phí và đề xuất quản trị và người thuê không bị buộc phải giữ mã thông báo.
• Tất cả các phép tính toán học: Mỗi cơ chế trong chương này đều có các ràng buộc và ví dụ, đồng thời không có mâu thuẫn tiềm ẩn nào dựa trên "các tham số chưa được công bố".

8.2 Mô hình phân phối mã thông báo

Giải thích về cơ chế khuyến khích dành riêng 0% của nhóm: Nhóm không nắm giữ cổ phần Token, có nghĩa là thu nhập của nhóm hoàn toàn tách biệt với giá Token trên thị trường thứ cấp - không có áp lực bán từ việc nắm giữ tiền tệ của nhóm và không có proxy nắm giữ hoặc nhóm tối (nhóm không có bất kỳ vị trí Token có thể thực hiện được nào dưới tên của nó, điều này có thể được xác minh bằng tính minh bạch trên chuỗi và kiểm toán của bên thứ ba). Lợi nhuận thực sự của nhóm và chi phí hoạt động đến từ sự đánh giá vốn chủ sở hữu và thu nhập dịch vụ của các đơn vị điều hành, thay vì việc hiện thực hóa Token. Cái giá của thiết kế này là mối quan hệ giữa động lực của nhóm và giá tiền tệ bị suy yếu. Do đó, thông qua việc mua lại và tiêu hủy liên quan đến doanh thu (§8.3), tăng trưởng thu nhập dịch vụ được chuyển thành lợi ích chung của tất cả các chủ sở hữu, hình thành sự đồng thuận gián tiếp.

Các dạng phân tích và khác biệt của lưu thông airdrop (t là số tháng sau khi ra mắt):

Tổng đường cong lưu thông sau khi áp dụng giới hạn trên hàng năm của bể sinh thái được thể hiện trong Hình 8-1 - tốc độ mở rộng nguồn cung được giới hạn về mặt toán học, đồng thời việc mua lại và đốt thêm làm giảm lưu lượng thực tế xuống dưới giới hạn trên:

Hình 8-1 Mô hình phát hành cung cấp mã thông báo: airdrop tuyến tính + giới hạn trên hàng năm của nhóm sinh thái (việc mua lại và tiêu hủy làm cho lưu thông thực tế thấp hơn)

8.3 Cơ chế mua lại và tiêu hủy

• Nguồn hủy diệt: Nền tảng sẽ sử dụng 20% ​​doanh thu dịch vụ ròng thực của quý trước (tỷ lệ ban đầu, có thể được điều chỉnh theo đề xuất quản trị, với giới hạn trên là 30%) để mua lại A12 từ thị trường thứ cấp và tiêu hủy nó.

Kiểm toán tầm cỡ thu nhập ròng (loại bỏ khả năng thao túng tầm cỡ):

Trong số đó, GrossRevenue_q là tổng doanh thu dịch vụ nền tảng trong quý (tất cả đều nhận được doanh thu từ CaaS/MaaS/AaaS); C_compute_q là chi phí mua sắm năng lượng điện toán và chia sẻ nút; C_infra_q là chi phí cơ sở hạ tầng trực tiếp như cụm xác minh và băng thông. Chi phí nhân sự, tiếp thị và hành chính không được bao gồm trong khoản khấu trừ (để ngăn chặn các khoản lỗ hoạt động được chuyển sang "thu nhập ròng thấp"). Ba phần dữ liệu mỗi quý được công bố cùng với giao dịch hủy sau khi báo cáo đảm bảo được phát hành bởi công ty kế toán bên thứ ba. Cơ quan đảm bảo được lựa chọn theo các tiêu chí sau: có trình độ chuyên môn của công ty thành viên của 4 mạng lưới quốc tế lớn hoặc có quy mô tương đương, có kinh nghiệm kiểm toán Web3 hoặc các công ty công nghệ và không có vấn đề độc lập với đơn vị điều hành và các bên liên quan của nó; nó nhằm mục đích hoàn thành việc ủy ​​thác và tiết lộ tên của cơ quan trước khi ra mắt phiên bản beta công khai [Cơ quan xác thực: được công bố qua các kênh chính thức sau khi xác nhận · D-12].

• Hard cap: Số tiền tiêu hủy hàng quý không được vượt quá 100% ngân sách mua lại trong quý (nghĩa là chỉ có số tiền mua lại thực tế của quý mới được tiêu hủy, không được sử dụng dự trữ hoặc vốn vay để tiêu hủy); và khi số tiền còn lại của nhóm đồng xây dựng sinh thái dưới 5.000.000, việc phá hủy sẽ bị đình chỉ và phần mua lại sẽ được bơm vào nhóm sinh thái để đảm bảo rằng nhóm khuyến khích dài hạn không bị cạn kiệt (ngưỡng này là điều khoản bảo vệ dài hạn: giới hạn phát hành hàng năm là 10.000.000. Người ta ước tính rằng nó có thể được kích hoạt sau hơn năm năm hoạt động; trong giai đoạn beta công khai và vận hành sớm, "phá hủy hàng quý" ≤ ngân sách mua lại quý hiện tại" là ràng buộc thực tế).
• Tính toán ví dụ: Giả sử rằng thu nhập dịch vụ ròng của nền tảng trong một năm nhất định là 2.000.000 USD và ngân sách mua lại cho năm đó là 400.000 USD; thực hiện hàng quý, mua theo giá thị trường và các giao dịch hủy diệt công khai trên chuỗi. Mức độ tàn phá được xác định hoàn toàn bằng thu nhập thực tế - thu nhập bằng 0 có nghĩa là không có sự tàn phá và không có động cơ để "bán dự trữ để duy trì câu chuyện giảm phát".

Công thức kế toán mua lại và cung lưu thông. Ngân sách mua lại hàng quý và số lượng tiêu hủy được xác định như sau:

Trong số đó, VWAP_q là giá trung bình có trọng số của các giao dịch trong quý và ΔS_q là số lượng được đốt trong quý - nó được thực hiện dựa trên trọng số khối lượng giao dịch thay vì giá tại một thời điểm duy nhất, điều này hạn chế không gian cho thời gian và thao tác. Giao dịch tiêu hủy được thông báo trên chuỗi và bất kỳ ai cũng có thể xác minh nó một cách độc lập bằng cách nhấp vào liên kết ba phần "Phiếu thu nhập ròng → Giao dịch mua lại → Giao dịch tiêu hủy".

Đường cung tuần hoàn. Lưu thông tích lũy sau khi nhóm airdrop trực tuyến tuân theo công thức phát hành được đưa ra trong §8.2 (6 triệu trong tháng đầu tiên, tăng tuyến tính 1 triệu mỗi tháng sau đó, đạt giới hạn trên là 30 triệu trong tháng thứ 24); áp dụng giới hạn trên cứng của "phát hành hàng năm 10% tổng số" của nhóm sinh thái (§8.2), tốc độ mở rộng của đĩa tuần hoàn được giới hạn về mặt toán học, phù hợp với hiệu ứng thu hẹp của việc mua lại và phá hủy. Công thức trên cho phép "nhịp giải phóng - quản lý áp lực bán - mua lại doanh thu" được tính toán độc lập, tránh mọi mâu thuẫn tiềm ẩn dựa vào các thông số chưa được công bố.

8.4 Airdrop và điểm

Thử nghiệm công khai và những đóng góp ban đầu được ghi lại thông qua các điểm, được chuyển đổi thành các đợt airdrop Token theo các quy tắc công khai. Việc thu thập điểm được liên kết với khối lượng công việc hiệu quả (số lượng nhiệm vụ đã hoàn thành, tỷ lệ vượt qua xác minh, thời gian trực tuyến) và được tách riêng khỏi số lượng tài khoản đơn giản; 20% quỹ airdrop sẽ được mở khóa trong giai đoạn đầu ra mắt và 80% còn lại sẽ được phát hành tuyến tính sau 2 năm (xem §8.2) để tránh áp lực bán tập trung khi ra mắt. Cam kết tầm cỡ trong giai đoạn beta công khai: Tầm cỡ đo điểm giống như tầm cỡ giải quyết của thời lượng CU·sau khi ra mắt - hệ số chuyển đổi có thể điều chỉnh, cỡ nòng đo không thay đổi và nguyên tắc chuyển đổi sẽ được công bố trước khi bắt đầu phiên bản beta công khai. Loại tiền thanh toán, đơn vị thanh toán và chu kỳ thanh toán trong giai đoạn beta công khai [Thông báo bổ sung và công khai trước khi phát hành · D-29] (§9.2 "Tỷ lệ thanh toán đúng hạn" đề cập đến tỷ lệ thanh toán đầy đủ theo thời gian thông báo công khai). Khoản tiền gửi tín dụng USDT là tùy chọn cho các nhiệm vụ có giá trị cao (có thể được quy đổi bất kỳ lúc nào, việc quy đổi sẽ giúp thiết lập lại danh tiếng) và cung cấp giới hạn thấp hơn cho chi phí xấu trong cửa sổ beta công khai không dựa vào việc đặt cược Token.

Các ràng buộc trong việc điều chỉnh hệ số chuyển đổi: Việc điều chỉnh hệ số chuyển đổi điểm phải tuân theo ba ràng buộc - biên độ của một lần điều chỉnh không được vượt quá ±20%; khoảng cách giữa hai lần điều chỉnh không ít hơn 90 ngày; nếu cắt giảm phải thông báo trên trang thông báo trước 30 ngày và nêu rõ lý do. Tất cả hồ sơ điều chỉnh đều được lưu giữ để kiểm tra, đồng thời các thủ tục điều chỉnh và giới hạn trên đều được đưa vào phạm vi công bố của điều lệ quản trị (§8.7) để đảm bảo rằng "tầm đo lường không thay đổi" không có nghĩa là "mức trao đổi có thể được điều chỉnh giảm xuống một cách đơn phương."

Xác định hệ số chuyển đổi lần đầu: Ba ràng buộc nêu trên (trước ± 20%/90 ngày/30 ngày) quy định việc “điều chỉnh các hệ số hiện có”. Hệ số lần đầu được xác định theo các quy tắc sau - nguyên tắc xác định: được neo bởi cơ sở chuyển đổi của cỡ nòng đo lường tích phân trong giai đoạn beta công khai và cỡ nòng giải quyết thời gian CU·sau khi ra mắt, nghĩa là hệ số lần đầu là "sự tương đương của khối lượng công việc hiệu quả của đơn vị theo hai cỡ nòng" Nghịch đảo của "Giờ CU" để vị trí tương đối của người giữ điểm không thay đổi do chuyển đổi cỡ nòng; xác định chủ thể: do đơn vị điều hành (phía nền tảng) xác định sau khi lắng nghe các đề xuất quản trị và những khác biệt lớn được đưa ra theo các thủ tục quy định trong điều lệ quản trị; thời gian tiết lộ: không muộn hơn trước khi bắt đầu phiên bản beta công khai (bao gồm cả các hoạt động khuyến khích), được công bố đồng thời với các quy tắc hoạt động khuyến khích §8.5 và được bao gồm trong phạm vi tiết lộ của điều lệ quản trị (§8.7). Sau khi hệ số lần đầu tiên được xác định, nó sẽ bị chi phối bởi ba ràng buộc và cơ sở xác định cũng như hồ sơ đo lường của nó sẽ được lưu cùng với biểu mẫu theo dõi vòng kín công bố thông tin.

8.5 Mô tả các ưu đãi beta công khai

Thử nghiệm công khai và airdrop phải tuân theo trạng thái cấp phép và ý kiến ​​pháp lý chứng khoán được đề cập trong §2.4 là điều kiện tiên quyết. Ngày cụ thể sẽ được thông báo riêng sau khi chúng được đáp ứng: có thể thực hiện thử nghiệm công khai mạng mở mà không có ưu đãi (không liên quan đến bất kỳ đợt phát hành Token nào, chỉ xác minh khả năng của mạng và sản phẩm) trước khi nhận được giấy phép; các hoạt động khuyến khích bao gồm airdrop Token sẽ được triển khai sau khi có được các giấy phép cần thiết và hoàn thành việc xem xét ý kiến ​​pháp lý. Tổng ngân sách khuyến khích (được thực hiện khi hoạt động khuyến khích được triển khai): 30.000.000 A12 (tức là toàn bộ số tiền của airdrop pool, việc phân phối tuân thủ nghiêm ngặt nhịp phát hành §8.2: 6.000.000 điểm được mở khóa trong giai đoạn đầu tiên và 24.000.000 điểm còn lại được phát hành tuyến tính trong 2 năm) + 5 BTC + 900.000 USDT đều được thanh toán bởi quỹ riêng của đơn vị điều hành (bên nền tảng); quy tắc sự kiện, tư cách tham gia, tổng số tiền thưởng và điều kiện nhận được công bố trên trang web chính thức của nền tảng. Phần thưởng mã thông báo phải tuân theo các quy tắc phát hành của §8.2. Phần thưởng tiền tệ Fiat và BTC được bao gồm trong ngân sách hoạt động và có tổng giới hạn trên, không mâu thuẫn với nguyên tắc "tách biệt ưu đãi và giải quyết".

Ranh giới tuân thủ về mặt địa lý: Việc tham gia vào các hoạt động khuyến khích beta công khai và airdrop phải vượt qua quá trình sàng lọc danh sách trừng phạt và KYC (xem §2.4). Người dùng ở các khu vực sau không được phép tham gia airdrop Token và phân phối khuyến khích: danh sách trừng phạt của Hội đồng Bảo an Liên hợp quốc và các khu vực bị trừng phạt OFAC; Trung Quốc đại lục (theo yêu cầu quy định trong nước, sẽ không có hình thức khuyến khích Token nào được cấp cho cư dân trong nước); các khu vực pháp lý có rủi ro cao khác được xác định bởi kiểm soát rủi ro nền tảng. Điều kiện tham gia của người dùng Hoa Kỳ sẽ được công bố sau khi ý kiến ​​pháp lý về chứng khoán được ban hành. Liên minh Châu Âu (quy định của MiCA), Vương quốc Anh (FCA), Singapore (MAS), Hàn Quốc, Nhật Bản và các khu vực pháp lý khác có yêu cầu pháp lý rõ ràng đối với tài sản tiền điện tử, trạng thái truy cập và đường dẫn tuân thủ của chúng phải tuân theo các thông báo chính thức. Điều khoản truy cập khu vực hoàn chỉnh được công bố trong quy tắc sự kiện trên trang web chính thức và sẽ được xác minh hai lần trong quá trình thu thập.

8.6 Lớp giao thức

Nền tảng này không phát triển chuỗi công khai của riêng mình trong giai đoạn cốt lõi của lộ trình. Lớp giao thức thanh toán và gửi chứng chỉ được triển khai bằng cách triển khai hợp đồng thông minh trên chuỗi công khai/L2 trưởng thành: hợp đồng chịu trách nhiệm gửi chứng chỉ thanh toán, hủy bỏ và công khai, và (nếu quy định cho phép) các kênh thanh toán tiền tệ ổn định. Chuỗi đồng thuận tự phát triển không nằm trong phạm vi cam kết ở bất kỳ giai đoạn nào. Các kế hoạch liên quan đến DEX đã bị hủy vì hai lý do: Thứ nhất, các chức năng tạo lập thị trường và trao đổi trên chuỗi tự xây dựng sẽ làm phân tán các nguồn lực R&D cốt lõi, trái với nguyên tắc §9.1 "Tài nguyên tập trung vào bốn dòng sản phẩm nền tảng lập kế hoạch, bảng điều khiển, MaaS và AaaS"; thứ hai, DEX liên quan đến sự không chắc chắn về việc cấp phép các giao dịch phi tập trung ở nhiều khu vực pháp lý và sẽ không có bố cục cho đến khi lộ trình tuân thủ rõ ràng. Tính thanh khoản của mã thông báo sẽ được cung cấp bởi các tổ chức tạo lập thị trường chuyên nghiệp theo cách truyền thống, tuân theo các thông lệ thị trường mở và minh bạch: tính thanh khoản ban đầu sẽ được bơm từ §8.2 Nhóm tạo lập thị trường và thanh khoản (10%); tên tổ chức tạo lập thị trường cụ thể và các điều khoản hợp tác sẽ được công bố trên trang web chính thức 1 tuần trước khi lên mạng [Tổ chức tạo lập thị trường: được công bố một tuần trước khi lên mạng sau khi xác nhận · D-30].

Giao diện tham chiếu của hợp đồng công khai hủy bỏ như sau (các sản phẩm được phân phối trong Giai đoạn 4 được hiển thị, không phải là triển khai cuối cùng; rút ra bài học từ giao diện tiêu chuẩn Ethereum EIP và thực tiễn kiểm toán OpenZeppelin):

Giao diện hợp đồng tham chiếu để giám sát và cắt giảm doanh thu (nó thuộc cùng một chỉ báo có thể phân phối ở giai đoạn 4 của lớp giao thức như hợp đồng hủy bỏ và chưa được hoàn tất; cấu trúc "giải phóng doanh thu bị trì hoãn + cắt giảm có điều kiện" của nó có cùng nguồn gốc với hợp đồng trao quyền / cắt giảm của thợ mỏ Filecoin):

Kế hoạch kiểm tra bảo mật: Trước khi bước vào triển khai Giai đoạn 4, các hợp đồng nêu trên phải hoàn thành kiểm toán toàn diện bởi cơ quan bảo mật bên thứ ba độc lập - tiêu chí lựa chọn phù hợp với cơ quan đảm bảo §8.3 (các công ty thành viên mạng lưới quốc tế hoặc có trình độ kiểm toán hợp đồng Web3 và không có vấn đề độc lập với các đơn vị vận hành); toàn văn báo cáo kiểm toán được công khai; trước khi quá trình kiểm toán được thông qua, hợp đồng sẽ không triển khai mạng chính và sẽ không được kết nối với quy trình tịch thu và giám sát quỹ thực.

8.7 Quản trị

Các quyết định vận hành nền tảng (chiến lược lập kế hoạch, định giá, quy tắc kiểm soát rủi ro) là trách nhiệm của đơn vị vận hành; quản trị sinh thái được thực hiện thông qua dao quản trị toàn cầu A12.

DAO dành cho những người đóng góp cho cộng đồng, những người sáng tạo trong ngành, những người đóng góp kỹ thuật và những người lao động xuất sắc. Có tổng cộng 300 ghế quản trị toàn cầu, 40 trong số đó sẽ được mở trong giai đoạn đầu (tùy theo thông báo tuyển dụng chính thức).

Cơ chế quản trị (tầm cỡ mục tiêu thiết kế, các thông số phải công bố điều lệ quản trị): Thành viên được lựa chọn thông qua “ứng dụng tự giới thiệu + thông báo xem xét của cộng đồng”, với nhiệm kỳ 12 tháng và có thể được bầu lại một lần; đề xuất phải đạt được không ít hơn 10% số chữ ký của thành viên mới được biểu quyết; các vấn đề chung được thông qua theo đa số đơn giản và tỷ lệ tham gia theo luật định không dưới 25%; các vấn đề chính như điều chỉnh các thông số phân phối và thay đổi các quy định về hình phạt và tịch thu phải được ít nhất hai phần ba đa số; việc giải quyết phải được cơ quan điều hành thực hiện trong thời hạn và kết quả thực hiện được công bố trên trang thông tin điện tử chính thức; thành viên vắng mặt ba lần liên tiếp trong việc bỏ phiếu không có lý do hoặc vi phạm quy định tránh né quyền lợi sẽ bị loại bỏ. Nhà cung cấp công nghệ sử dụng biểu quyết chụp nhanh ngoài chuỗi + lưu trữ chứng chỉ và công khai trên chuỗi (phù hợp với lớp giao thức §8.6 và không dựa vào chuỗi công khai tự xây dựng).

Quyền thành viên DAO:

• Tham gia vào các đề xuất sinh thái, bỏ phiếu và quản lý các sự kiện lớn;
• Tham gia vào các quy tắc nền tảng và các quyết định quản trị liên quan;
• Có được các ưu đãi tương ứng dựa trên đóng góp sinh thái;
• Hưởng các điểm đặc biệt và các quyền sinh thái liên quan;
• Ưu tiên tham gia xây dựng sinh thái toàn cầu A12.

Ranh giới về quyền và trách nhiệm giữa DAO và các đơn vị vận hành (loại bỏ căng thẳng về "hoạt động tập trung so với DAO"): DAO là lớp quản trị sinh thái, không phải lớp vận hành nền tảng. Các vấn đề sinh thái về cơ bản do DAO quyết định, trong khi các vấn đề vận hành nền tảng là trách nhiệm của đơn vị vận hành và các khuyến nghị của DAO được chấp nhận. Các ranh giới như sau:

Sự phân chia này nhất quán với định vị của §2.1 "Hoạt động tập trung + Thực thi phân tán": thực thể chịu trách nhiệm vận hành nền tảng là duy nhất và rõ ràng (để tránh sự quản lý mang tính trang trí là "không nói gì") và quyền phân phối tài nguyên sinh thái về cơ bản được giao cho DAO (để tránh nhận thức về "phân cấp giả").

Cơ chế chống nắm bắt quản trị (tầm cỡ mục tiêu thiết kế, chi tiết tùy thuộc vào thông báo của điều lệ quản trị): ① Ngưỡng kép cho các đề xuất - đề xuất phải đáp ứng chữ ký chung của số ghế ≥ 10% và ngưỡng nắm giữ/danh tiếng tiền tệ tối thiểu của người đề xuất để ngăn chặn các ghế giá rẻ duy nhất được kết nối nối tiếp; ② Giới hạn trên của số tiền đề xuất duy nhất - số tiền có thể được sử dụng cho các đề xuất trong bất kỳ nhóm sinh thái nào ≤ 5% số dư chưa giải phóng của nhóm sinh thái và các vấn đề lớn sẽ được biểu quyết riêng; ③ Tránh lợi ích - Người đề xuất và các chi nhánh của họ không được phép bỏ phiếu cho các đề xuất có lợi cho bản thân họ. Đề xuất của người vi phạm sẽ không hợp lệ và quá trình hủy niêm yết sẽ được kích hoạt (định nghĩa “tránh lãi” được ghi trong điều lệ quản trị); ④ Đình chỉ khẩn cấp - đơn vị điều hành có thể đình chỉ việc thực hiện các đề xuất bất hợp pháp hoặc độc hại trong tối đa 14 ngày và thông báo lý do. Nếu nó không được khôi phục sau thời hạn, nó phải gửi toàn bộ biểu quyết cho DAO; ⑤ Xác thực tiêu chuẩn giống nhau - việc phát hành nhóm sinh thái và mua lại và tiêu hủy §8.3 phải tuân theo cùng một bộ tiêu chuẩn tiết lộ và đảm bảo kế toán của bên thứ ba; ⑥ Giai đoạn đầu tiên của danh sách được ưu tiên - tiêu chí lựa chọn và danh sách bầu chọn của giai đoạn đầu tiên gồm 40 ghế sẽ được công bố trước khi ra mắt DAO.

thứ chínChương 9 Lộ trình công nghệ

9.1 Nguyên tắc tập trung nguồn lực

Tài nguyên cốt lõi tập trung vào bốn dòng sản phẩm: nền tảng lập lịch trình (Lớp 1/2), bảng điều khiển dành cho đối tượng thuê và thời gian chạy hộp cát, dịch vụ mô hình (MaaS, bao gồm quy trình mô hình dọc đầu tiên) và chuỗi công cụ AaaS (khung điều phối + công cụ dành cho nhà phát triển + Tác nhân đặt trước). Các hướng còn lại (thích ứng sâu giữa các nhà cung cấp, đào sâu lớp giao thức và các mô hình ngành dọc hơn) là các hạng mục thử nghiệm dài hạn và các tiêu chí thoát của giai đoạn trước phải được vượt qua trước khi bước vào lộ trình.

9.2 Lộ trình theo từng giai đoạn (bao gồm tiêu chí thoát)

9.2.1 Thông số kỹ thuật của báo cáo nghiệm thu (phụ kiện cố định)

Vào cuối mỗi giai đoạn, một báo cáo nghiệm thu sẽ được phát hành công khai. Báo cáo gồm hai phần: “chín trường cố định + trường bổ sung cho các giai đoạn”. Các trường cố định không điều chỉnh theo các giai đoạn: ① Thang đo nút (số nút đã đăng ký/đang hoạt động/chuẩn, chia theo cấp độ tài nguyên; bao gồm thống kê chống trùng lặp nhận dạng chéo - số thiết bị được khai báo/số lượng thiết bị sau khi loại bỏ trùng lặp/khác biệt, sự tương ứng duy nhất trên toàn cầu và loại trừ lẫn nhau với số sê-ri trong §4.5); ② Task volume (total number of tasks in the current period and distribution by task type); ③ Tỷ lệ vượt qua xác minh (theo §4.2 L2 và L4 xem xét số liệu thống kê cỡ nòng); ④ Tỷ lệ lập kế hoạch thành công (tỷ lệ thành công trong việc lập lịch trình lần đầu tiên, phân biệt các chế độ nỗ lực tốt nhất và bảo đảm chuyên tâm); ⑤ Phiên bản khởi động nguội P50/P95; ⑥ TTFT P50/P95 (thiết bị bối cảnh ≤ 8K; cột đơn thiết bị bối cảnh dài 32K); ⑦ Tốc độ tải trọng GPU (thiết bị xử lý hàng loạt liên tục, lấy P50); ⑧ Danh sách tai nạn (mức độ tai nạn, thời gian tác động, nguyên nhân gốc rễ và các hạng mục khắc phục); ⑨ Các mục và lý do không tuân thủ (so sánh từng tiêu chí Đạt/Không đạt ở giai đoạn này và liệt kê các giá trị sai lệch và phân bổ). Các trường bổ sung của giai đoạn được liệt kê theo từng giai đoạn trong thông báo ra mắt và chỉ có thể thêm chứ không được giảm - các trường cố định không thể xóa hoặc thay thế. The first acceptance report will be released within 7 days after the end of phase 0, and within 7 days after the end of each subsequent phase; điều kiện duy nhất để bước vào giai đoạn tiếp theo là phải đáp ứng đầy đủ các tiêu chí của giai đoạn trước và báo cáo nghiệm thu được công khai (ngày dương lịch không phải là cam kết). Tuyên bố độc quyền này không có ngoại lệ do tiến độ tài chính, cơ hội thị trường hoặc sắp xếp nhân lực.

9.3 Triển vọng công nghệ tiên phong (Chân trời nghiên cứu)

Kế hoạch chi tiết dài hạn của A12 có thể được tóm tắt trong một câu: Hãy để mọi GPU nhàn rỗi trên thế giới tham gia vào chuỗi giá trị AI thông qua giao diện đáng tin cậy thống nhất và để các tác nhân thông minh trở thành người tiêu dùng sức mạnh tính toán tự nhiên. Dọc theo chuỗi giá trị dọc "CaaS → MaaS → AaaS", quá trình phát triển công nghệ được chia thành ba chân trời.

Lưu ý trọng tâm: Chương này chỉ cố ý giữ lại các hướng liên quan trực tiếp đến khả năng cốt lõi của nền tảng (lập lịch, lý luận, thực thi tác nhân); các hướng đi dài hạn hoặc đa lĩnh vực hơn như học tập liên kết, quyền riêng tư khác biệt, mã hóa đồng hình, hình mờ mô hình, lập lịch nhận biết carbon, hộp cát WASM, mật mã hậu lượng tử, v.v. không được thảo luận trong bài viết này và sẽ được thảo luận riêng trong các blog kỹ thuật tiếp theo khi ngành dọc mở rộng - để tránh nhận thức về "Tôi muốn làm mọi thứ nhưng không làm gì sâu sắc".

Chân trời 1: Lớp sức mạnh tính toán (hiện tại → 2027) - Làm cho sức mạnh tính toán phân tán trở nên "đáng tin cậy, sẵn có và có thể lập kế hoạch".

Horizon 2: Mô hình và Lớp thực thi (2027 → 2028) - Kết hợp sâu sắc hiệu quả của mô hình tiên tiến với khả năng thực thi phân tán.

Chân trời 3: Tầng tác nhân và kinh tế (2028+) - Cơ sở hạ tầng định cư cho Nền kinh tế tác nhân.

Khi tác nhân trở thành người tiêu dùng chính của sức mạnh tính toán, nền tảng lập lịch sẽ phát triển từ "đám mây cho mọi người" thành "thị trường sức mạnh tính toán cho các tác nhân":

• Thỏa thuận hợp tác và công cụ MCP/A2A (xem § 7.1): Đại lý phát hiện ra các công cụ, nhiệm vụ được ủy quyền, trạng thái công nhận lẫn nhau bằng các giao thức tiêu chuẩn;
• Tính toán thời gian thử nghiệm: Thông qua các chiến lược như bỏ phiếu CoT/ToT/nhiều mẫu, mô hình có thể "suy nghĩ nhiều hơn" về các vấn đề khó khăn và đánh đổi chất lượng lấy chi phí; nền tảng lập kế hoạch cung cấp dịch vụ suy luận ba cấp độ "nhanh/tiêu chuẩn/độ sâu" dựa trên điều này;
• Thanh toán tự động của đại lý: Đại lý mua sức mạnh tính toán một cách độc lập (đặt giá thầu, khóa giá, gói) với ngân sách và chiến lược đặt trước, đồng thời hồ sơ thanh toán có thể kiểm tra được - điều này được kết nối với khả năng thanh toán hợp đồng thông minh của lớp giao thức trong §8.6;
• Thị trường hóa các yếu tố sức mạnh điện toán: Danh tiếng, cấp bậc, SLA và cung cầu theo thời gian thực cùng nhau tạo thành tín hiệu giá sức mạnh điện toán mở, cho phép định giá tài nguyên phát triển từ "hệ thống niêm yết" sang "khớp theo thị trường".

Chân trời 1 và 2 nêu trên là con đường phát triển kỹ thuật, trong khi Chân trời 3 là tầm nhìn định hướng; mối quan hệ giữa ba lớp này là sự phụ thuộc từng lớp và xác minh từng bước - nếu không có lớp sức mạnh tính toán đáng tin cậy, sẽ không có lớp thực thi hiệu quả và nếu không có quy mô của lớp thực thi, sẽ không có yêu cầu giải quyết cho lớp kinh tế thông minh. Toàn bộ phần này tuân theo các tuyên bố hướng tới tương lai trong Chương 10.

thứ mườiChương 10 Các yếu tố rủi ro và tuyên bố từ chối trách nhiệm

• Rủi ro thực thi: Việc phân phối nền tảng phụ thuộc vào tính khả dụng và ổn định của nhóm kỹ thuật cốt lõi; xem §2.2 để biết thông tin tiết lộ của nhóm. Người đọc có trách nhiệm tự đánh giá các rủi ro liên quan trước khi tiết lộ đầy đủ. Giảm thiểu: Lộ trình theo từng giai đoạn đặt ra các tiêu chí thoát định lượng Đi/Không đi và báo cáo chấp nhận cho từng giai đoạn được xuất bản theo §9.2.1 "Thông số kỹ thuật của Báo cáo Chấp nhận" (chín trường cố định + trường bổ sung cho giai đoạn, được phát hành trong vòng 7 ngày sau khi kết thúc giai đoạn).
• Rủi ro kỹ thuật: Việc cách ly container không thể loại bỏ hết rủi ro thoát hiểm; hệ thống xác minh không thể ngăn chặn hoàn toàn việc đặt trước quá nhiều và chỉ có thể bị ngăn chặn thông qua các biện pháp kinh tế và vận hành; có sự không chắc chắn trong giai đoạn xây dựng sự thích ứng giữa các nhà cung cấp; có sự không chắc chắn trong hiệu quả đào tạo và xây dựng kho ngữ liệu của đường ống mô hình dọc. Giảm thiểu: bảo vệ ba lớp cách ly container + xem xét việc sử dụng + quỹ bồi thường lạm dụng (xem §4.7); Dự phòng chính và dự phòng SLA cũng như thừa nhận danh tiếng để hạn chế đăng ký quá nhiều (xem §5.3, §4.5).
• Rủi ro thị trường: Sự biến động về giá điện năng tính toán, sự cạnh tranh giữa các nhà cung cấp đám mây và những thay đổi trong cấu trúc tải AI có thể ảnh hưởng đến các giả định về doanh thu của nền tảng. Giảm thiểu: Lập kế hoạch đường dẫn kép chọn các tuyến tối ưu dựa trên đặc điểm nhiệm vụ và cơ cấu doanh thu bao gồm ba lớp CaaS/MaaS/AaaS, giảm sự phụ thuộc vào một thị trường duy nhất (xem §5.2, §3.1).
• Rủi ro pháp lý: Các hoạt động liên quan đến tài sản kỹ thuật số phải đối mặt với các yêu cầu khác nhau ở các khu vực pháp lý khác nhau và các chức năng sẵn có của Token có thể được điều chỉnh dưới sự giám sát; Khả năng của lớp giao thức và thu thập kết hợp phải được đánh giá theo quy định. Biện pháp giảm thiểu: Xác minh thứ cấp về ma trận truy cập theo khu vực pháp lý và quy trình thu thập dữ liệu (xem §8.5); các hoạt động kinh doanh liên quan đến giấy phép sẽ không được thực hiện trước khi có được giấy phép (xem §2.4).
• Rủi ro hợp đồng thông minh: Hợp đồng thông minh có thể có các lỗ hổng chưa được phát hiện (chẳng hạn như lỗi truy cập lại, tràn số nguyên, lỗi cấu hình quyền); trước khi quá trình kiểm tra bảo mật của bên thứ ba hoàn tất, sẽ có nguy cơ mất tiền khi tương tác với hợp đồng. Giảm thiểu: Hợp đồng chỉ có khả năng tùy chọn của lớp giao thức để ký gửi và hủy chứng từ thanh toán (xem §8.6); trước khi triển khai, nó phải vượt qua cuộc kiểm tra độc lập của bên thứ ba và công khai toàn bộ văn bản của báo cáo kiểm tra. Trước khi kiểm toán, nó sẽ không đi vào mạng chính và sẽ không có tiền thật nào được kết nối.
• Tuyên bố hướng tới tương lai: Tất cả các chỉ số trong sách trắng này đều là mục tiêu thiết kế và tất cả các lộ trình đều đang được lập kế hoạch và không cấu thành bất kỳ cam kết doanh thu nào. Actual results may differ materially from those planned.
• Tuyên bố miễn trừ trách nhiệm: Sách trắng này không cấu thành tư vấn đầu tư, tài liệu phát hành chứng khoán hoặc tư vấn pháp lý. Các quyền liên quan đến nhãn hiệu của bên thứ ba thuộc về chủ sở hữu quyền tương ứng.

phụ lụcPhụ lục A Bảng thuật ngữ

phụ lụcPhụ lục B Chỉ số biểu đồ

Hình: Hình 3-1 Sơ đồ phân cấp kiến ​​trúc bốn lớp (§3.2); Hình 4-1 Hệ thống xác minh năm lớp (§4.2); Hình 5-1 Giảm tải đường dẫn kép (§5.2); Hình 5-2 Máy trạng thái vòng đời tác vụ (§5.5); Hình 6-1 Mô hình dung lượng bộ đệm KV (§6.4); Hình 8-1 Mô hình phát hành nguồn cung (§8.2).

Các bảng chính: danh sách công bố bắt buộc (§2.2); tiết lộ đường dẫn quan trọng vòng kín (§2.2); bảng trạng thái tiết lộ thông tin thực thể gồm tám mục (§2.2); bảng cam kết chi tiêu và nguồn lực đảm bảo (§2.5); hệ thống tham chiếu thiết kế (§3.4); các hạn chế về lập kế hoạch cấp nguồn tài nguyên (§5.4); các trường báo cáo chấp nhận cố định (§9.2.1); DAO Ranh giới về quyền và trách nhiệm của các đơn vị điều hành (§8.7); Mô hình phân bổ mã thông báo (§8.2); Các thông số mua lại và tiêu hủy (§8.3); Yếu tố rủi ro (Chương 10); Bảng chú giải thuật ngữ (Phụ lục A); Bảng theo dõi vòng kín công bố (Phụ lục C); Bảng thông số biểu đồ (Phụ lục D).

phụ lụcPhụ lục C Biểu mẫu theo dõi vòng kín công bố (D-01 đến D-30)

Bảng này là toàn văn của "Biểu mẫu theo dõi vòng kín tiết lộ", với tổng số 30 mục, tương ứng từng dòng với cột "Số" của Bảng danh sách tiết lộ §2.2 và bao gồm tất cả các vấn đề cần được bổ sung trong toàn văn của phiên bản này; thông tin đăng ký thực thể điều hành (hàng đầu tiên của §2.2) đã được cung cấp và có thể được xác minh công khai và không chiếm số lượng cần bổ sung. Đánh số cỡ nòng: Ấn bản trước ghi 21 con số, nhưng thực tế có 30 điểm được bổ sung vào toàn văn (9 thiếu sót đăng ký); phiên bản này đã đăng ký lần lượt 30 nhãn hiệu từ D-01 đến D-30, đây là đăng ký bổ sung chứ không phải là cam kết mới; các dấu văn bản trong ấn bản này đã được hội tụ thành 26 và các đăng ký lặp lại của cùng một vấn đề trong các chương khác nhau được hợp nhất thành cùng một số. Việc chia tách và sáp nhập sẽ không làm thay đổi phạm vi cam kết. Độ chi tiết của việc đánh số: Các điểm dữ liệu có thể được đóng độc lập và xác minh độc lập bởi bên ngoài được tách thành các số độc lập - ví dụ: "Tiết lộ tình trạng tài chính" được phân chia do các nguồn dữ liệu khác nhau và độ nhạy cảm thương mại của phạm vi thang đo (D-17), tài khoản đầu tư (D-18) và khoảng cách cấp vốn 12 tháng (D-19), và cả ba có thể được đóng riêng biệt; nhiều dấu hiệu cho cùng một hành vi tiết lộ không có số lặp lại. Tầm cỡ trường: Biểu mẫu yêu cầu đề cập đến cách trình bày vấn đề với thế giới bên ngoài; hiện trạng được chia làm 3 cấp độ: “bổ sung/bổ sung để chứng minh/công bố”; ngày cam kết là ngày cam kết mục tiêu (cam kết ngoài hợp đồng), sẽ có hiệu lực sau khi được người phụ trách đơn vị điều hành phê duyệt. Tầm cỡ nhịp điệu: Ngày cam kết là nút đánh giá, nếu quá hạn thì quy tắc xử lý quá hạn sẽ được kích hoạt; cập nhật hàng tuần là tiết lộ quy trình và ngày cam kết sẽ được ưu tiên áp dụng. Liên kết công khai: Cột này cung cấp điểm neo của trang công khai. Giai đoạn chuyển tiếp địa chỉ gốc là aeliontwelve.vercel.app/disclosure (xem §2.2 Điểm đăng nhập kép). Địa chỉ đầy đủ = địa chỉ gốc + điểm neo; trong vòng 72 giờ sau khi tên miền chính của trang web chính thức được kích hoạt, cột này và trang công khai sẽ được cập nhật đồng thời thành tên miền chính thức và liên kết cũ sẽ giữ lại bước nhảy và lưu trữ. Phiên bản đầu tiên của trang thông báo (bao gồm trạng thái ban đầu của 30 mục trong bảng này) sẽ trực tuyến không muộn hơn ngày 21/09/2026 và sẽ được cập nhật vào Thứ Hai hàng tuần (UTC) sau đó và tất cả các phiên bản lịch sử sẽ được giữ lại. Vị trí chịu trách nhiệm: Đối với tám mục thông tin chủ đề, hãy xem bảng trạng thái tám mục trong §2.2. Các vấn đề còn lại do người có chức năng tương ứng phụ trách đơn vị điều hành chịu trách nhiệm. Xử lý quá hạn: Nếu vấn đề nào quá hạn và chưa được giải quyết thì sẽ thực hiện các quy định dưới bảng 8 mục ở §2.2 (lý do và ngày sửa đổi sẽ được nêu trong vòng 5 ngày làm việc; hướng dẫn khắc phục phải được công bố trong hai lần quá hạn liên tiếp). Bảng này sẽ được cập nhật đồng thời và tất cả các phiên bản lịch sử sẽ được giữ lại.

phụ lụcBảng thông số biểu đồ phụ lục D (Hình 5-1/Hình 6-1)

Phụ lục này cung cấp bảng thông số tính toán lại Hình 5-1 và Hình 6-1 tương ứng với số theo dõi D-21 và D-22 (trạng thái: bổ sung và chờ xác minh). Đường dẫn hỗ trợ: Các giá trị trong bảng là ước tính thiết kế thu được theo mô hình truyền thông §5.2 Hockney, ước tính thông lượng đường mái và công thức §6.4 M_KV; phương pháp hỗ trợ là phép đo thực tế và tính toán lại năm loại nhiệm vụ và hai cấp độ mô hình trong cụm xác minh nền tảng trong quá trình thử nghiệm nội bộ giai đoạn 0 (mời 50–100 nút ngăn xếp NVIDIA, xem §9.2) - việc đo lường thực tế mức sử dụng bộ nhớ T_comm/T_compute/Video được so sánh từng mục với bảng này và hồ sơ đo lường thực tế được lưu giữ trên trang thông báo công khai; bất kỳ bên thứ ba nào cũng có thể độc lập tính toán lại và so sánh theo các thông số trong phụ lục này. Nhận dạng phiên bản: Hai bảng tham số được duy trì theo phiên bản. Mỗi bản cập nhật được đánh dấu bằng số phiên bản (chẳng hạn như D-1.1/D-2.1) và dấu ngày. Tất cả các phiên bản lịch sử đều được giữ lại trong kho lưu trữ /archive để dễ dàng tham khảo và so sánh; phạm vi tham số được xem xét và cập nhật hàng quý khi các mẫu đo ở pha 0 mở rộng. Bảng D-1 cũng cung cấp 2 cột: T_comm (theo mức băng thông) và T_compute (bao gồm cả giả định về thiết bị phần cứng), nhờ đó α_comm = T_comm ÷ T_compute có thể được tính toán lại từng bước và không còn chỉ đưa ra tỷ lệ mà không đưa ra mẫu số.

Bảng D-1 Hình 5-1 Bảng tham số: Khoảng ước tính α_comm (thùng băng thông theo băng thông), giá trị T_comm/T_compute và phân bổ phân bổ (D-21)

Bảng D-2 Hình 6-1 Bảng tham số: thiết bị model (mức 7B/70B), cấu hình GQA và mức sử dụng bộ nhớ KV (D-22)

Lưu ý: Cả hai hàng MHA đều là hàng cơ sở để so sánh "không nén GQA". Các giá trị giống nhau trước và sau khi nén là hành vi được mong đợi - cơ chế phân trang chỉ loại bỏ các đoạn bộ nhớ video và không thực hiện nén, do đó không nên hiểu lầm là phân trang không có tác dụng; hiệu ứng nén được thể hiện qua việc giảm bộ nhớ video của hàng GQA so với hàng cơ sở (7B cấp 17,2 → 4,3 GB, 70B cấp 85,9 → 10,7 GB). Cấp 70B có cấu hình tương tự như ví dụ văn bản trong §6.4 (80 lớp, H_kv = 8, chuỗi đơn FP16 ≈ 10,7 GB); Cấp 7B là thiết bị điển hình cho các tình huống sử dụng đồng thời một thẻ. Hai cấp độ tương ứng với hai mục tiêu tính toán lại lần lượt là "so sánh hiệu ứng nén" và "thẻ đơn có thể xử lý đồng thời".

tham khảoTài liệu tham khảo

Sau đây là các tài liệu học thuật chính, tiêu chuẩn kỹ thuật và tài liệu chính thức được trích dẫn trong bài viết này. Việc đặt tên cơ chế và công thức tầm cỡ trong văn bản được dựa trên các nguồn nêu trên; các chỉ số được đánh dấu là "mục tiêu thiết kế" do bài viết này tự xác định và không trích dẫn bất kỳ dữ liệu đo lường nào của bên thứ ba chưa được xác minh. Ngày truy cập các nguồn trực tuyến được thống nhất là 2026-09-14.

bài báo học thuật

• Hoffmann và cộng sự, Đào tạo các mô hình ngôn ngữ lớn tối ưu về điện toán (Luật chia tỷ lệ Chinchilla, xem §6.2), 2022, arxiv.org/abs/2203.15556
• Rafailov và cộng sự, Tối ưu hóa tùy chọn trực tiếp: Mô hình ngôn ngữ của bạn bí mật là mô hình phần thưởng (DPO, xem §6.2), NeurIPS 2023, arxiv.org/abs/2305.18290
• Hu et al., LoRA: Low-Rank Adaptation of Large Language Models，2021，arxiv.org/abs/2106.09685
• Dettmers et al., QLoRA: Efficient Finetuning of Quantized LLMs，2023，arxiv.org/abs/2305.14314
• Leviathan và cộng sự, Suy luận nhanh từ máy biến áp thông qua giải mã suy đoán (xem §6.4), ICML 2023, arxiv.org/abs/2211.17192
• Ainslie và cộng sự, GQA: Đào tạo các Mô hình ngôn ngữ biến đổi đa truy vấn tổng quát từ các điểm kiểm tra nhiều đầu (xem §6.4), 2023, arxiv.org/abs/2305.13245
• Rajbhandari et al., ZeRO: Memory Optimizations Toward Training Trillion Parameter Models，SC 2020，arxiv.org/abs/1910.02054
• Shazeer và cộng sự, Mạng lưới thần kinh cực lớn: Lớp hỗn hợp các chuyên gia có cổng thưa thớt (MoE, xem §6.4, §9.3), ICLR 2017, arxiv.org/abs/1701.06538
• Micikevicius và cộng sự, Định dạng FP8 cho Học sâu (xem §9.3), NVIDIA, 2022, arxiv.org/abs/2209.05433
• Dao và cộng sự, FlashAttention: Chú ý chính xác nhanh và hiệu quả về trí nhớ với IO-Awareness (xem §9.3), NeurIPS 2022, arxiv.org/abs/2205.14135
• Shah, Bikshandi, Zhang và cộng sự, FlashAttention-3: Chú ý nhanh và chính xác với sự không đồng bộ và độ chính xác thấp (FlashAttention-3, xem §9.3), 2024, arxiv.org/abs/2407.08608
• Williams, Waterman & Patterson, Roofline: Mô hình hiệu suất hình ảnh sâu sắc cho kiến ​​trúc đa lõi (xem §5.2, §6.4), Communications of the ACM, 2009, doi.org/10.1145/1506609.1506623
• Kahn, A.B., Topological Sorting of Large Networks (xem § 7.1), Communications of the ACM, 5 (11): 558–562, 1962, doi.org/10.1145/368996.369025
• Erlang, A.K., Giải pháp cho một số vấn đề trong Lý thuyết về xác suất có ý nghĩa trong tổng đài điện thoại tự động (M/M/c và mô hình xếp hàng Erlang C, xem §6.3), Elektroteknikeren, 13, 1917

Tiêu chuẩn kỹ thuật và tài liệu chính thức

• Tiêu chuẩn mã thông báo ERC-20, Đề xuất cải tiến Ethereum (xem §8.6)
• Các quy ước bảo mật hợp đồng OpenZeppelin (SafeERC20/Math) (xem §8.6)
• Tài liệu chính thức của Solidity (xem §8.6)
• Đặc tả Giao thức bối cảnh mô hình (MCP) (xem §7.1, §9.3)
• Dự án tiêu chuẩn hóa tiền điện tử hậu lượng tử (PQC) của NIST (xem §9.3)
• WebAssembly (WASM) và eBPF (xem §4.7, §9.3)

khung tham chiếu thiết kế

• Sách trắng Ethereum——Tham khảo hệ thống tài khoản và đo lường Gas (xem §3.4)
• Sách trắng Filecoin - Tài liệu tham khảo về bằng chứng tịch thu và lưu trữ tài sản thế chấp (xem §3.4, §4.5)