AI 加 crypto 是这一轮周期里最好讲的故事。现在每一份融资材料里都少不了一个「Proof of Something」。名字是拿来做营销的；协议真正给奖励的那个东西，才是生意本身。
那么，每一种证明到底证明了什么？
TensorCash：推理既是区块的工作量，也是市场上的回执
TensorCash 把真实的模型推理放进了区块里。
挑一条提示词。一个真正的自回归模型来回答它，方式跟服务付费客户时完全一样。采样轨迹产生证明，证明挖出区块。没有第二道 GPU 谜题在有用的工作旁边空转，没有算力评分来顶替它，也没有验证者投票决定这个答案「看起来够不够聪明」。推理本身就是工作量。
同一份证明，也是让这次推理能在公开市场上卖出去的回执——买方不必信任服务商。一个没人听说过的运营方，不需要靠云厂商的招牌来证明自己跑的是哪个模型。买方验证回执，然后就在价格和延迟上比较不同的服务商。数据中心参与进来，用的也是完全相同的这一套标准。
正式评测测得，在常规的服务工作点上，产生证明带来的额外开销是个位数。后来生产环境的挖矿软件收紧了日志，实测开销降到了零——剩下那点开销本来就是日志造成的，不是推理带来的。这不是「理论上有用」，这是已经在跑的软件。
每一个验证节点都跑同一份确定性的验证代码。它按声明的模型和精度重放一遍，再套上一组经过标定的统计边界——这组边界是照着 GPU 推理的数值现实设计的。诚实硬件之间的差异落在边界之内；拿 fp8 顶替要求的 bf16 模型，落不进去。这不是远端某个人的看法，也不是按质押量加权的口味投票，而是协议写死的一道检验。
而且这份工作是排他的。同一次推理没法挖出两个 TensorCash 区块。它被消耗进一个候选区块，就像 Bitcoin 里一次哈希尝试不可能同时挖出两个候选区块。这一点很关键：GPU 算力的声称、模型驻留的声称，都可以同时向十个网络各报一遍——除非这些网络能证明并惩罚一份算力卖两次。
接下来对照一下别的机制到底买到了什么。完整的对比和引用都在《可验证推理》论文里，这里是白话版。
Proof of Model
考察对象：Keryx。
Keryx 把自己的机制叫做 Proof-of-Model。它的挖矿工作集由模型权重构成，所以这份证明表明的是：矿工把模型放在了 GPU 显存里。
加载了模型，不等于做了一次推理。
Keryx 自己的论文承认了这条界线：Proof-of-Model 证明的是持有权重；生成的答案对不对，交给另一套乐观挑战机制去管。两套机制，正因为驻留不等于执行。
再回答经济层面的问题。同一块 GPU、装着同一个模型，凭什么不能同时向好几个奖励系统证明自己驻留了？当每条链都在为同一份声称的算力付钱时，会发生什么？如果答案是「我们会定期抽查」，那这块 GPU 拿到的钱是买它通过抽查，而不是买它产出排他的有用工作。
**TensorCash 一句话：**驻留的模型可以反复拿来声称，而一次真实的 TensorCash 推理只能挖出一个区块。
Proof of GPU、算力与硬件证明
考察对象：io.net、Aethir 和 Phala。
io.net 每小时跑一次工作量证明式的硬件检查，用来核验 GPU、显存和性能。Aethir 按 Proof-of-Capacity 发奖励，只要容器在线待命就给，哪怕它根本没在做客户的活。Phala 这类可信执行环境系统，则加上了由厂商背书的软硬件证明。
这些系统能证明一台机器存在、可用，或者启动了一套被认可的软件栈。但它们并不能自动证明：被付了钱的这份算力是排他使用的。把一块 GPU 同时注册到几个网络，每一边的定期检查都通过，几份可用性奖励一起领——直到真实任务撞车为止。密码学层面的排他性在哪里？同一份物理算力被卖了两次，惩罚又在哪里？
硬件证明给的是另一种答案：信任 NVIDIA、信任固件、信任证明服务，以及信任那套被度量过的软件栈。对一朵机密计算的云来说，这也许可以接受。但它不是去中心化地证明「有用的推理保护了一个区块」。
**TensorCash 一句话：**一块 GPU 可以通过很多次算力检查；而 TensorCash 区块里的那次推理，没法被重复售卖。
Proof of MatMul
考察对象：BTX 和 Pearl。
BTX 挖的是有限域上的矩阵乘法。Pearl 围绕携带证明的矩阵乘法搭了一条链，并把它接到一个改造过的推理服务器上。
Nockchain 在这里只是个脚注，不算另一套机制。它的论文把同一套任意矩阵乘法的 cuPoW 指为 AI 挖矿的未来路线，因此下面这套批评同样适用于它。
矩阵乘法是推理的一部分，就像活塞做功是送快递的一部分。证明活塞动过，并不能证明包裹送到了。
一次真实的模型响应里还有注意力、KV cache 的行为、归一化、路由、采样、模型身份、提示词身份，以及一串前后依赖的 token。一个孤立的矩阵乘法，这些一个都证明不了。它证明的只是：某块 GPU 解了一道矩阵谜题，而这道题恰好 AI 也会用到。
经济层面的问题比任何跑分数字都简单。如果一边推理一边挖矿会让机器两头都变慢，理性的运营方就会分工：要么挖矿，要么推理，要么把硬件切开各做各的。高效的矿工会砍掉一切证明用不上的东西——包括面向客户的那条推理链路。
一旦推理可以被剥掉而奖励照拿，「有用的 AI 挖矿」就退回成了一道专用的 GPU 谜题。模型也用矩阵乘法，这个事实并不能把挖出来的那次矩阵运算变成一份能卖的模型响应，它的证明也当不了那份响应的回执。
**TensorCash 一句话：**TensorCash 挖的是客户买走的那次响应，不是一次孤立的矩阵运算——后者没有客户反而磨得更赚。
Proof of Transformer 与基于跑分的算力
考察对象：Gonka。
Gonka 的 Proof of Compute 在随机生成的 transformer 上跑一轮轮短促的竞速 Sprint。Sprint 的成绩决定算力权重，算力权重又决定共识话语权，以及之后能分到多少推理工作。
一句话点破这个缺口：用来证明算力的那件事，不是客户掏钱买的那件事。
经济上，运营方会被推着去为 Sprint 做优化，因为那个分数掌握着话语权和未来的分配。Gonka 为此加了确认检查、保留推理节点、声誉机制，以及按模型划分的证明组，用来管住后面真正发生的事。这些手段说明他们看到了这个攻击面，但跑完分再去盯着主机，并不能把跑分变成客户的推理。这等于请了第二套系统，来强制执行第一套系统证明不了的东西。
**TensorCash 一句话：**Gonka 先测一场 transformer 竞速，再去强制服务；TensorCash 直接让服务本身成为工作量证明。
证明者—验证者网络
考察对象：Bittensor。
Bittensor 的矿工在各个子网里产出工作，验证者给它打分。按质押量加权的 Yuma Consensus 再把这些权重换算成代币发行。
即便工作本身在链下，每出现一类新工作，就要配一套自己的激励机制、一批有能力评判它的验证者，还有足够的链上协调来为它付钱。这就是它的扩展天花板。
更深一层的问题在于：什么算标准答案。验证者的水平上限就是它评分函数的水平；而「这个答案不错」并不是一条客观的共识规则——它是一次判断，只不过后面挂了一笔区块奖励。Bittensor 自己的文档就写了权重抄袭问题：验证者可以靠预测并抄袭共识来赚钱，而不是真去做评估。
有些子网任务可以打出干净的分数，很多则不行。无论哪种情况，代币分配的客观程度，都不会超过验证者和他们那套指标的客观程度。
**TensorCash 一句话：**Bittensor 记录的是验证者奖励了谁；TensorCash 验证的是这次推理由哪个模型产出。
Proof of Logits
考察对象：Ambient。
Ambient 的 Proof of Logits 是最接近的一种主张：矿工对 logits 标记做哈希，验证者再重算其中一个随机 token。
同一个模型，在不同的 GPU 架构、不同的 kernel、不同的批处理方式和不同的精度路径下，吐出来的 logits 不会逐字节相同。Ambient 的 litepaper 给出的回答是：它会为 logits 构造一种「与硬件无关的表示」。这个主张的安全性，取决于具体规则、跨 GPU 的标定，以及实测的误接受率和误拒绝率。归一化必须紧到能抓出更便宜的模型或更低的精度，同时又不能把诚实硬件误杀。
这不是无关紧要的细节。直接做哈希，对诚实 GPU 之间的差异太脆；归一化放松了，又很容易被钻空子。整个安全性主张，就活在这两种失败之间的缝隙里。
这份工作 TensorCash 已经做完了。它的验证者建立在真实的跨硬件执行之上，采用经过标定的统计判定阈值。在真实区块上，网络已经把同一模型的 bf16 和 fp8 区分开了，低精度的那些区块拿到的工作量为零。证据是公开的。
**TensorCash 一句话：**Ambient 宣称 logits 与硬件无关；TensorCash 则去实测硬件差异，并按标定出来的边界执行。
真正独一无二的地方
TensorCash 并不是在说：别人没有 GPU、不会跑模型、不会算矩阵、不会给 transformer 跑分、不会给 AI 输出打分、不会对 logits 做哈希。
它主张的是一件精确得多的事，而且至今没有人拿得出反例：
一次普通的、可以卖钱的模型推理，本身就是区块的工作量。同一份工作不能挖两次，每个节点都拿按模型标定好的边界去验证它，而挖矿产生的这份证明，就是让这次推理在公开市场上卖出去、且买方无需信任服务商的那份回执。
正因如此，一个无名的 GPU 运营方才能和数据中心在真正该决定算力市场的东西上较劲：价格和延迟。也正因如此，数据中心可以直接把 TensorCash 用在它本来就在卖的推理上，而不必在服务客户和另跑一道挖矿谜题之间二选一。
如果还有哪条已经上线的链做到了同样的事，把区块、证明、验证者和端到端的吞吐数据发过来。我们随时可以聊。
在那之前，请读证明，别读故事。
本文由 Imosuke Takakuni 以化名撰写。