指南
依赖方
依赖方是你的客户,或你需要对其负责的任何其他人,他们用自己固定的评估来衡量你的 AI 系统的每个版本。工作区会在你自己的门禁之外,依据他们的固定项判定每个版本,而他们会下载每个版本的决策记录并在自己的机器上检查。他们永远看不到你的用例、标签或追踪,你对自己的要求所做的任何更改也不会改变他们的固定项。
记录是第二方可以检查的证据,而不是认证。
邀请依赖方
在托管项目中,打开 Relying parties(位于命令面板的 Assurance 分组中,或从 Governance 进入)。只有 Owner 可以邀请:填写组织名称,然后由你亲自把显示的链接发送一次。该链接七天内有效。
依赖方需用其本组织的账户登录后打开该链接。属于你工作区成员的账户不能接受邀请,之后加入你工作区的账户会失去依赖方的页面。双方都能看到接受邀请的账户的邮箱:请确认它是你预期的那个。
依赖方要做什么
1. 验证你发送的记录。 从受治理运行的页面导出一份记录(Download the decision record)并发送给他们。他们运行:
``bash oloproof record verify record.json --key KEY_ID=PUBLIC_KEY --workspace-keys keys.json ``
并使用你的运行器公钥(由你的运行器运营者直接交给他们),以及从 /api/workspace-statement-key 保存的该部署已发布的工作区声明密钥。
一旦你拿到你的依赖方的 id(在你的页面上),就在之后的每次检查中加上 --relying-party RP_ID:这样,属于另一个依赖方或提供方自己的记录就会失败。
2. 固定评估。 他们在自己的页面上粘贴记录中的 evaluation.digest、evaluation.policy_digest 及其已判定运行的 id。评估摘要绑定了套件(每个用例及其内容)、按内容确定的评估器、指标规格和策略,因此被删减的套件或更宽松的策略都会是另一个摘要。该策略必须是工作区已检查过的策略。该运行是每条比较规则据以判定的基线,显示在他们的页面上,因此你无法通过推送顺序来选择它。固定项永远不会被替换:会新增一个,最新的那个生效。
3. 确认你的运行器密钥。 他们的页面会从一份任何人都无法编辑的日志中,按实际发生的情况列出项目中每一次运行器密钥的注册和撤销。只有在他们确认了某个密钥的注册之后,该密钥才对他们的固定项有效,因此你之后注册的密钥在他们把其公钥与你的运营者交给他们的公钥比对之前,不会为他们判定任何东西。在 Oloproof 托管工作节点上的运行不需要确认:那个密钥既不由你注册,也不由你轮换。
4. 下载每一份记录。 页面列出依据他们的固定项判定的每个系统版本,附有每条规则的状态以及其记录的 Download 链接。记录由他们自己下载,因此不依赖于你选择发送的那些。
每个版本如何判定
一旦固定的运行是由他们已确认的密钥签名的已验证执行,工作节点就以它为基线,并依据每个系统版本在该评估上最早的一次启动来判定它,无论是哪个密钥签名的,也无论那次启动后来结果如何。失败的第一次运行不能被一次运气更好的重新运行取代,而首次在他们从未确认的密钥下启动的版本会一直被扣留。这些规则由与你自己的门禁相同的代码判定,属于已验证执行级别。
判定不会比它所依据的东西存续更久。如果基线的密钥因泄露而被撤销,或者他们重新固定,那么当前生效的固定项不再判定的每个门禁都会被扣留(MANUAL_REVIEW)并附上原因。密钥只有配合他们确认过的公钥才有效,而在 Oloproof 托管工作节点上的运行只在该部署自己的密钥下有效。
他们的记录增加了什么
为依赖方导出的记录在工作区的签名声明中包含:
- 该记录所针对的依赖方,以及作为要求的他们的固定项;
- 该版本在该评估上的每一次启动,每次都附有运行器自己的签名请求,record verify 会用他们提供的密钥检查这些请求;
- 签名过该版本某次启动或运行的每个密钥的密钥日志:其公钥、注册、确认以及任何撤销。
如果某个签名启动不成立,或指向另一个运行、版本、套件、工作区或项目,如果日志中某个密钥的公钥不是他们提供的那个,如果某个通过的门禁依赖于他们未确认的密钥或日志中记为已泄露的密钥,或者在使用 --relying-party 时该记录不属于他们或其声明未经他们提供的工作区声明密钥签名,record verify 都会判定该记录失败。不使用 --relying-party 时,未签名的声明显示为未检查,绝不会显示为已验证。它的退出码不变:所有能进行的检查都通过时为 0,有一项失败时为 5,无法读取某个密钥或文件时为 2。
它无法告诉你的
- 进行固定和确认的账户属于依赖方:邮箱只是显示出来,并未得到证明。
- 运行器只运行了其运营者控制的代码,或被评估的版本就是在生产中提供服务的那个版本。
- 该评估是正确的评估:选择套件仍由提供方决定,除非依赖方自己提供套件,或固定一个取自生产的流量评估。
- 导出之后所说的任何事情:记录是工作区在其导出时刻的说法;有疑问时请下载一份新的。
- 运营方结束这段关系之后的任何事情。你无法结束它:只要有依赖方关联着,项目,或作为其工作区最后一个 Owner 的你的账户,都无法被删除。尽管如此,每份记录一经判定就请下载。
- PPI 区间:人工样本背后的标签不在记录中。