This Milestone is a third follow-up of the PoC done in %Adaptive DAL POC. After preparing the DAL skip list for Adjustable DAL in %Extend DAL skip list cells' content and integrating it in the protocol and the DAL node in %Adjustable DAL proto integration, we focus here on SDK extension, rollup node extensions, unit & E2E testing, etc.

Work breakdown

• Rollup Node
  • (MR ?) Support refutation games for adjustable DAL pages (partially reuse MR !15236 (closed))
• SDK
  • (MR !15612 (closed) - WIP) Extend the rust SDK with a reveal_adal_page primitive
  • (MR ?) Implement debug mode for reveal_adal_page primitive

• Testing
  • (MR ?) DAL echo kernel can request importing a slot depending on a pre-defined attestation power & publisher address (reuse/extend MR !15208 (closed) ?)
  • (MR ?) Test for refutation games with adjustable DAL (partially reuse MR !15236 (closed))
  • (MR ?) Add some unit and pbt tests for adjustable DALs?

Challenges

• Limited knowledge of the SDK and Rust to quickly extend all aspects (including debugging mode)
  • Mitigation: many colleagues in core layer 2 could provide guidance to progress fast
• choose the right design for the adjustable dal primitive (see below)

Deliverables

• The Rust SDK provides an adjustable DAL primitive that could be used in smart rollups
• E2E test demonstrating the use of the new mechanism

TODO

• grep for ADAL/FIXME and ADAL/TODO in the repo