人工智能之证：向自己所运行的开源开发者付费的云

每一套「去中心化 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。这篇帖子背后的技术审计——每条主张都对应到文件和行——在内部维护，并驱动构建计划。

人工智能之证：向自己所运行的开源开发者付费的云