指南
依賴方
依賴方是你的客戶,或你需要對其負責的任何其他人,他們用自己固定的評估來衡量你的 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 區間:人工樣本背後的標籤不在紀錄中。