A subset of the algorithmic consensus problem about agreeing on the same state

  1. Consistency: all notes agree on the same history
  2. Liveness: every transaction submitted eventually added to all node’s histories

SMR can be reduced to Byzantine Broadcast