Bằng chứng AI: Một đám mây nguồn mở trả công cho những nhà phát triển mà nó chạy trên
Hanzo Cloud được xây trên Bằng chứng AI — suy luận tất định mà bất kỳ trình xác thực nào cũng có thể kiểm lại trên chuỗi — và trên cam kết rằng 25% những gì đám mây kiếm được chảy ngược về những nhà phát triển nguồn mở mà mã của họ đang được chạy.
Trong trang này
Hai bài toán khó nằm dưới mọi lời chào "AI phi tập trung", và phần lớn dự án chỉ phẩy tay với cả hai.
Thứ nhất: làm sao tin một kết quả mà bạn không tính? Nếu một máy ở xa nói "mô hình xuất ra X", làm sao bạn biết nó đã chạy mô hình — không phải bản rẻ hơn, không phải rác, không phải một lời nói dối đã lưu đệm?
Thứ hai lặng hơn và, chúng tôi nghĩ, quan trọng hơn: cả chồng AI được xây trên nguồn mở mà gần như không ai trả tiền. Máy chủ suy luận của bạn, bộ tách token của bạn, chỉ mục vectơ của bạn, thư viện mật mã của bạn — do những người viết ra mà không thấy đồng nào từ doanh thu mà mã của họ tạo ra.
Bằng chứng AI (PoAI) là câu trả lời của chúng tôi cho bài thứ nhất. Cam kết chi trả của chúng tôi là câu trả lời cho bài thứ hai. Bài này là bản kể thành thật về cái đang sống hôm nay, cái đã nối nhưng còn ngủ, và cái vẫn là lộ trình. Chúng tôi sẽ nói rõ cái nào là cái nào — vì toàn bộ ý nghĩa là khả năng kiểm chứng.
Bằng chứng AI thực sự chứng minh điều gì
Tính toán AI nổi tiếng là khó kiểm vì toán dấu phẩy động không tất định: cùng mô hình, cùng đầu vào, cùng GPU có thể cho những con số hơi khác tùy thứ tự phép toán và lịch. Bạn không thể đạt đồng thuận trên một số đổi mỗi lần tính.
PoAI gỡ tính không tất định thay vì cố chứng minh vòng quanh nó:
- Suy luận chỉ bằng số nguyên. Trọng số và kích hoạt được lượng tử hóa về
int8. Tích lũy làint32, co giãn là một phép dịch phải số học, đầu ra bão hòa, và các hàm siêu việt là bảng tra đã đóng băng — không bao giờexp()hayrsqrt(). Kết quả là một lượt tiến giống từng bit trên CPU, Metal, CUDA và AMD. - Tính lại, không phải tin. Transformer số nguyên được phơi ra như một precompile của EVM. Mô hình tin cậy là mô hình đơn giản nhất đang có: mọi trình xác thực chạy lại đúng phép tính ấy trong lúc thực thi khối. Nếu đầu ra của bạn không khớp với những gì máy của mọi người khác tạo ra, khối của bạn bị từ chối. Không ủy ban, không phần cứng đặc biệt, không chứng cứ để giả mạo.
Đây là biến thể PoAI mà nghiên cứu của chúng tôi mô tả lần đầu trong Bằng chứng AI: Tính toán kiểm chứng được như một nguyên thủy đồng thuận (ZIP-002), nay đã giao dưới dạng mã.
Phần này đang sống
Đá khóa là một phép nhân ma trận int8 tất định — gemm_i8 — được hiện thực giống từng byte trong Go, Rust và C++, với nhân GPU (Metal, CUDA, HIP) vượt cùng các bài kiểm đáp án đã biết. Bản hiện thực Go là một precompile EVM đã đăng ký tại địa chỉ 0x0300...0003, được các EVM Lux, Zoo và Hanzo nhập trống, nên cùng một đường suy luận tất định được chia sẻ trên cả ba chuỗi. Một dãy token vàng được khẳng định trên mọi ngôn ngữ như một bài kiểm:
prompt 1 7 13 2 → 4 28 21 17 2 19 43 35 36 15Nếu vectơ ấy từng khác nhau giữa hai máy, CI chuyển đỏ. Đó là nghĩa của "kiểm chứng được" trong thực tế.
Phần này là lộ trình thành thật
- Kích thước mô hình. Precompile trên chuỗi hôm nay chạy một transformer tham chiếu nhỏ. Việc chuyển một mô hình sản xuất (Qwen3-0.6B / zen-nano) đã được đặc tả và đang làm — tính lại một mô hình biên trong mọi trình xác thực không phải mục tiêu; mô hình nhỏ kiểm chứng được và kiểm chứng lấy mẫu các mô hình lớn mới là mục tiêu.
- Chứng cứ mật mã. Chứng cứ zkML và thực thi bảo mật (TEE) đã được thiết kế và dựng khung cho một bản phát hành sau. Bảo đảm hôm nay là tính tất định mà bạn có thể chạy lại, một bảo đảm thật — chỉ không phải một chứng cứ ngắn gọn.
- Chứng thực phần cứng. Với các mô hình quá lớn để tính lại trên chuỗi, neo tin cậy là một chứng thực phần cứng. Chứng thực AMD SEV-SNP đã được hiện thực từ đầu đến cuối trong chồng của chúng tôi (kiểm đầy đủ chuỗi chứng chỉ với dịch vụ khóa của AMD); Intel TDX và tính toán bảo mật GPU của NVIDIA đã có khung, chưa xong.
Chúng tôi thà nói với bạn điều này còn hơn giao một trang chiếu viết "AI được zk kiểm chứng".
Chi trả nguồn mở: 25%, theo thiết kế
Đây là cam kết, và nó nằm trong mã của chúng tôi, không chỉ trong một bài viết: 75% doanh thu đám mây quy được ở lại nền tảng; 25% được góp cho những nhà phát triển nguồn mở mà gói của họ đám mây thực sự đã chạy.
Quy kết hoạt động từ đầu đến cuối như thế này:
| Bước | Chuyện gì xảy ra |
|---|---|
| Dựng | Mỗi ảnh mà hệ dựng của chúng tôi tạo ra nhận một bản kê vật liệu phần mềm (syft → CycloneDX) — đồ thị phụ thuộc chính xác của thứ đã giao. |
| Quy kết | Một động cơ git blame ánh xạ mỗi phụ thuộc tới tác giả của nó, dòng theo dòng, tạo phần trăm đóng góp theo từng tác giả. |
| Đo | Đám mây đã đo mức dùng theo tổ chức để tính tiền. Mức dùng ấy là cơ sở chi phí. |
| Chia | Mức dùng được phân bổ trên đồ thị phụ thuộc, có trọng số theo đóng góp, và 25% của khoản quy được được giữ cho người đóng góp. |
| Trả | Người đóng góp được trả — để bắt đầu, bằng tín dụng Hanzo không hết hạn; đường crypto và tiền pháp định theo sau. |
Chúng tôi chính xác về tình trạng: bộ sinh SBOM, động cơ quy kết, mức chia 25%, việc đo, và mô hình chi trả đều tồn tại trong mã hôm nay. Thứ chúng tôi đang nối là mô liên kết — bật việc nạp SBOM, lên lịch lần chi trả, và đưa tiền thật qua đường ray vốn đã trả cho người nhận tùy ý. Những khoản trả đầu tiên đi tới các phụ thuộc mà chính Hanzo Cloud đang chạy trên, như bản hiện thực tham chiếu.
Nối kho của bạn, được trả
Trạng thái cuối là tự phục vụ: nối một kho GitHub, xác minh bạn sở hữu nó, chọn cách bạn muốn được trả, và nhận một phần mỗi khi Hanzo Cloud chạy phần mềm phụ thuộc vào phần mềm của bạn. Luồng nhập môn ấy là mảnh chúng tôi xây tiếp theo. Khi nó tới, nó sẽ là chủ đề theo đúng chữ của tiêu đề bài này — và bạn sẽ kiểm được khoản mình kiếm với chính SBOM đã sinh ra nó.
Chạy một nút, và chia sẻ đám mây
Người vận hành nút. Hanzo Node cho một máy ghi danh bằng danh tính mật mã, quảng cáo những gì nó làm được, nhận việc qua mạng ngang hàng, và được trả qua thanh toán stablecoin (x402). Vòng ấy có thật hôm nay cho việc của tác tử và công cụ. Chợ tính toán được đo phần cứng đầy đủ và được chứng thực — nơi bạn bán thời gian GPU dưới một chứng thực TEE và thanh toán trên chuỗi — là hướng đi, xây trên các nguyên thủy chứng thực và thanh toán ở trên, không phải lối tắt vòng quanh chúng.
Giới thiệu và chia sẻ. Giới thiệu một nhà phát triển hoặc một tổ chức thì cả hai đều nhận tín dụng; đối tác nhận một phần theo bậc của khoản chi được giới thiệu. Việc này đang sống trong hệ tính tiền hôm nay, có cổng chống gian lận và đã được kiểm — đúng bộ máy chia doanh thu mà khoản chi trả nguồn mở xây trên đó.
Vì sao điều này quan trọng
Một đám mây AI không chứng minh được kết quả của mình là đang xin sự tin mù. Một đám mây AI hưởng lợi từ nguồn mở mà không trả lại thì không bền. Bằng chứng AI xử lý bài thứ nhất bằng cơ chế nhàm chán nhất, vững nhất đang có — tính lại tất định — và khoản chi 25% của chúng tôi xử lý bài thứ hai bằng một con số chúng tôi đã viết vào mã.
Bảng điểm thành thật: lõi suy luận kiểm chứng được đã giao và đã kiểm; đường ống chi trả đã dựng và đang được bật; các chứng cứ, việc chuyển mô hình lớn, và cửa trước tự phục vụ là lộ trình với nền thật bên dưới.
Chúng tôi sẽ tiếp tục công bố cái gì là thật và dán nhãn cái gì không phải. Đó là cách duy nhất để "Bằng chứng AI" có nghĩa.
Hanzo AI là Techstars '17. Cuộc kiểm kỹ thuật đằng sau bài này — mọi tuyên bố được ánh xạ tới một tệp và một dòng — được giữ nội bộ và dẫn kế hoạch xây dựng.
Đọc tiếp
Bộ định tuyến chính là sổ đăng ký
Hanzo Cloud không có tệp OpenAPI được đưa vào kho. Bảng tuyến đang sống là nguồn, được chiếu theo ba cách, và một phép thử song ánh làm hỏng bản dựng nếu hình chiếu nào trôi. 1,362 thao tác trên 963 đường dẫn, sinh theo từng tiến trình tại thời điểm yêu cầu.
Introducing Enso — one API, routed to the best frontier intelligence
Enso is Hanzo's learned router: no single frontier model leads every benchmark, so Enso routes each request to the model most likely to win it — and learns from your feedback as it goes. Microsecond routing on a CPU, a transparent per-request meter, and a 1% fee that pays for itself. Here is how it works, the measured results, and the cost-transparency angle a monolith cannot offer.
Route every prompt to the right model — and cut AI cloud costs by up to 90%
Hanzo Router places each request on the cheapest model that can still serve it — reuse a local model for free, load one that fits, or fall through to cloud. Here's the idea, what it feels like in production (qualitative), and the honest cost arithmetic (quantitative) — no fabricated benchmark.