[draft] MD-118: Implications of L1 assumptions for postconfirmation protocol

[apenzk]

Summary

MD-118

[l-monninger]

I think this should ask for a list of...

• Safety assumptions (which components are safe) and to what extent.
• Liveness assumptions (which components are live) and to what extent.
• Synchrony assumptions (which components are synchronous) and to what extent.
• Finality assumptions--when does finality occur and what exactly does it mean.

[l-monninger]

Maybe #110 is a useful super framework to improve here?

[l-monninger]

What is the weakest set of assumptions under which a given protocol works?

[apenzk]

@l-monninger

Finality assumptions--when does finality occur and what exactly does it mean.

individually address this now as D3

Safety assumptions (which components are safe) and to what extent.
Liveness assumptions (which components are live) and to what extent.
Synchrony assumptions (which components are synchronous) and to what extent.

added.

What is the weakest set of assumptions under which a given protocol works?

added.