ParentFull threadtylertreat·Consensus and atomic broadcast. Paxos, raft, zab. Formal methods.View on HN