Total Order Broadcast: Basics and Consensus Equivalences

This lecture covers the concepts of total order broadcast, where processes must deliver messages in the same order, and the equivalence between consensus and total order broadcast. It explains the properties and specifications of total order broadcast, including validity, no duplication, and agreement. The lecture also delves into the (uniform) consensus problem, where processes propose values and need to agree on one value. It discusses the properties of consensus, such as validity, agreement, termination, and integrity. The algorithm presented in the lecture implements Total Order and uses Reliable Broadcast and Consensus. Equivalences between consensus and total order broadcast are explored, highlighting their interchangeability in systems with reliable channels.