Implement draft-ietf-ppm-dap-17

[tgeoghegan]

There's at least two DAP versions beyond draft-ietf-ppm-dap-16 (whose implementation is tracked here). Draft 17 has been published and draft 18 is underway. This issue tracks implementing what will become draft-ietf-ppm-dap-18.

I diffed tag draft-ietf-ppm-dap-16 against main + the three outstanding PRs on the doc (ietf-wg-ppm/draft-ietf-ppm-dap#774, ietf-wg-ppm/draft-ietf-ppm-dap#775, ietf-wg-ppm/draft-ietf-ppm-dap#776) and that indicates we have the following changes to make:

• update to a libprio that implements draft-irtf-cfrg-vdaf-18 (Release prio 0.18 for draft-irtf-cfrg-vdaf-18 libprio-rs#1391) (Update to prio 0.18.1-alpha.3 #4472)
• update domain separation tags. Let's jump ahead to "dap-18". (update version tags for draft-ietf-ppm-dap-18 #4473)
• use singular media types (e.g. application/dap-hpke-config-list -> application/ppm-dap;message=hpke-config-list) (draft-ietf-ppm-dap-18 HTTP media types #4424)
• VDAF "preparation" is renamed "verification" ([DAP-17] Rename VDAF "Preparation" to "Verification" #4594)
  • this will make a huge diff!
• TimePrecision is now defined in DAP, not taskprov (Move TimePrecision out of taskprov module #4368)
• DAP now defines TaskConfiguration and VDAF config encodings, replacing TaskConfig and VdafConfig from taskprov ([DAP-17/18] Move TaskConfig/VdafConfig from taskprov into base DAP as TaskConfiguration #4624)
  • TaskConfiguration has extensions
• Instead of task_start and task_duration in TaskConfiguration, we have a TaskInterval extension ([DAP-17/18] Move TaskConfig/VdafConfig from taskprov into base DAP as TaskConfiguration #4624)
• TaskConfiguration gets included in HPKE AADs ([DAP-17] TaskConf AAD Part 1: Add canonical TaskConfiguration builder and conversions #4672, [DAP-17] TaskConf AAD Part 2A: Mandatory task_info and Interval task validity #4684, [DAP-17] TaskConf AAD Part 2B: Use janus_messages::Url  #4692, [DAP-18] TaskConf AAD Part 3: Get all the bits and bobs in place for the TaskConfiguration at all endpoints #4698, [DAP-18] TaskConf AAD: Provision in-process test task after aggregator startup #4707, [DAP-17] TaskConf AAD Part 4: bind TaskConfiguration into HPKE AADs  #4714)
  • InputShareAad
  • AggregateShareAad
  • Account for changes in Widen types used in VDAF config structs ietf-wg-ppm/draft-ietf-ppm-dap#777
• collection job extensions (Support Collection Extensions #4715, Persist Collection Job Req on the Helper #4743)
• AggregationJobInitReq now includes verification key ID field ([DAP-18] Add verification key ID field to AggregationJobInitReq #4666)
• UploadResponse renamed UploadErrors (Rename UploadResponse -> UploadErrors #4491)
• Extensions (task, collection, upload) MUST appear in strictly increasing order ([DAP-17] Require upload extensions in strictly increasing order #4648)
• Update protocol version in aggregator-api config response to "DAP-18" (update version tags for draft-ietf-ppm-dap-18 #4473)