人工智慧證明：付錢給它所執行的開源開發者的雲端

每一套「去中心化 AI」的說詞底下，都壓著兩個硬問題，多數計畫對兩個都只是揮揮手。

第一個：你要怎麼信任一個不是你算出來的結果？ 如果一台遠端機器說「模型輸出了 X」，你怎麼知道它真的跑了這個模型——不是更便宜的一個，不是垃圾，不是一條快取好的謊言？

第二個更安靜，而我們認為更要緊：整座 AI 堆疊蓋在幾乎沒人付錢的開源之上。 你的推論伺服器、分詞器、向量索引、密碼函式庫——寫它們的人，看不到自己的程式碼所產生的收入。

人工智慧證明（PoAI）是我們對第一個問題的回答。給付承諾是對第二個的回答。這篇文章如實交代今天什麼是活的，什麼接上了卻還睡著，什麼仍是路線圖。我們會講清哪一個是哪一個——因為全部意義就在可驗證。

人工智慧證明實際上證明什麼

AI 計算出了名地難驗證，因為浮點數學是非確定的：同一個模型、同一份輸入、同一塊 GPU，會因運算順序和排程而給出略有不同的數。你無法在一個每次計算都變的數上達成共識。

PoAI 拿掉非確定性，而不是試圖繞著它去證明：

只用整數的推論。 權重和活化量化到 int8。累加是 int32，縮放是算術右移，輸出飽和，超越函式是凍結的查表——從不用 exp() 或 rsqrt()。結果是一次前向，在 CPU、Metal、CUDA 和 AMD 上逐位元相同。
重新計算，而不是信任。 整數變換器作為 EVM 預先編譯暴露出來。信任模型是現存最單純的那一種：每個驗證者在區塊執行期間重跑同一份計算。 如果你的輸出和別人機器產生的不一致，你的區塊就被拒絕。沒有委員會，沒有專用硬體，沒有可以偽造的證明。

這就是我們的研究最初在《人工智慧證明：可驗證計算作為共識原語》（ZIP-002）裡描述的那一種 PoAI，現在已經作為程式碼交付。

這一部分是活的

基石是一次確定性的 int8 矩陣乘法——gemm_i8——在 Go、Rust 和 C++ 裡逐位元組相同地實作，GPU 核心（Metal、CUDA、HIP）通過同一組已知答案測試。Go 實作是位址 0x0300...0003 上的已註冊 EVM 預先編譯，由 Lux、Zoo 和 Hanzo 的 EVM 空白匯入，於是三條鏈共用同一條確定性推論路徑。一段黃金詞元序列作為測試，在每種語言裡都被斷言：

prompt  1 7 13 2  →  4 28 21 17 2 19 43 35 36 15

這段向量一旦在兩台機器之間出現差異，CI 就變紅。實務裡「可驗證」就是這個意思。

這一部分是誠實的路線圖

模型規模。 鏈上預先編譯今天跑的是一個小型參考變換器。生產模型（Qwen3-0.6B / zen-nano）的移植已經寫明規格，正在進行——在每個驗證者裡重算一個前沿模型不是目標；小型可驗證模型，以及對大模型的抽樣驗證，才是。
密碼學證明。 zkML 證明和機密（TEE）執行已經設計好，並為以後的版本留了樁。今天的保證是你可以重跑的確定性，這是真保證——只是還不是一份簡潔證明。
硬體證明。 對大到不能在鏈上重算的模型，信任的錨是硬體證明。AMD SEV-SNP 證明在我們的堆疊裡端到端實作了（對照 AMD 的金鑰服務做完整的憑證鏈查核）；Intel TDX 和 NVIDIA GPU 機密計算搭了架子，還沒做完。

我們寧願把這些告訴你，也不願交出一張寫著「zk 驗證的 AI」的投影片。

開源分潤：按設計就是 25%

承諾在這裡，而且寫在我們的程式碼裡，不只是一篇網誌：可歸屬的雲端收入，75% 留在平台；25% 匯集給那些雲端真正跑過其套件的開源開發者。

歸屬從頭到尾是這樣運作的：

步驟	發生什麼
建置	建置系統產出的每個映像都得到一份軟體物料清單（`syft` → CycloneDX）——所交付之物的精確相依圖。
歸屬	一台 `git blame` 引擎把每項相依對應到它的作者，逐行，得出每位作者的貢獻比例。
計量	雲端已經按組織計量用量，用於計費。這份用量就是成本基礎。
拆分	用量按貢獻加權，分攤到相依圖上，可歸屬金額的 25% 留給貢獻者。
給付	向貢獻者給付——起步用不過期的 Hanzo 點數；加密貨幣和法幣通道隨後跟上。

我們對狀態說得很精確：SBOM 產生器、歸屬引擎、25% 拆分、計量和給付模型今天全都在程式碼裡。我們正在接上的是結締組織——打開 SBOM 攝入，排定給付執行，並把真錢送過那條已經能付給任意收款人的通道。第一筆給付流向 Hanzo Cloud 自己所相依、所執行的那些套件，作為參考實作。

接上你的儲存庫，就能拿到錢

終態是自助的：接上一個 GitHub 儲存庫，證明它是你的，選擇你想怎麼收款，每當 Hanzo Cloud 執行相依你的軟體的軟體，就收到一份。 這段上手流程是我們下一步要建的。它落地時，就會是這篇文章標題的字面主題——而你能對照產生這筆收入的那份 SBOM，核對自己的所得。

節點營運者。 Hanzo Node 讓一台機器以密碼學身分登記，宣告自己能做什麼，透過對等網路接收工作，並用穩定幣結算（x402）獲得報酬。這個迴路對代理和工具類工作，今天就是真的。完全按硬體計量、帶證明的算力市場——你在 TEE 證明之下出售 GPU 時間並在鏈上結算——是方向，建在上面這些證明與結算原語之上，而不是繞過它們的捷徑。

推薦與分享。 推薦一位開發者或一個組織，雙方都獲得點數；聯盟按檔獲得被推薦消費的一份。這在今天的計費系統裡是活的，有反詐欺門，並且測過——正是開源分潤所依託的同一套收入分享機器。

為什麼這很要緊

一朵證明不了自己結果的 AI 雲，是在要求盲目信任。一朵從開源獲利卻不返還的 AI 雲，無法持續。人工智慧證明用手上最乏味、也最穩健的機制處理第一件事——確定性的重新計算；我們的 25% 給付用一個寫進程式碼的數字處理第二件事。

誠實的記分牌：可驗證推論的核心已經交付並測試；給付管線已經建成，正在打開；證明、大模型移植和自助的正門是路線圖，下面有真實的基礎。

我們會繼續公布什麼是真的，並標出什麼不是。只有這樣，「人工智慧證明」才有意義。

Hanzo AI 是 Techstars '17。這篇文章背後的技術稽核——每條主張都對應到檔案和行——在內部維護，並驅動建置計畫。

人工智慧證明：付錢給它所執行的開源開發者的雲端