学习

先了解可信执行环境（TEE）保护什么、它的证明报告能说明什么，再比较核查声明的其他方法。每篇指南都把一项核查拆成带核查表的编号步骤。

TEE 学习路径

按顺序阅读五篇文章：从什么样的声明可以核查，到 TEE 与其他方法的比较。

1
解读 · 阅读约 7 分钟 · verifiable.pro 研究，自动采编。
AI 系统怎样才算可验证？
读完之后，你可以把服务商的声明与可能支持它的证据区分开，并说出一次核查仍把什么留给信任。
2
解读 · 阅读约 7 分钟 · verifiable.pro 研究，自动采编。
AI 工作负载的远程证明详解
读完之后，你可以说出 AI 服务中的证明方、验证方与依赖方，并说明一份有效报告还留下哪些问题。
3
指南 · 阅读约 9 分钟 · verifiable.pro 研究，自动采编。
如何解读远程证明报告
读完之后，你可以在发送数据之前，核对报告的签名链、固件版本、度量值、新鲜性及其与连接的绑定。
4
分析 · 阅读约 9 分钟 · verifiable.pro 研究，自动采编。
私密 AI 计算服务：从公开设计看外界能核查什么
读完之后，你可以比较 Apple、Meta、Google 与 Cohere 在处理请求的软件上分别允许外界核查什么。
5
分析 · 阅读约 8 分钟 · verifiable.pro 研究，自动采编。
核查 AI 回答的三种方法对比：零知识证明、安全飞地与重新执行
读完之后，你可以判断何时 TEE 的证据已经足够，何时还需加上重新执行或数学证明。
计划中 CPU TEE 对比：Intel TDX、AMD SEV-SNP 与 Arm CCA
计划中面向 AI 推理的 GPU 机密计算
计划中 TEE 如何失效：物理攻击、侧信道攻击与配置缺陷

指南 · 阅读约 8 分钟 · verifiable.pro 研究，自动采编。
如何在加载模型前验证其签名
在任何代码加载权重之前，用这份五步核查表确认模型文件正是预期发布者签署的那些文件，并记录这次检查覆盖了哪些文件。
你需要：模型文件、签名包和预期签名者的身份
5 步
指南 · 阅读约 9 分钟 · verifiable.pro 研究，自动采编。
核查清单：评估可验证推理声明
服务商或协议称其模型输出可验证时，可以做这十项检查。每项检查都附有核查表，用来记录证据涵盖了什么、你还需要信任什么。
你需要：书面声明及其所依据的论文或规范，以及验证工具
10 步
指南 · 阅读约 8 分钟 · verifiable.pro 研究，自动采编。
如何核查内容凭证，以及它不能说明什么
发布或引用一张图片、一段视频之前，用这份六步核查表判断它的 C2PA 清单能确立什么：谁签署了哪些声明，这些声明又覆盖哪些字节。
你需要：收到时原样的文件、C2PA 验证器和 C2PA 信任列表
6 步

可信执行环境（TEE）Trusted execution environment (TEE): 一种由硬件隔离、用于运行代码的环境，例如安全飞地或机密虚拟机。按设计，即使操作系统、虚拟机监控器或云运营方被攻破，其中的代码和数据也不会被窥探或篡改。
远程证明Remote attestation: 设备就自身软硬件状态生成签名证据的过程。验证方评估这些证据，依赖方再根据评估结果决定是否信任这台设备。
度量值Measurement: 代码、固件或配置的密码学哈希值，相当于数字指纹。哈希值在加载时记录下来，并包含在证明证据中。
参考值Reference value: 一种预期值，例如某个获批软件版本的度量值，验证方用它来比对证明证据中的各项声明。
验证方（远程证明）Verifier (attestation): 远程证明中的一方，依据参考值、背书和策略评估证明方的证据，并生成证明结果。
依赖方Relying party: 远程证明中的一方，依据证明结果决定是否信任某台设备，例如在向它发送数据或释放密钥之前。
新鲜性Freshness: 一种保证：证明证据足够新，能够反映证明方的当前状态。为此，签名证据中通常包含验证方选定的随机数（nonce）或可信时间戳。
可信计算基（TCB）Trusted computing base (TCB): 为执行系统安全策略而必须正确工作的全部硬件、固件和软件。