Mempool specification
This issue is related to the development of a new efficient mempool. The safety of this development requires:
- having a clear idea of the invariants of the current mempool to identify the ones that has to be preserved,
- confront the design of the efficient mempool against theses invariants,
- co-design the specification along its code
To be complete by @germanD
Stages:
Informal (Pen & Paper) Specification
nomadic-labs/mustard#9 (closed)
Sriracha Document:- Doing.
This document is intended to collect by retrospecification the different invariants of the current mempool and the old
new-mempool
, and the discussions towards the new mempool design.
Codesign of the new mempool.
- Awaiting launch of crew
Formal Verification of the new mempool.
- to follow codesign
Validation of the new mempool by PBT.
- TO follow codesign
Edited by Germán Delbianco