术语表
可验证 AI 中反复出现的术语，附中英文对照与通俗定义。
A
- 智能体身份Agent identity
一个标识符及其凭证，用来把某个 AI 智能体（或它的某个实例）与它所代表的个人或组织区分开。
主题: 智能体身份与问责
- AI 保障等级（AAL）AI Assurance Level (AAL)
2026 年一项前沿 AI 审计提案中定义的四个等级之一，等级越高，审计结论的可信度越高。
主题: 可验证评测与审计
- AI 物料清单（AI-BOM）AI bill of materials (AI-BOM)
机器可读的清单，列出 AI 系统的模型、数据集和依赖项，以及它们的溯源信息（各自来自何处）和训练信息。
主题: 模型与数据供应链
- 基于远程证明的审计Attestable audit
在可信执行环境中运行的评测，由硬件签署的证明报告说明是哪个模型、测试集和代码产生了所报告的结果。
主题: 可验证评测与审计
- 证明证据Attestation evidence
证明方生成、供验证方评估的一组声明，例如度量值和配置数据。
主题: 机密计算与远程证明
- 证明报告Attestation report
TEE 或设备用来报告度量值等声明的数据结构，由植根于硬件的密钥签名。Intel 称之为 quote。
主题: 机密计算与远程证明
- 证明结果Attestation result
验证方评估证明方的证据后输出的结果。验证方为这一结果担保，依赖方据此作出决定。
主题: 机密计算与远程证明
- 证明方Attester
远程证明中生成自身状态证据的设备或环境，他方据此判断可以在多大程度上信任它。
主题: 机密计算与远程证明
B
C
D
E
- 背书Endorsement
远程证明中的一种签名声明，用于担保证明方各项能力的完整性，例如收集声明和签署证据的能力。背书通常由硬件制造商签发。
主题: 机密计算与远程证明
F
G
H
L
- 位置验证Location verification
核查 AI 芯片在哪里运行，例如测量芯片向位于已知地点的地标服务器返回签名响应要花多少时间。
主题: 治理与算力核查
M
- 度量值Measurement
代码、固件或配置的密码学哈希值，相当于数字指纹。哈希值在加载时记录下来，并包含在证明证据中。
主题: 机密计算与远程证明
- 模型承诺Model commitment
服务商公布的密码学值，例如模型权重的哈希值，用来把自己绑定到某个特定模型。之后的密码学证明或审计就可以引用这一承诺。
主题: 可验证推理与计算
- 模型签名Model signing
为模型文件或其哈希清单附加密码学签名。用户据此可以核实模型由谁发布，以及此后是否被改动。
主题: 模型与数据供应链
- 模型替换Model substitution
服务商暗中使用的模型与其对外宣传并据以收费的模型不同，例如换成更便宜的模型，或换成经过量化（降低数值精度）的版本。
主题: 可验证推理与计算
N
- 神经网络验证Neural network verification
一类算法，用来证明已训练的网络在指定区域内的所有输入上都满足某项性质。对输入微小扰动的鲁棒性就是这样一种性质。
主题: 形式化验证
O
- 不经意 HTTP（OHTTP）Oblivious HTTP (OHTTP)
IETF 制定的协议：由中继转发加密的 HTTP 请求，使服务器看不到客户端的 IP 地址，中继也看不到请求内容。
主题: 机密计算与远程证明
P
- 隐私增强技术（PETs）Privacy-enhancing technologies (PETs)
一类技术，让各方在计算数据的同时限制信息泄露，例如安全飞地、安全多方计算和差分隐私。
主题: 可验证评测与审计
- 证明助手Proof assistant
一种软件：数学证明用形式化语言书写，由计算机逐步检查。Lean 就是一例。
主题: 形式化验证
- 推理证明Proof of inference
一种证据，表明某个特定输出是由特定模型在特定输入上运行得到的。
主题: 可验证推理与计算
- 学习证明Proof of learning
训练过程的记录，验证方可以用它核查一组权重确实来自这次训练。记录包括定期保存的权重，以及两次保存之间使用的数据和设置。
主题: 可验证推理与计算
- 训练数据证明Proof of training data
一种协议：模型训练方可以借此让验证方确信，某组模型权重由哪些训练数据产生。
主题: 治理与算力核查
R
- 仲裁式委托Refereed delegation
一种方案：客户端把同一计算交给多家服务商，结果不一致时，由仲裁方只重算有争议的那一步来裁决。只要至少有一家服务商诚实，客户端就能得到正确结果。
主题: 可验证推理与计算
- 参考值Reference value
一种预期值，例如某个获批软件版本的度量值，验证方用它来比对证明证据中的各项声明。
主题: 机密计算与远程证明
- 依赖方Relying party
远程证明中的一方，依据证明结果决定是否信任某台设备，例如在向它发送数据或释放密钥之前。
主题: 机密计算与远程证明
- 远程证明Remote attestation
设备就自身软硬件状态生成签名证据的过程。验证方评估这些证据，依赖方再根据评估结果决定是否信任这台设备。
主题: 机密计算与远程证明
- 可复现构建Reproducible build
一种构建：任何一方用相同的源代码、构建环境和指令重做一遍，都能得到逐位相同的制品。
主题: 模型与数据供应链
- 信任根Root of trust
一种组件，执行关键安全功能，无需进一步验证即被信任，通常位于硬件或固件中。芯片上保存证明报告签名密钥的组件就是一例。
主题: 机密计算与远程证明
S
- 侧信道攻击Side-channel attack
一种攻击：借助计算过程的物理效应推断秘密信息，而不直接读取这些信息。这类效应包括耗时、功耗和电磁辐射。
主题: 机密计算与远程证明
- 软绑定Soft binding
在 C2PA 中，把内容与其清单关联起来的指纹或不可见水印，可在元数据丢失时帮助找回清单。
主题: 内容溯源与水印
- 软件物料清单（SBOM）Software bill of materials (SBOM)
正式且机器可读的记录，列出构建某款软件所用的组件及其供应链关系。
主题: 模型与数据供应链
- 结构化访问Structured access
在开发者的控制下让他人与 AI 系统交互，通常通过云端接口，而不是公开发布系统本身。
主题: 可验证评测与审计
T
- 篡改可检测日志Tamper-evident log
利用哈希链或哈希树构建的日志，任何事后对条目的删除或修改都能被发现。
主题: 智能体身份与问责
- 透明日志Transparency log
一种只追加的公开日志，记录签名或软件度量值等条目。任何人都可以核查某个条目是否已被收录，也能发现事后的删除或改写。
主题: 模型与数据供应链
- 可信计算基（TCB）Trusted computing base (TCB)
为执行系统安全策略而必须正确工作的全部硬件、固件和软件。
主题: 机密计算与远程证明
- 可信执行环境（TEE）Trusted execution environment (TEE)
一种由硬件隔离、用于运行代码的环境，例如安全飞地或机密虚拟机。按设计，即使操作系统、虚拟机监控器或云运营方被攻破，其中的代码和数据也不会被窥探或篡改。
主题: 机密计算与远程证明
V
- 形式化验证代码生成（vericoding）Vericoding
在生成代码的同时生成经机器检查的数学证明，表明代码满足给定的形式化规约。相比之下，根据自然语言描述生成代码，并不能保证代码正确。
主题: 形式化验证
- 可验证计算Verifiable computation
一种安排：执行计算的一方同时返回证据，他人借助这些证据核查结果，所需工作量远少于重做一遍计算。
主题: 可验证推理与计算
- 可验证凭证Verifiable credential
记载签发方所作声明的凭证，例如数字驾照或学历证书。可以检测它是否被篡改，也可以用密码学方法核查签发方是谁。
主题: 智能体身份与问责
- 可验证透明性Verifiable transparency
Apple 为 Private Cloud Compute 提出的要求：外部研究人员能够核查该服务的隐私与安全保证，并确认生产服务器运行的正是他们检查过的软件。客户端设备这样落实这一要求：只有当服务器证明报告中的度量值与公开日志中的某个版本相符时，才向该服务器发送数据。
主题: 机密计算与远程证明
- 验证方（远程证明）Verifier (attestation)
远程证明中的一方，依据参考值、背书和策略评估证明方的证据，并生成证明结果。
主题: 机密计算与远程证明