Synchronous System

1. Two separate clock readings yield different values
2. chrocks are $\epsilon$-synchronized: 任意の実時間$t$において、2つのプロセッサ$p,q$のクロックのズレは最大でも$\epsilon$である
3. 伝送遅延・処理遅延は既知の定数$\delta$に制限される

• 現実には同期システムなどほとんどない
• authenticationができればByzantine faultなノードがN個いても(つまり任意の数の障害に)耐えられるコンセンサスプロトコルがあることが知られている
  • authenticationがなければ$N\ge 3t+1$