验证大规模计算太贵怎么办？sum-check 协议把『证明所有格子加起来等于某个值』拆成一串轮流点名的小问题，验证者只用随机抽查。本文讲 LFKN 1992 年的原始构造、GKR 怎么拿它给电路验证装引擎、它如何长成现代证明系统的积木，以及随机性从哪来才诚实。

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