智能合约跑不动大模型，也不想信预言机的一面之词。2025 年 7 月 23 日创建的 ERC-7992 给零知识机器学习画了一条链上边界：登记处把模型权重、架构、电路与验证键打包成 ModelCommitment 发 modelId，验证器用 verifyInference 核对输入承诺与证明。proofSystemId 取规范名哈希前四字节，换证明系统不改 ABI。