我重点啃了白皮书中关于HACA架构的部分。核心逻辑是执行和验证独立操作、发生在不同时间线上:推理节点跑模型出结果,验证节点校验证明上链结算。验证层不需要重新跑计算,只需验证证明。用白皮书原话就是“verification layer is specifically designed to validate proofs without ever needing to see — let alone re-run — the original computation”。验证层用的CometBFT共识引擎提供即时最终性和拜占庭容错,三种验证方式TEE、ZKML和Vanilla可以按场景权衡成本和安全性。
后来翻@OpenGradient 白皮书,Design Principles章解释了为什么传统区块链搞不定AI。原话是“AI inference breaks all three assumptions: expensive, non-deterministic, slow.”让一百个节点各自跑一遍大模型,成本翻百倍;LLM输出本身就有随机性,节点没法直接比对结果。
OpenGradient说白了就是执行和验证分开干。白皮书里写的是“verification layer is designed to validate proofs without ever needing to see, let alone re-run, the original computation”。推理节点跑模型、出证明,全节点只校验证明有没有效,不需要知道输入是啥、模型是啥、输出是啥。网络拆成推理节点、全节点、数据节点三个角色,请求直达推理节点毫秒返回,验证异步完成。加上x402支付升级,验证能塞进单笔交易,DeFi清算这类场景效率优势明显。