TEE + zkML — 可验证、隐私保护的计算。

自主代理为它们无法直接检查的工作付费 — 推理、模型、私有数据集。UTON的可验证计算层为这些代理提供了一种在结算前要求证明工作实际完成且正确完成的方式。两种互补技术支撑它：用于私密、经证明计算的可信执行环境，和用于推理完整性密码证明的零知识机器学习。

可信执行环境（TEE）

TEE是硬件隔离的飞地 — 处理器中代码和数据受主机系统、运营方甚至云提供商保护的区域。在飞地内运行的代码产生签名证明，证明它在特定输入上执行了特定二进制文件。UTON使用TEE运行敏感的代理逻辑和模型推理，同时发出链可以检查的证明。

零知识机器学习（zkML）

zkML产生密码证明，证明特定模型对给定输入产生了特定输出 — 不揭示模型权重或输入数据。验证者（代理、合约或人）可以在毫秒内检查证明，而繁重的推理在链下发生。这让代理可以为推理付费并独立确认结果来自声明的模型。

它们如何配合

• —代理向提供商请求推理或链下计算。
• —提供商运行工作 — 在TEE中保护隐私，或使用zkML证明保证完整性，或两者兼有。
• —提供商返回结果连同证明或证明。
• —UTON在释放代理支付前在链上验证证明或证明。
• —结算以验证执行为条件 — 而非对提供商的信任。

启用的能力