비공개 집계 API

[Exposed=(InterestGroupScriptRunnerGlobalScope,SharedStorageWorklet),
 SecureContext]
interface PrivateAggregation {
  undefined contributeToHistogram(PAHistogramContribution contribution);
  undefined contributeToHistogramOnEvent(DOMString event,
                                         record<DOMString, any> contribution);
  undefined enableDebugMode(optional PADebugModeOptions options = {});
};

dictionary PAHistogramContribution {
  required bigint bucket;
  required long value;
  bigint filteringId = 0;
};

dictionary PADebugModeOptions {
  required bigint debugKey;
};

contributeToHistogram(PAHistogramContribution contribution) 메서드 단계는 다음과 같다:

1. validationResult를 contribution 및 this의 범위 지정 세부 정보가 주어졌을 때 히스토그램 기여 검증의 결과로 둔다.

2. validationResult가 예외이면, validationResult를 throw한다.

3. Assert: validationResult는 기여 캐시 항목이다.

4. validationResult를 추가하여 기여 캐시에 넣는다.

기여 배열을 허용하는 것을 고려한다. [Issue #44]

contributeToHistogramOnEvent(event, contribution) 메서드 단계는 다음과 같다:

1. defaultProcessingResult를 this의 기본 contributeToHistogramOnEvent() 처리를 수행해야 함을 this, event 및 contribution가 주어졌을 때 실행한 결과로 둔다.

2. defaultProcessingResult가 예외이면, defaultProcessingResult를 throw한다.

3. defaultProcessingResult가 false이면, 반환한다.

4. contribution을 contribution의 JavaScript 값을 IDL 타입 PAHistogramContribution으로 변환한 결과로 설정한다.

   참고: contribution이 호환되지 않으면 이는 TypeError를 throw한다.

5. validationResult를 contribution 및 this의 범위 지정 세부 정보가 주어졌을 때 히스토그램 기여 검증의 결과로 둔다.

6. validationResult가 예외이면, validationResult를 throw한다.

7. Assert: validationResult는 기여 캐시 항목이다.

8. event가 "reserved."로 시작하지 않으면, TypeError를 throw한다.

9. unprefixedEvent를 event 안에서 "reserved."의 길이부터 event의 길이까지의 코드 단위 부분 문자열로 둔다.

10. unprefixedEvent가 다음 중 하나인 내부 오류 이벤트이면:

    1. maybeContributionCacheEntry의 오류 이벤트를 unprefixedEvent로 둔다.

    2. maybeContributionCacheEntry를 추가하여 기여 캐시에 넣는다.

참고: 전방 호환성을 위해, "reserved."로 시작하는 인식되지 않은 이벤트에 대해서는 오류를 throw하지 않는다.

enableDebugMode(optional PADebugModeOptions options) 메서드 단계는 다음과 같다:

1. scopingDetails를 this의 범위 지정 세부 정보로 둔다.

2. debugScope를 scopingDetails의 디버그 범위 가져오기 단계를 실행한 결과로 둔다.

3. 디버그 범위 맵[debugScope]이 존재하면, "DataError" DOMException을 throw한다.

   참고: 이는 enableDebugMode()가 이 디버그 범위에 대해 이미 실행된 경우 발생한다.

4. debugKey를 null로 둔다.

5. options가 주어졌다면:

   1. options["debugKey"]가 0부터 2⁶⁴까지의 범위(양끝 제외)에 포함되어 있지 않으면, "DataError" DOMException을 throw한다.

   2. debugKey를 options["debugKey"]로 설정한다.

6. debugDetails를 다음 항목을 가진 새 디버그 세부 정보로 둔다:

   활성화됨

   true

   키

   debugKey

7. 선택적으로, debugDetails를 새 디버그 세부 정보로 설정한다.

   참고: 이는 사용자 에이전트가 디버그 모드를 전역적으로 또는 특정 호출자에 대해서만 사용할 수 없게 할 수 있도록 한다.

8. 설정: 디버그 범위 맵[debugScope]을 debugDetails로 설정한다.

오류가 적절한 타입인지 보장하라. 예를 들어 InvalidAccessError는 폐기되었다.

class ExampleOperation {
  async run(data) {
    privateAggregation.contributeToHistogram(...)  // This is allowed.
  }
}
register('example-operation', ExampleOperation);

privateAggregation.contributeToHistogram(...)  // This would cause an error.

PrivateAggregation this가 주어졌을 때 privateAggregation 가져오기:

1. scopingDetails를 this의 범위 지정 세부 정보로 둔다.

2. scopingDetails가 null이면, 이름이 "NotAllowedError"인 DOMException을 throw한다.

   참고: 이는 예를 들어 로드 후 스크립트의 초기 실행이 완료되지 않았기 때문에 API를 아직 사용할 수 없음을 나타낸다.

   여기서 개발자 편의성을 개선하는 것을 고려한다(예: 이 경우를 감지하는 방법).

3. this의 사용 허용됨이 false이면, "InvalidAccessError"인 DOMException을 throw한다.

4. this를 반환한다.

오류가 적절한 타입인지 보장하라. 예를 들어 InvalidAccessError는 폐기되었다.

기여 캐시 항목 entry가 주어졌을 때 기여 캐시에 항목 추가:

1. entry를 기여 캐시에 추가한다.

디버그 범위 debugScope가 주어졌을 때 디버그 세부 정보 가져오기는 다음 단계를 수행한다. 이들은 디버그 세부 정보를 반환한다.

1. 디버그 범위 맵[debugScope]이 존재하면, 디버그 범위 맵[debugScope]을 반환한다.

2. 그렇지 않으면, 새 디버그 세부 정보를 반환한다.

디버그 범위 debugScope와 선택적 디버그 세부 정보 또는 null debugDetailsOverride (기본값 null)가 주어졌을 때 디버그 범위 완료 표시:

1. debugDetails를 debugDetailsOverride로 둔다.

2. 디버그 범위 맵[debugScope]이 존재하면:

   1. Assert: debugDetailsOverride는 null이다.

      참고: 디버그 세부 정보가 다른 방식으로 설정되지 않은 경우 override를 제공할 수 있다.

   2. debugDetails를 디버그 범위 맵[debugScope]으로 설정한다.

   3. 디버그 범위 맵[debugScope]을 제거한다.

   4. debugDetails의 키가 null이 아니면, assert: debugDetails의 활성화됨은 true이다.

3. debugDetails가 null이면, debugDetails를 새 디버그 세부 정보로 설정한다.

4. 기여 캐시의 각 entry에 대해 반복한다:

   1. entry의 디버그 범위가 debugScope이면, entry의 디버그 세부 정보를 debugDetails로 설정한다.

사전 지정 보고서 매개변수 preSpecifiedParams와 컨텍스트 유형 api가 주어졌을 때 보고서를 결정론적으로 보내야 하는지 결정은 다음 단계를 수행한다. 이들은 불리언을 반환한다:

1. preSpecifiedParams의 컨텍스트 ID가 null이 아니면, true를 반환한다.

2. preSpecifiedParams의 필터링 ID 최대 바이트가 기본 필터링 ID 최대 바이트가 아니면, true를 반환한다.

3. effectiveMaxContributions를 api 및 preSpecifiedParams의 최대 기여 수로 최대 기여 수 결정을 수행한 결과로 둔다.

4. defaultMaxContributions를 API별 기본 maxContributions[api]로 둔다.

5. effectiveMaxContributions가 defaultMaxContributions가 아니면, true를 반환한다.

6. false를 반환한다.

참고: 기여가 없었다는 사실을 숨기기 위해 'null 보고서'를 보내야 하는 경우가 있다. 예를 들어, 예산 자체가 크로스 사이트 데이터이므로 요청된 기여에 충분하지 않았을 수 있다. 또는 호출자가 크로스 사이트 데이터를 읽은 뒤 기여하지 않기로 선택했을 수도 있다. 이러한 종류의 시나리오에서는 보고서의 부재가 크로스 사이트 데이터를 보고 엔드포인트에 드러낼 수 있다. 보고서 수를 통한 유출로부터 보호를 보라.

배치 범위 batchingScope, 출처 reportingOrigin, 컨텍스트 유형 contextType 및 순간 또는 null timeout이 주어졌을 때 배치 범위에 대한 기여 처리:

참고: 임베딩 API는 보고서가 결정론적이 아니거나 timeout에 이미 도달한 경우, 즉 timeout이 이 호출을 트리거하게 한 경우 timeout을 null로 설정할 것으로 기대된다. (결정론적 보고서에는 항상 timeout이 설정되어야 한다.)

1. batchEntries를 새 리스트로 둔다.

2. 기여 캐시의 각 entry에 대해 반복한다:

   1. entry의 배치 범위가 batchingScope이면:

      1. Assert: entry의 디버그 세부 정보는 null이 아니다.

         참고: 이는 배치 범위에 대한 기여 처리 단계 전에 디버그 범위 완료 표시 단계가 실행되었음을 assert한다.

      2. entry를 batchEntries에 추가한다.

3. aggregationCoordinator를 기본 집계 코디네이터로 둔다.

4. 집계 코디네이터 맵[batchingScope]이 존재하면:

   1. aggregationCoordinator를 집계 코디네이터 맵[batchingScope]으로 설정한다.

   2. 집계 코디네이터 맵[batchingScope]을 제거한다.

5. preSpecifiedParams를 새 사전 지정 보고서 매개변수로 둔다.

6. 사전 지정 보고서 매개변수 맵[batchingScope]이 존재하면:

   1. preSpecifiedParams를 사전 지정 보고서 매개변수 맵[batchingScope]으로 설정한다.

   2. 사전 지정 보고서 매개변수 맵[batchingScope]을 제거한다.

7. isDeterministicReport를 preSpecifiedParams 및 contextType가 주어졌을 때 보고서를 결정론적으로 보내야 하는지 결정의 결과로 둔다.

8. isDeterministicReport가 false이면, assert: timeout은 null이다.

   참고: Timeout은 결정론적 보고서에만 사용할 수 있다.

9. batchEntries가 비어 있고 isDeterministicReport가 false이면, 반환한다.

10. batchedContributions를 새 순서 있는 맵으로 둔다.

11. batchEntries의 각 entry에 대해 반복한다:

    1. entry를 기여 캐시에서 제거한다.

    2. debugDetails를 entry의 디버그 세부 정보로 둔다.

    3. batchedContributions[debugDetails]가 존재하지 않으면, batchedContributions[debugDetails]을 새 보류 중인 기여로 설정한다.

    4. entry의 오류 이벤트가 null이면:

       1. entry의 기여를 batchedContributions[debugDetails]의 무조건 기여에 추가한다.

    5. 그렇지 않으면:

       1. conditionalContributions를 batchedContributions[debugDetails]의 조건부 기여로 둔다.

       2. conditionalContributions[errorEvent]가 존재하지 않으면, conditionalContributions[errorEvent]를 새 리스트로 설정한다.

       3. entry의 기여를 conditionalContributions[errorEvent]에 추가한다.

12. batchedContributions가 비어 있으면:

    1. debugDetails를 새 디버그 세부 정보로 둔다.

    2. batchedContributions[debugDetails]를 새 보류 중인 기여로 설정한다.

13. batchedContributions의 각 debugDetails → pendingContributions에 대해 반복한다:

    1. reportingOrigin, contextType, pendingContributions, debugDetails, aggregationCoordinator, preSpecifiedParams 및 timeout로 보고서 생성 및 예약 단계를 수행한다.

참고: 이 단계들은 각 보고서가 하나의 메타데이터 집합만 가질 수 있으므로 기여를 그들의 디버그 세부 정보에 따라 나눈다.

출처 origin이 주어졌을 때 출처가 집계 코디네이터인지 결정은 다음 단계를 수행한다. 이들은 불리언을 반환한다.

1. origin이 집계 코디네이터인지 여부를 반환한다.

USVString originString이 주어졌을 때 Private Aggregation 코디네이터 획득은 다음 단계를 수행한다. 이들은 집계 코디네이터 또는 DOMException을 반환한다.

1. url를 originString에 대해 URL 파서를 실행한 결과로 둔다.

2. url가 실패 또는 null이면, 이름이 "SyntaxError"인 새 DOMException을 반환한다.

   경로가 비어 있지 않은 경우 오류를 throw하는 것을 고려한다.

3. origin을 url의 출처로 둔다.

4. origin이 주어졌을 때 출처가 집계 코디네이터인지 결정의 결과가 false이면, 이름이 "DataError"인 새 DOMException을 반환한다.

5. origin을 반환한다.

출처 origin 및 배치 범위 batchingScope가 주어졌을 때 배치 범위에 대한 집계 코디네이터 설정:

1. Assert: origin은 집계 코디네이터이다.

2. 집계 코디네이터 맵[batchingScope]을 origin으로 설정한다.

사전 지정 보고서 매개변수 params 및 배치 범위 batchingScope가 주어졌을 때 배치 범위에 대한 사전 지정 보고서 매개변수 설정:

1. contextId를 params의 컨텍스트 ID로 둔다.

2. Assert: contextId는 null이거나 contextId의 길이가 64보다 크지 않다.

3. filteringIdMaxBytes를 params의 필터링 ID 최대 바이트로 둔다.

4. Assert: filteringIdMaxBytes는 유효한 필터링 ID 최대 바이트 범위에 포함된다

5. maxContributions를 params의 최대 기여 수로 둔다.

6. Assert: maxContributions는 null이거나 0보다 크다.

7. 사전 지정 보고서 매개변수 맵[batchingScope]을 params로 설정한다.

PAHistogramContribution contribution 및 범위 지정 세부 정보 scopingDetails가 주어졌을 때 히스토그램 기여 검증은 다음 단계를 수행한다. 이들은 기여 캐시 항목 또는 예외를 반환한다.

1. contribution["bucket"]가 0부터 2¹²⁸까지의 범위(양끝 제외)에 포함되어 있지 않으면, RangeError를 반환한다.

2. contribution["value"]가 음수이면, RangeError를 반환한다.

3. batchingScope를 scopingDetails의 배치 범위 가져오기 단계를 실행한 결과로 둔다.

4. filteringIdMaxBytes를 기본 필터링 ID 최대 바이트로 둔다.

5. 사전 지정 보고서 매개변수 맵[batchingScope]이 존재하면:

   1. filteringIdMaxBytes를 사전 지정 보고서 매개변수 맵[batchingScope]의 필터링 ID 최대 바이트로 설정한다.

6. contribution["filteringId"]가 0부터 256^{filteringIdMaxBytes}까지의 범위(양끝 제외)에 포함되어 있지 않으면, RangeError를 반환한다.

7. 다음 항목을 가진 새 기여 캐시 항목을 반환한다:

   기여

   contribution

   배치 범위

   batchingScope

   디버그 범위

   scopingDetails의 디버그 범위 가져오기 단계를 실행한 결과.

오류가 적절한 타입인지 보장하라. 예를 들어 InvalidAccessError는 폐기되었다.

출처 reportingOrigin, 컨텍스트 유형 api, 보류 중인 기여 pendingContributions, 디버그 세부 정보 debugDetails, 집계 코디네이터 aggregationCoordinator, 사전 지정 보고서 매개변수 preSpecifiedParams 및 순간 또는 null timeout으로 보고서 생성 및 예약 단계를 수행하려면:

1. Assert: reportingOrigin은 잠재적으로 신뢰할 수 있는 출처이다.

2. 선택적으로 반환한다.

   참고: 이 구현 정의 조건은 사용자 에이전트가 여러 이유로 보고서를 버릴 수 있게 하려는 것이다. 예를 들어 사용자 옵트아웃, 출처가 등록되지 않음 또는 보류 중인 보고서 제한에 도달한 경우가 있다.

3. currentWallTime을 현재 벽시계 시간으로 둔다.

4. allUnmergedContributions을 reportingOrigin, api, pendingContributions, preSpecifiedParams, timeout 및 currentWallTime이 주어졌을 때 병합되지 않은 모든 기여 컴파일의 결과로 둔다.

5. isDeterministicReport를 preSpecifiedParams 및 api가 주어졌을 때 보고서를 결정론적으로 보내야 하는지 결정의 결과로 둔다.

6. effectiveMaxContributions를 api 및 preSpecifiedParams의 max contributions로 max contributions 결정을 수행한 결과로 둔다.

7. keptMergeKeys를 새 집합으로 둔다.

8. allUnmergedContributions의 각 contribution에 대해 반복한다:

   1. mergeKey를 contribution의 병합 키로 둔다.

   2. keptMergeKeys의 크기가 effectiveMaxContributions이고 keptMergeKeys가 mergeKey를 포함하지 않으면, continue한다.

   3. 그렇지 않으면, mergeKey를 keptMergeKeys에 추가한다.

9. keptMergeKeys에 포함되지 않은 병합 키를 가진 모든 항목을 allUnmergedContributions에서 제거한다.

10. finalBudgetResults를 allUnmergedContributions, reportingOrigin, api, currentWallTime 및 true가 주어졌을 때 예산 쿼리의 결과로 둔다.

11. Assert: finalBudgetResults의 크기는 allUnmergedContributions의 크기와 같다.

12. 0부터 finalBudgetResults의 크기까지의 범위(끝 제외)의 각 i에 대해 반복한다:

    1. finalBudgetResults[i]가 false이면, allUnmergedContributions[i]의 value를 0으로 설정한다.

13. value가 0인 모든 항목을 allUnmergedContributions에서 제거한다.

14. mergedContributionsMap을 새 순서 있는 맵으로 둔다.

15. allUnmergedContributions의 각 contribution에 대해 반복한다:

    1. mergeKey를 contribution의 병합 키로 둔다.

    2. mergedContributionsMap[mergeKey]가 존재하면, contribution의 value를 mergedContributionsMap[mergeKey]의 value에 더한다.

    3. 그렇지 않으면, mergedContributionsMap[mergeKey]를 contribution으로 설정한다.

16. mergedContributions를 mergedContributionsMap의 값으로 둔다.

17. Assert: mergedContributions는 effectiveMaxContributions보다 작거나 같은 크기를 가진다.

18. mergedContributions가 비어 있고 isDeterministicReport가 false이면 반환한다.

19. report를 reportingOrigin, api, mergedContributions, debugDetails, aggregationCoordinator, preSpecifiedParams, timeout 및 currentWallTime이 주어졌을 때 집계 가능 보고서 획득의 결과로 둔다.

20. report를 사용자 에이전트의 집계 가능 보고서 캐시에 추가한다.

출처 reportingOrigin, 컨텍스트 유형 api, 보류 중인 기여 pendingContributions, 사전 지정 보고서 매개변수 preSpecifiedParams, 순간 또는 null timeout, 그리고 순간 currentWallTime이 주어졌을 때 병합되지 않은 모든 기여 컴파일은 다음 단계를 수행한다. 이들은 PAHistogramContribution들의 리스트를 반환한다.

1. wasTimeoutReached를 isDeterministicReport가 true이고 timeout이 null인지 여부를 나타내는 불리언으로 둔다.

   Shared Storage에서 전송되는 timeout을 업데이트하여 맞춘다.

2. pendingContributions, "contribution-timeout-reached" 및 wasTimeoutReached가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

3. provisionalBudgetResults를 pendingContributions의 무조건 기여, reportingOrigin, api, currentWallTime 및 false가 주어졌을 때 예산 쿼리의 결과로 둔다.

4. Assert: provisionalBudgetResults의 크기는 pendingContributions의 무조건 기여의 크기와 같다.

5. 0부터 provisionalBudgetResults의 크기까지의 범위(끝 제외)의 각 i에 대해 반복한다:

   1. provisionalBudgetResults[i]가 false이면, pendingContributions의 무조건 기여[i]의 value를 0으로 설정한다.

6. value가 0인 모든 항목을 pendingContributions의 무조건 기여에서 제거한다.

7. insufficientBudget을 provisionalBudgetResults의 어떤 값이 false인지 여부를 나타내는 불리언으로 둔다.

8. pendingContributions, "insufficient-budget" 및 insufficientBudget가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

9. pendingReportLimitReached를 구현 정의 알고리즘에 의해 결정되는 불리언으로 둔다.

   참고: 이는 예산 쿼리에서 동시에 보류 중인 보고서 수의 제한에 도달했지만 초과하지는 않았을 때를 나타내기 위한 것이다.

10. pendingContributions, "pending-report-limit-reached" 및 pendingReportLimitReached가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

11. isEmptyAndWouldBeDropped를 isDeterministicReport가 false이고 pendingContributions의 무조건 기여가 비어 있는지 여부를 나타내는 불리언으로 둔다.

12. pendingContributions, "empty-report-dropped" 및 isEmptyAndWouldBeDropped가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

13. effectiveMaxContributions를 api 및 preSpecifiedParams의 max contributions로 max contributions 결정을 수행한 결과로 둔다.

14. tooManyContributions를 false로 둔다.

15. provisionallyApprovedMergeKeys를 새 집합으로 둔다.

16. pendingContributions의 무조건 기여의 각 contribution에 대해 반복한다:

    1. mergeKey를 contribution의 병합 키로 둔다.

    2. provisionallyApprovedMergeKeys의 크기가 effectiveMaxContributions이고 provisionallyApprovedMergeKeys가 mergeKey를 포함하지 않으면, tooManyContributions를 true로 설정한다.

    3. 그렇지 않으면, mergeKey를 provisionallyApprovedMergeKeys에 추가한다.

17. pendingContributions, "too-many-contributions" 및 tooManyContributions가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

18. provisionallyApprovedMergeKeys에 포함되지 않은 병합 키를 가진 모든 항목을 pendingContributions의 무조건 기여에서 제거한다.

19. reportSuccess를 다음 중 어느 것도 true가 아닌지 여부를 나타내는 불리언으로 둔다: isEmptyAndWouldBeDropped, tooManyContributions, insufficientBudget, pendingReportLimitReached.

20. pendingContributions, "report-success" 및 reportSuccess가 주어졌을 때 내부 오류 이벤트 결과 기록을 수행한다.

21. allUnmergedContributions를 새 리스트로 둔다.

22. 모든 오류 이벤트의 각 errorEvent에 대해 반복한다:

    1. pendingContributions의 조건부 기여[errorEvent]가 존재하지 않으면, continue한다.

    2. Assert: pendingContributions의 트리거된 오류 이벤트는 errorEvent를 포함하거나, errorEvent는 "already triggered external error"이다.

       참고: 내부 오류 이벤트가 트리거되지 않았다고 결정되면, 그 조건부 기여는 내부 오류 이벤트 결과 기록에 의해 제거된다.

    3. allUnmergedContributions를 pendingContributions의 조건부 기여[errorEvent]로 확장한다.

23. allUnmergedContributions를 pendingContributions의 무조건 기여로 확장한다.

    참고: 오류의 성공적인 측정을 우선하기 위해 무조건 기여는 마지막에 온다.

24. allUnmergedContributions를 반환한다.

각 PAHistogramContribution contribution은 다음 튜플인 병합 키를 가진다: (contribution의 bucket, contribution의 filteringId).

참고: 같은 보고서에 대한 두 PAHistogramContribution는 같은 병합 키를 가질 때 그리고 그때에만 병합될 수 있다.

PAHistogramContribution들의 리스트 contributions, 출처 origin, 컨텍스트 유형 api 및 순간 currentTime 및 불리언 consumeIfPermitted가 주어졌을 때 예산 쿼리는 다음 단계를 수행한다. 이들은 contributions와 같은 크기를 가진 불리언들의 리스트를 반환한다.

1. resultForEachContribution를 불리언들의 새 리스트로 둔다.

2. approvedValueSum을 0으로 둔다.

3. contributions의 각 contribution에 대해 반복한다:

   1. valueToRequest를 approvedValueSum + contribution의 value로 둔다.

      참고: 이는 각 기여에 대한 결과가 이 호출에서 이전에 승인된 기여를 고려하도록 보장한다 (consumeIfPermitted가 false인 경우에도).

   2. sufficientBudget을 valueToRequest, origin, api 및 currentTime이 주어졌을 때 구현 정의 알고리즘에 의해 결정되는 불리언으로 둔다. 이 알고리즘은 시간에 따른 사용량으로 예산을 제한해야 한다. 예를 들어 지난 24시간 동안의 기여 합계가 있다.

   3. sufficientBudget이면, contribution의 value를 approvedValueSum에 더한다.

   4. sufficientBudget를 resultForEachContribution에 추가한다.

      참고: 반환값의 i번째 요소는 contributions[i]의 value를 보내기에 충분한 예산이 남아 있는지 여부를 나타낸다.

4. consumeIfPermitted이면, approvedValueSum, origin, api 및 currentTime이 주어졌을 때 구현 정의 알고리즘을 사용하여 예산을 소비한다.

5. resultForEachContribution를 반환한다.

보류 중인 기여 pendingContributions, 내부 오류 이벤트 errorEvent 및 불리언 wasTriggered가 주어졌을 때 내부 오류 이벤트 결과 기록은 다음 단계를 수행한다:

1. wasTriggered이면, errorEvent를 pendingContributions의 트리거된 오류 이벤트에 추가한다.

2. 그렇지 않으면, pendingContributions의 조건부 기여[errorEvent]를 제거한다.

출처 reportingOrigin, 컨텍스트 유형 api, PAHistogramContribution들의 리스트 contributions, 디버그 세부 정보 debugDetails, 집계 코디네이터 aggregationCoordinator, 사전 지정 보고서 매개변수 preSpecifiedParams, 순간 또는 null timeout 및 순간 currentTime가 주어졌을 때 집계 가능 보고서 획득은 다음 단계를 수행한다. 이들은 집계 가능 보고서를 반환한다.

1. Assert: reportingOrigin은 잠재적으로 신뢰할 수 있는 출처이다.

2. reportTime을 currentTime 및 timeout이 주어졌을 때 보고서 전달 시간 획득을 실행한 결과로 둔다.

3. report를 다음 항목을 가진 새 집계 가능 보고서로 둔다:

   보고 출처

   reportingOrigin

   원래 보고 시간

   reportTime

   보고 시간

   reportTime

   기여

   contributions

   api

   api

   보고서 ID

   무작위 UUID 생성의 결과.

   디버그 세부 정보

   debugDetails

   집계 코디네이터

   aggregationCoordinator

   컨텍스트 ID

   preSpecifiedParams의 컨텍스트 ID

   필터링 ID 최대 바이트

   preSpecifiedParams의 필터링 ID 최대 바이트

   max contributions

   api 및 preSpecifiedParams의 max contributions로 max contributions 결정을 수행한 결과.

   큐에 들어감

   false

4. report를 반환한다.

순간 currentTime 및 순간 또는 null timeout이 주어졌을 때 보고서 전달 시간 획득은 다음 단계를 수행한다. 이들은 순간을 반환한다.

1. timeout이 null이 아니면:

   1. timeout을 반환한다.

2. 자동화 로컬 테스트 모드 활성화됨이 true이면, currentTime을 반환한다.

3. r을 0(포함)과 1(제외) 사이의 균등 확률을 가진 무작위 double로 둔다.

4. currentTime + 최소 보고 지연 + r * 무작위 보고 지연을 반환한다.

컨텍스트 유형 api와 양의 정수 또는 null maxContributions가 주어졌을 때 max contributions 결정은 다음 단계를 수행한다. 이들은 양의 정수를 반환한다.

1. maxContributions가 null이면, API별 기본 maxContributions[api]를 반환한다.

2. maxContributions가 최대 maxContributions보다 크면, 최대 maxContributions를 반환한다.

3. maxContributions를 반환한다.

리스트인 집계 가능 보고서들 reports가 주어졌을 때 보고서를 전송하기 위해 큐에 넣기 시도:

1. reports의 각 report에 대해, 다음 단계를 병렬로 실행한다:

   1. 다음 단계를 실행하되, 사용자 에이전트가 종료될 때 중단한다:

      1. report의 queued 값이 true이면 반환한다.

      2. report의 queued 값을 true로 설정한다.

      3. currentWallTime을 현재 벽시계 시간으로 둔다.

      4. report의 보고 시간이 currentWallTime보다 이전이면, report의 보고 시간을 currentWallTime에 구현 정의 무작위의 음이 아닌 기간을 더한 값으로 설정한다.

         참고: 시작 시 브라우저가 닫혀 있는 동안 보고 시간이 지난 많은 보고서를 사용자 에이전트가 보내야 할 수 있다. 무작위 지연을 추가하면 보고서의 시간적 결합을 방지한다.

      5. 현재 벽시계 시간이 report의 보고 시간과 같거나 이후가 될 때까지 기다린다.

      6. 선택적으로, 추가 구현 정의 음이 아닌 기간을 더 기다린다.

         참고: 이는 사용자 에이전트가 장치 리소스 사용량을 최적화하고, 사용자 에이전트가 온라인 상태가 될 때까지 기다릴 수 있게 하기 위한 것이다.

      7. report로 보고서 전달 시도를 실행한다.

   2. 중단된 경우, report의 queued 값을 false로 설정한다.

      참고: 이 단계는 사용자 에이전트가 다음에 시작될 때 수행하는 것이 더 실용적일 수 있다.

집계 가능 보고서 report가 주어졌을 때 보고서 전달 시도:

1. url을 report의 보고 출처 및 report의 api가 주어졌을 때 보고 엔드포인트 획득의 결과로 둔다.

2. data를 report가 주어졌을 때 집계 가능 보고서 직렬화의 결과로 둔다.

3. data가 오류이면, report를 집계 가능 보고서 캐시에서 제거한다.

   이 작업을 큐에 넣어야 하는가?

4. request를 url 및 data가 주어졌을 때 보고 요청 생성의 결과로 둔다.

5. request에 대해 fetch를 수행하도록 task를 큐에 넣는다. processResponse는 다음 단계이다:

   1. shouldRetry를 구현 정의 불리언으로 둔다. 오류가 발생하지 않았다면 그 값은 false여야 한다.

   2. shouldRetry가 true이면:

      1. report의 보고 시간을 현재 벽시계 시간에 구현 정의 음이 아닌 기간을 더한 값으로 설정한다.

      2. report의 queued 값을 false로 설정한다.

   3. 그렇지 않으면, report를 집계 가능 보고서 캐시에서 제거한다.

출처 reportingOrigin 및 컨텍스트 유형 api가 주어졌을 때 보고 엔드포인트 획득은 다음 단계를 수행한다. 이들은 URL을 반환한다.

1. Assert: reportingOrigin은 잠재적으로 신뢰할 수 있는 출처이다.

2. path를 «".well-known/private-aggregation/report-", api»의 연결로 둔다.

   이 well-known 디렉터리를 등록한다. [Issue #67]

3. base를 reportingOrigin의 직렬화에 대해 URL 파서를 실행한 결과로 둔다.

4. Assert: base는 failure가 아니다.

5. result를 base와 함께 path에 대해 URL 파서를 실행한 결과로 둔다.

6. Assert: result는 failure가 아니다.

7. result를 반환한다.

URL url 및 바이트 시퀀스 body가 주어졌을 때 보고 요청 생성:

1. request를 다음 속성을 가진 새 요청으로 둔다:

   method

   "POST"

   URL

   url

   헤더 리스트

   «("Content-Type", "application/json")»

   unsafe-request flag

   설정됨

   body

   body

   client

   null

   service-workers mode

   "none"

   initiator

   ""

   referrer

   "no-referrer"

   mode

   "cors"

   credentials mode

   "omit"

   cache mode

   "no-store"

2. request를 반환한다.

집계 가능 보고서 report가 주어졌을 때 집계 가능 보고서 직렬화는 다음 단계를 수행한다. 이들은 바이트 시퀀스 또는 오류를 반환한다.

1. aggregationServicePayloads를 report가 주어졌을 때 집계 서비스 페이로드 획득의 결과로 둔다.

2. aggregationServicePayloads가 오류이면, aggregationServicePayloads를 반환한다.

3. data를 다음 키/값 쌍의 순서 있는 맵으로 둔다:

   "aggregation_coordinator_origin"

   report의 집계 코디네이터, 직렬화됨.

   "aggregation_service_payloads"

   aggregationServicePayloads

   "shared_info"

   report가 주어졌을 때 보고서의 공유 정보 획득의 결과.

4. debugKey를 report의 디버그 세부 정보의 키로 둔다.

5. debugKey가 null이 아니면, data["debug_key"]를 debugKey로 설정한다.

6. contextId를 report의 컨텍스트 ID로 둔다.

7. contextId가 null이 아니면, data["context_id"]를 contextId로 설정한다.

8. data에 대해 infra 값을 JSON 바이트로 직렬화를 실행한 결과인 바이트 시퀀스를 반환한다.

집계 가능 보고서 report가 주어졌을 때 집계 서비스 페이로드 획득은 다음 단계를 수행한다. 이들은 맵들의 리스트 또는 오류를 반환한다.

1. publicKeyTuple을 report의 집계 코디네이터가 주어졌을 때 암호화를 위한 공개 키 획득의 결과로 둔다.

2. publicKeyTuple이 오류이면, publicKeyTuple을 반환한다.

3. (pkR, keyId)를 publicKeyTuple으로 둔다.

4. plaintextPayload를 report가 주어졌을 때 평문 페이로드 획득의 결과로 둔다.

5. sharedInfo를 report가 주어졌을 때 보고서의 공유 정보 획득의 결과로 둔다.

6. encryptedPayload를 plaintextPayload, pkR 및 sharedInfo가 주어졌을 때 페이로드 암호화의 결과로 둔다.

7. encryptedPayload가 오류이면, encryptedPayload를 반환한다.

8. aggregationServicePayloads를 새 리스트로 둔다.

9. aggregationServicePayload를 다음 키/값 쌍의 순서 있는 맵으로 둔다:

   "key_id"

   keyId

   "payload"

   encryptedPayload, base64 인코딩됨

10. report의 디버그 세부 정보의 활성화됨 필드가 true이면:

    1. aggregationServicePayload[debug_cleartext_payload]를 plaintextPayload로 설정하며, base64 인코딩됨.

11. aggregationServicePayload를 aggregationServicePayloads에 추가한다.

12. aggregationServicePayloads를 반환한다.

집계 코디네이터 aggregationCoordinator가 주어졌을 때 암호화를 위한 공개 키 획득은 다음 단계를 수행한다. 이들은 공개 키와 문자열로 구성된 튜플 또는 오류를 반환한다.

1. url을 새 URL 레코드로 둔다.

2. url의 스킴을 aggregationCoordinator의 스킴으로 설정한다.

3. url의 호스트를 aggregationCoordinator의 호스트로 설정한다.

4. url의 포트를 aggregationCoordinator의 포트로 설정한다.

5. url의 경로를 «".well-known", "aggregation-service", "v1", "public-keys"»로 설정한다.

6. url에서 가져온 공개 키와 그 공개 키를 고유하게 식별해야 하는 문자열로 구성된 구현 정의 튜플을 반환하거나, 사용자 에이전트가 url에서 공개 키를 획득하지 못한 경우 오류를 반환한다. 이 단계는 비동기일 수 있다.

이를 fetch 관점에서 지정한다. 사용할 암호화 표준, 길이 요구사항 등에 대한 세부 정보를 추가한다.

참고: 사용자 에이전트는 정기적인 키 교체를 강제하는 것이 권장된다. 여러 키가 있으면, 사용자 에이전트는 각 암호화 작업마다 독립적으로 균등 무작위로 키를 선택할 수 있다.

집계 가능 보고서 report가 주어졌을 때 평문 페이로드 획득은 다음 단계를 수행한다. 이들은 바이트 시퀀스를 반환한다.

1. payloadData를 새 리스트로 둔다.

2. contributions를 report의 기여로 둔다.

3. maxContributions를 report의 max contributions로 둔다.

4. Assert: contributions의 크기는 maxContributions보다 크지 않다.

5. contributions의 크기가 maxContributions보다 작은 동안 반복한다:

   1. nullContribution을 다음 항목을 가진 새 PAHistogramContribution으로 둔다:

      bucket

      0

      value

      0

      filteringId

      0

   2. nullContribution를 contributions에 추가한다.

   참고: 이 패딩은 암호화된 페이로드 크기를 통해 기여 수가 유출되는 것을 방지한다. 아래 논의를 보라.

6. report의 기여의 각 contribution에 대해 반복한다:

   1. filteringIdMaxBytes를 report의 filtering id max bytes로 둔다.

   2. Assert: contribution["filteringId"]는 0부터 256^{filteringIdMaxBytes}까지의 범위(끝 제외)에 포함된다.

   3. contributionData를 다음 키/값 쌍의 순서 있는 맵으로 둔다:

      "bucket"

      contribution["bucket"] 및 16이 주어졌을 때 페이로드용 정수 인코딩의 결과.

      "value"

      contribution["value"] 및 4가 주어졌을 때 페이로드용 정수 인코딩의 결과.

      "id"

      contribution["filteringId"] 및 filteringIdMaxBytes가 주어졌을 때 페이로드용 정수 인코딩의 결과.

   4. contributionData를 payloadData에 추가한다.

7. payload를 다음 키/값 쌍의 순서 있는 맵으로 둔다:

   "data"

   payloadData

   "operation"

   "histogram"

8. payload를 CBOR 인코딩한 결과인 바이트 시퀀스를 반환한다.

바이트 시퀀스 plaintextPayload, 공개 키 pkR 및 문자열 sharedInfo가 주어졌을 때 페이로드 암호화는 다음 단계를 수행한다. 이들은 바이트 시퀀스 또는 오류를 반환한다.

1. info를 « "aggregation_service", sharedInfo »의 연결을 UTF-8 인코딩한 결과로 둔다.

2. (kem_id, kdf_id, aead_id)를 (0x0020, 0x0001, 0x0003)으로 둔다.

   참고: 위의 ciphersuite 삼중항은 HPKE 알고리즘 식별자로 구성되며, KEM을 DHKEM(X25519, HKDF-SHA256)로, KDF 함수를 HKDF-SHA256으로, AEAD 함수를 ChaCha20Poly1305로 지정한다.

3. (enc, hpkeContext)를 공개 키 pkR, 애플리케이션 제공 정보 info, KEM kem_id, KDF kdf_id, 및 AEAD aead_id로 SetupBaseS()를 호출하여 HPKE 송신자 컨텍스트를 설정한 결과로 둔다. 이 작업이 실패하면 오류를 반환한다.

   참고: 명확성을 위해, RFC9180이 의사 코드에서 매개변수를 생략하더라도 위에서 KEM, KDF, AEAD 식별자를 SetupBaseS()에 명시적으로 전달했다.

4. aad를 `` (빈 바이트 시퀀스)로 둔다.

5. ciphertext를 추가 인증 데이터 aad와 평문 plaintextPayload로 hpkeContext 객체에 대해 ContextS.Seal()을 호출하여 페이로드를 봉인한 결과로 둔다. 이 작업이 실패하면 오류를 반환한다.

6. encryptedPayload를 바이트 시퀀스 « enc, ciphertext »의 연결로 둔다.

   참고: 선택한 KEM이 생성한 캡슐화된 대칭 키 enc의 길이는 RFC9180의 KEM IDs 표에 표시된 것처럼 정확히 32바이트이다.

7. 바이트 시퀀스 encryptedPayload를 반환한다.

정수 intToEncode와 정수 byteLength가 주어졌을 때 페이로드용 정수 인코딩은 intToEncode를 길이 byteLength의 빅 엔디언 바이트 시퀀스로 표현한 것을 반환하며, 필요에 따라 왼쪽을 0으로 패딩한다.

집계 가능 보고서 report가 주어졌을 때 보고서의 공유 정보 획득은 다음 단계를 수행한다. 이들은 문자열을 반환한다.

1. scheduledReportTime을 UNIX epoch부터 report의 원래 보고 시간까지의 기간으로 둔다.

2. sharedInfo를 다음 키/값 쌍의 순서 있는 맵으로 둔다:

   "api"

   report의 api

   "report_id"

   report의 보고서 ID

   "reporting_origin"

   report의 보고 출처의 직렬화

   "scheduled_report_time"

   scheduledReportTime의 초 수를 가장 가까운 정수 초로 내림하고 직렬화한 값

   "version"

   "1.0"

3. sharedInfo가 주어졌을 때 infra 값을 JSON 문자열로 직렬화한 결과를 반환한다.

session, URL variables 및 parameters가 주어졌을 때 원격 끝 단계는 다음과 같다:

1. parameters가 JSON 형식 Object가 아니면, invalid argument 오류 코드를 가진 WebDriver 오류를 반환한다.

2. enabled를 parameters에서 "enabled"라는 이름의 속성 가져오기의 결과로 둔다.

3. enabled가 undefined이거나 불리언이 아니면, invalid argument 오류 코드를 가진 WebDriver 오류를 반환한다.

4. 자동화 로컬 테스트 모드 활성화됨을 enabled로 설정한다.

5. 데이터 null과 함께 success를 반환한다.

참고: 이것이 없으면 집계 가능 보고서가 지연 대상이 되어 테스트가 어려워진다.