Assess graduate students' ability to analyze and compare PBFT, HotStuff, and Tendermint with respect to correctness (safety), liveness under partial synchrony, and performance trade-offs in the presence of adversarial network partitions. Tasks include: state required timing and fault assumptions for safety/liveness; show when liveness may be violated by partitions or leader faults; compare quorum sizes, view-change complexity, and latency/throughput implications; and propose mitigation strategies or parameter choices, with rigorous arguments and example scenarios.