This graduate-level sequence explores the theoretical foundations and practical implementations of consensus in distributed systems. Students analyze the CAP theorem, the Byzantine Generals Problem, and various consensus mechanisms including PoW, PoS, and DAG-based models, evaluating their trade-offs in security, scalability, and decentralization.