Bên dựa vào

Bên dựa vào là khách hàng của bạn, hoặc bất kỳ ai mà bạn phải giải trình, giữ mỗi phiên bản hệ thống AI của bạn theo một đánh giá do chính họ ghim. Workspace quyết định mọi phiên bản theo phần ghim của họ bên cạnh gate của riêng bạn, và họ tải về bản ghi quyết định của từng phiên bản rồi kiểm tra nó trên máy của chính họ. Họ không bao giờ thấy các case, nhãn hay trace của bạn, và không điều gì bạn làm với yêu cầu của riêng mình thay đổi được phần ghim của họ.

Một bản ghi là bằng chứng mà một bên thứ hai có thể kiểm tra, không phải một chứng nhận.

Mời một bên dựa vào

Trên một dự án được lưu trữ, mở Relying parties (trong nhóm Assurance của bảng lệnh, hoặc từ Governance). Chỉ một Owner mới có thể mời: đặt tên tổ chức, rồi tự bạn gửi đường liên kết được hiển thị, một lần. Liên kết có hiệu lực trong bảy ngày.

Bên dựa vào mở liên kết khi đã đăng nhập bằng một tài khoản của chính tổ chức họ. Một tài khoản là thành viên workspace của bạn không thể chấp nhận, và một tài khoản sau đó tham gia workspace của bạn sẽ mất các trang của bên dựa vào. Cả hai bên đều thấy email của tài khoản đã chấp nhận: hãy kiểm tra đó đúng là tài khoản bạn mong đợi.

Bên dựa vào làm gì

1. Xác minh một bản ghi bạn đã gửi. Xuất một bản ghi từ trang của một lần chạy được quản trị (Download the decision record) và gửi nó. Họ chạy:

``bash oloproof record verify record.json --key KEY_ID=PUBLIC_KEY --workspace-keys keys.json ``

với khóa công khai của runner của bạn, do người vận hành runner của bạn trao trực tiếp cho họ, và các khóa tuyên bố workspace đã công bố của bản triển khai, được lưu từ /api/workspace-statement-key.

Khi bạn đã có id của bên dựa vào của mình (trên trang của bạn), hãy thêm --relying-party RP_ID vào mọi lần kiểm tra sau đó: một bản ghi thuộc về một bên dựa vào khác, hoặc của chính nhà cung cấp, khi đó sẽ thất bại.

2. Ghim đánh giá. Trên trang của mình, họ dán evaluation.digest, evaluation.policy_digest của bản ghi và id lần chạy đã được quyết định của nó. Digest của đánh giá ràng buộc bộ kiểm thử (mọi case và nội dung của nó), các evaluator theo nội dung, các đặc tả metric và chính sách, nên một bộ kiểm thử bị cắt bớt hay một chính sách lỏng hơn là một digest khác. Chính sách phải là chính sách mà workspace đã kiểm tra. Lần chạy đó là đường cơ sở mà mọi quy tắc so sánh được quyết định theo, hiển thị trên trang của họ, nên bạn không thể chọn nó qua thứ tự bạn đẩy lên. Một phần ghim không bao giờ bị thay thế: một phần ghim mới được thêm vào và phần mới nhất có hiệu lực.

3. Xác nhận các khóa runner của bạn. Trang của họ liệt kê mọi lần đăng ký và thu hồi khóa runner của dự án, đúng như đã diễn ra, từ một nhật ký không ai chỉnh sửa được. Một khóa chỉ được tính cho phần ghim của họ khi họ đã xác nhận lần đăng ký của nó, nên một khóa bạn đăng ký sau sẽ không quyết định gì cho họ cho đến khi họ so sánh khóa công khai của nó với khóa mà người vận hành của bạn đã đưa cho họ. Một lần chạy trên worker được quản lý của Oloproof không cần xác nhận: bạn không đăng ký cũng không xoay vòng khóa đó.

4. Tải về mọi bản ghi. Trang liệt kê mọi phiên bản hệ thống được quyết định theo phần ghim của họ, với trạng thái của từng quy tắc và một liên kết Download cho bản ghi của nó. Họ tự tải các bản ghi, nên không phụ thuộc vào những bản bạn chọn gửi.

Mỗi phiên bản được quyết định thế nào

Worker lấy lần chạy được ghim làm đường cơ sở, một khi nó là thực thi được xác minh có chữ ký bởi một khóa họ đã xác nhận, và quyết định mỗi phiên bản hệ thống theo lần bắt đầu sớm nhất của nó trên đánh giá đó, bất kể khóa nào đã ký và bất kể điều gì đã xảy ra với nó. Một lần chạy đầu tiên thất bại không thể được thay bằng một lần chạy lại may mắn hơn, và một phiên bản lần đầu được bắt đầu dưới một khóa họ chưa từng xác nhận sẽ bị giữ lại. Các quy tắc được quyết định bởi cùng đoạn mã với gate của riêng bạn, ở mức thực thi được xác minh.

Một quyết định không tồn tại lâu hơn những gì nó dựa vào. Nếu khóa của đường cơ sở bị thu hồi vì bị xâm phạm, hoặc họ ghim lại, mọi gate mà phần ghim đang có hiệu lực không còn quyết định sẽ bị giữ lại (MANUAL_REVIEW) kèm lý do. Một khóa chỉ được tính với khóa công khai mà họ đã xác nhận, và một lần chạy trên worker được quản lý của Oloproof chỉ được tính dưới khóa riêng của bản triển khai.

Bản ghi của họ bổ sung những gì

Một bản ghi được xuất cho một bên dựa vào mang, trong tuyên bố có chữ ký của workspace:

• bên dựa vào mà nó dành cho, và phần ghim của họ làm yêu cầu;
• mọi lần bắt đầu của phiên bản trên đánh giá, mỗi lần kèm yêu cầu có chữ ký của chính runner, được record verify kiểm tra theo các khóa họ cung cấp;
• nhật ký của mọi khóa đã ký một lần bắt đầu hoặc một lần chạy của phiên bản: khóa công khai, lần đăng ký, lần xác nhận và mọi lần thu hồi.

record verify đánh trượt bản ghi nếu một lần bắt đầu có chữ ký không đứng vững hoặc nêu tên một lần chạy, phiên bản, bộ kiểm thử, workspace hay dự án khác, nếu khóa công khai của một khóa trong nhật ký không phải khóa họ đã đưa, nếu một gate đạt dựa trên một khóa họ chưa xác nhận hoặc một khóa được ghi trong nhật ký là bị xâm phạm, hoặc, với --relying-party, nếu bản ghi không phải của họ hoặc tuyên bố của nó không được ký bằng một khóa tuyên bố workspace mà họ đã đưa. Không có --relying-party, một tuyên bố không có chữ ký được đọc là chưa kiểm tra, không bao giờ là đã xác minh. Mã thoát của nó không đổi: 0 khi mọi kiểm tra có thể thực hiện đều đạt, 5 khi một kiểm tra thất bại, 2 khi một khóa hoặc tệp không đọc được.

Những gì nó không thể cho bạn biết

• Rằng tài khoản đã ghim và xác nhận thuộc về bên dựa vào: email được hiển thị, không được chứng minh.
• Rằng runner chỉ chạy mã do người vận hành của nó kiểm soát, hoặc rằng phiên bản được đánh giá là phiên bản đang phục vụ production.
• Rằng đánh giá là đánh giá đúng: việc chọn bộ kiểm thử vẫn thuộc về nhà cung cấp, trừ khi bên dựa vào cung cấp bộ kiểm thử hoặc ghim một đánh giá lưu lượng lấy từ production.
• Bất cứ điều gì được nói sau khi xuất: một bản ghi là lời của workspace tại thời điểm xuất; hãy tải một bản mới khi có nghi ngờ.
• Bất cứ điều gì sau khi người vận hành chấm dứt mối quan hệ. Bạn không thể chấm dứt nó: một dự án, hoặc tài khoản của bạn với tư cách Owner cuối cùng của workspace của dự án, không thể bị xóa khi một bên dựa vào còn được gắn vào. Dù vậy, hãy tải từng bản ghi ngay khi nó được quyết định.
• Một khoảng PPI: các nhãn đằng sau một mẫu do con người gán nhãn không có trong bản ghi.