[go: up one dir, main page]
Closed
Milestone Apr 11, 2022–Nov 30, 2022

(OKR 2022Q3 - 2.1) - Data-Availibility Layer (DAL): Integration with Smart Rollups

Related: (OKR 2022Q3 - 2.1)

This milestone in the first milestone for the DAL project for which is describe here. The objective is to have a minimal integration with Smart Rollups so that when Smart rollups are activated in some protocol, they will be compatible with the DAL. To do so, we have split this milestone in various tasks:

Development plan:

  • Task A L1 integration of slots/shards: This task should ensure the slot management provided by the L1 works as expected.

  • Task B L1 integration with the cryptograhic primtives: This task should ensure the crypograhic primitives works as expected with the L1.

  • Task C SCORU integration of the DAL:

    • Task C1: The rollup node should understand the logic of slots and slots headers
    • Task C2: The refutation game should take into accounts the new ticks added by the DAL

  • Task C SCORU integration of the DAL: We should ensure the SCORU understand the DAL, in particular for the refutatons.

  • Task D The DAL daemon: This task should ensure the daemon can store shards.

  • Task A

    • handling the slot availability (depending on the endorsers)
    • handling the slot assignment
    • Slots header can be mocked
    • Slots can be mocked

  • Task B

    • Task A is merged
    • Vendorise cryptographic primitive
    • Separate the cryptographic primitives for the shell and the protocol
    • Include cryptographic primitives into the environment
    • Compute slot headers (Kate commitments) from blob
    • Ensure slots can be split and reconstructed correctly
    • Provide a safe way to compute the trusted setup
    • Ensure the validity of slot headers

  • Task C1

    • Task A is merged
    • Being able for a SCORU to subscribe to one or several slots
    • Provide a first version for the framing protocol
    • Rollup node should be able to apply a slot declared available
    • Rollup node should be able to refute bad commitments related to the importation of the inbox

  • Task C2

    • The core of the refutation game logic to refute a page is merged
    • The DAL refutation should be integrated for SCORU

  • Task D

    • Task A is merged
    • Split a slot and reconstruct a slot from shards
    • Monitor the head's node
    • Being able to stream slot/slot headers to enable communications between DAL nodes

Design document