Milestones

List view

• Track E — fast confirmations

  Lem 5, Thm 12-14 — optimistic fast confirmations (Appendix B)

  No due date

  •4/4 issues closed
  100% complete0 open4 closed

• Track D — tightness / limitations

  Thm 9-11 — RLMD-GHOST resilience bounds are tight (Appendix A)

  No due date

  •3/3 issues closed
  100% complete0 open3 closed

• Track C — RLMD-GHOST security

  Lem 4, Thm 6-8 — η-reorg, η-dynamic-availability, (η,η-1)-asynchrony-resilience

  No due date

  •4/4 issues closed
  100% complete0 open4 closed

• Track B — GHOST instantiations & separations

  Lem 3, Thm 3-5 — LMD-GHOST / Goldfish properties and impossibilities

  No due date

  •4/4 issues closed
  100% complete0 open4 closed

• Track A — propose-vote-merge framework

  Lem 1-2, Prop 1, Thm 1-2 — abstract reorg resilience ⇒ dynamic availability

  No due date

  •6/6 issues closed
  100% complete0 open6 closed