CFT and BFT [Read More]

In this post, we design a consensus protocol based on a broadcast protocol and a view synchronizer protocol. [Read More]

The leader constitutes a communication bottleneck in leader-based state machine replication (SMR) protocols like Multi-Paxos and HotStuff. Specifically, in each phase of a consensus instance, a non-leader process (follower) receives one message from the leader and sends one message back; however, in a system with $n$ processes, the leader needs... [Read More]

Modularity is a strategy to enable the decomposition of a system into cohesive, reusable, and independent modules, facilitating simplicity, reusability, scalability, collaboration, testing, debugging, and abstraction. In this post, we will delve into the view synchronizer, an abstraction that can be employed in designing modular distributed protocols. We start by... [Read More]

In this post, we will review the definitions of well-known timing models in distributed computing and systems. [Read More]