For the sake of visibility and coordination of research core, dumping here an updateable list of research topics that must be fleshed out before we present an initial holistic design for L1<>L2. All topics and terms will be defined and explained clearly in separate independent posts.
Published
- high level op_codes; L1<>L2 conceptual protocol: see @michaelsutton’s post.
- cryptographic primitives, low-level op_codes: see @reshmem’s post.
Needs to be written/published:
- Benchmarks towards final decisions on zk-friendly hash; see comments to @reshmem’s post
- State commitments:
- Sequencing commitments; hierarchical data structure (linear; consider usecase for log). Done
- Entry/exit mechanisms; virtual wallet management. Done
- Throughput regulation; fee market; gas vs fees; global vs per subnet gas limit; (related: multidimensional knapsack problem). Done
- L2’s interop: messaging protocol; design for sync atomic composability