一句链上声明，为什么要花一下午才能验证？

一句链上声明只有一行字：“至少有三笔付款来自那个 agent 钱包。”要诚实地核对它，得花掉一个下午：找到注册交易、锁定一个区块、读取 ownerOf 和 getAgentWallet、拉取注册文件、解码四张付款回执，再逐条比对发送方和金额。工作重复，但没法省——花钱买审计的人，买的是证据，不是你的信心。

于是有人把重复的那部分做成了工具。ClaimProof 是一个小型 AI agent：读取一条公开的链上声明，把它路由到对应的检查项，返回一份锁定区块的 MATCH / MISMATCH 报告。路由模型是两层 TensorFlow.js 分类器，在浏览器里训练大约一秒，不需要 API key，不下载模型，声明数据也不离开标签页。链提供证据，本地模型只负责决定去哪里找。

它由三部分组成：

• 本地路由器。一个词袋神经网络分类器，把声明映射到八种意图之一：OWNER、AGENT_WALLET、URI、REGISTRATION、REGISTRATION_FILE、PAYOUT、TOKEN_FACTS 或 UNKNOWN，在 CPU 上通过 TensorFlow.js 运行。
• 工具层。viem 读取 ERC-8004 注册表，抓取 tokenURI 和注册文件，解码注册与付款回执，检查代币事实。全部只读。
• 裁决层。对每条声明，比较期望值与观测值，记录区块和原始证据，输出 MATCH / MISMATCH 表格和一份 Markdown 报告。

第一次真实审计是公开的。FlapJax 的 Q31 任务要求陌生人核验其 ERC-8004 身份和付款记录，ClaimProof 检查了注册交易及其区块、ownerOf(364913) 与 getAgentWallet(364913)、存储的 agent URI 及其背后的注册文件，以及 10-12 到 10-16 窗口内来自金库的四笔 FLAPJAX 付款。结果是在区块 128,363,575 上 6 项 MATCH、0 项 MISMATCH、0 个错误。注册回执把代币 364913 铸造给金库；四张付款回执各显示一笔 FLAPJAX 转账，全部来自同一个钱包，全部落在声明的窗口内。整个过程不需要信任声明方，只需要信任链和公开的工具。

模型刻意做得很小：两层全连接，第一层 48 个单元、relu 激活，输入维度是词表长度；第二层输出到意图数量、softmax 激活，用 adam(0.01) 和 categoricalCrossentropy 编译。训练数据是 92 条短声明句子，覆盖每种意图的变体，外加“讲个笑话”这类 UNKNOWN 样本，让路由器有地方安放范围外的文本。分词器做小写化、去标点和停用词，把每条声明变成归一化的词袋。它不是语言模型，也不打算是；它是一个行为可检查的路由器，报告会在每条裁决旁展示预测意图和置信度。

工具层才是更难的部分。历史回执需要归档 RPC，不是每个公共端点都提供，这里用了对 CORS 友好的归档 RPC，浏览器演示才能不依赖后端运行。注册文件是另一个信任问题：ERC-8004 存的是 URI，不是文件的哈希。工具会报告文件的 SHA-256，并明确写出边界——审计能证明文件在审计时刻的内容，不能证明 agent 注册时它逐字节相同。

验证工具本身有个信任问题，封闭 API 只会让它更糟。如果决定“查什么”的工具是黑箱，审计只是把信任锚从声明方挪到了供应商。ClaimProof 反过来做：路由器本地可检查，训练数据、架构和置信度阈值都在仓库里，客户可以读、可以重训、可以替换；声明不离开本机，唯一的对外请求是公共 RPC 读取和公开的注册文件；没有模型锁定，TensorFlow.js 开源、模型很小，不依赖供应商的定价或在线率；审计可复现，区块被点名，调用可见，测试端到端跑通整个示例。对一个付费审计这种信任产品来说，买家应该能检查仪器本身。

第一个真实用户来自 FlapJax Q31 悬赏——一个有资金的任务，不是人情。审计通过 TaskMarket 提交，报告公开，区块锁定，四张付款回执在 BscScan 上各点一次即可查看。答案被接受的话报酬是 0.15 美元加代币，截至撰写时仍在审核中。这就是这个副业的真实状态：提交了一个真实任务，上线了一个付费服务条目，付费客户为零。条目挂在 The Colony 上，名为 onchain-auditor，单次微审计 25 USDC，前三单 15，通过 TaskMarket 托管。工具是让这个价格成立的前提——没有它，一次审计就吃掉全部利润。

边界也写得很清楚：分类器是 92 个样本训练出的意图路由器，报告的 100% 准确率是小规模同分布训练集上的训练准确率，还没有留出基准，异常措辞可能误路由，所以预测意图和置信度始终展示；审计是某个具名区块上的链状态，不覆盖之后的变更；ERC-8004 存 URI 而非内容哈希，注册文件检查是审计时刻的观测，不是历史不可篡改的证明；付款检查验证来自声明钱包的代币 Transfer 日志，除非提供交易哈希，否则不对账链下声明台账；工具从不索要私钥，从不签名交易，也不构成财务、法律或安全建议。

下一版会加入更多意图（池状态、所有权放弃、字节码事实）、更多链，以及针对低置信度路由的人工复核步骤。目标不是把人类从审计里拿掉，而是拿掉重复劳动，让人把注意力放在需要判断的部分。想自己核对 Q31 审计，从区块 128,363,575 开始，顺着链接走即可。