How best to define Nakamoto Consensus? Seems there are thre…

How best to define Nakamoto Consensus? Seems there are three abstract properties necessary to protect longest-chain integrity:

1. block production must be expensive
2. payments must be proportional to work
3. governance changes must be expensive