This Milestone is a follow-up of the PoC done in %Adaptive DAL POC. It aims at implementing & merging the first stage for Adaptive DAL integration that consists in having more information in the content of the the DAL skip list cells, namely:

• Having attestation ratio in addition to attestation status (as declared by the protocol)
• Adding the TZ address of the managers who publish DAL commitments.

Work breakdown

• (hours) MR !15320 (merged): Prepare data in the context for Adaptive DAL
  • Remember recent skip list cells in the context
  • Add an RPC to access recent skip list cells in the context
  • Use the recent skip list cells when indexing the skip list from the DAL node
• (hours) MR !15334 (merged) Remember attestation ratio of slots
  • Adapt DAL attestation functions in raw_context and accountability
  • Propagate attestation ratio until dal_slot_repr entry
  • Conservative extension of dal_slot_repr to add attestation ratio

• (hours) MR !15352 (merged) Remember managers which published DAL commitments
  • propagate the info from validation to pending commitments storage
  • propagate the info from pending commitments storage to dal_slot_repr entry

• Conservative extension of dal_slot_repr to add attestation ratio
  • (hours) (MR !15367 (merged)) Update the cells' content type & encoding
  • (hours) (MR !15406 (merged)) Update skip list cells construction
  • (hours) (MR !15420 (merged)) Update refutation games
  • (hours) (MR !15433 (merged)) Plug the new skip list and adapt existing tests
  • (hours) (MR !15448 (merged)) Code to handle migration
  • (hours) (MR !15449 (merged)) RPC to fetch protocols activation level

• Migration test (Pbt? Unit? Integration? manual?) -> (days) (MR !15504 (merged) + manual tests in #7562 (closed))
  • Make sure the constructed skip list is consistent
  • Make sure we test with published data at migration level boundaries

• Bonus
  • (hours) (MR !15452 (merged)) Update commitments publishers to enable slots publication from smart contracts

Deliverables

• Skip list cells of successive levels available via L1 context
• A revamped version of the DAL skip list where cells' content contains slots attestation ratio and the commitments publisher
• Migration code from Q to Alpha: tests

Challenges

• Makes sure the skip list evolution doesn't break protocol migration
• Makes sure the addition of the manager's address in pending headers to attest doesn't break protocol migration