Distributed Systems & Consensus (theory + blockchain mechanisms)
Parent: Software Engineering & Distributed Computing · researched 2026-06-16T23:00:41.080Z· 90 sources · 12 concepts · skill distributed-systems-consensus
Distributed systems and consensus theory plus blockchain consensus mechanisms — the fundamental problem of agreement across unreliable nodes. Owns both the classical/crash-fault side and the Byzantine
Overview
- Distributed systems and consensus theory plus blockchain consensus mechanisms - the fundamental problem of agreement across unreliable nodes. Owns both the classical/crash-fault side and the Byzantine/blockchain side. [source]
- Foundations: CAP theorem and PACELC extension, FLP impossibility, linearizability vs sequential vs causal vs eventual consistency, Lamport clocks and vector clocks, state-machine replication, quorum intersection, crash-stop vs crash-recover vs Byzantine failure models, safety vs liveness properties. [source]
- Crash-fault consensus: Paxos and Multi-Paxos, Raft (leader election, log replication, safety proofs), Viewstamped Replication, Zab (Zookeeper), gossip/epidemic protocols, CRDTs for AP systems. [source]
- Byzantine consensus: PBFT (three-phase, 3f+1 quorum), Tendermint/CometBFT, HotStuff (linear communication), threshold cryptography. [source]
- Blockchain consensus: Nakamoto longest-chain PoW, Proof of Stake mechanics, Ethereum's Gasper (Casper FFG finality + LMD-GHOST fork-choice), Cardano Ouroboros, Solana Tower BFT, fork-choice rules, finality vs probabilistic settlement, Sybil resistance, the scalability/security/decentralization trilemma, long-range attacks, nothing-at-stake, selfish mining. [source]
Children
- Crash-fault consensus algorithms (Paxos/Multi-Paxos, Raft, Viewstamped Replication, Zab) and the leader-based-log skeleton they share (frontier)
- Byzantine fault tolerance (PBFT three-phase, HotStuff linear view-change, Tendermint/CometBFT, the 3f+1 bound, BFT-SMR) (frontier)
- Consistency models hierarchy (linearizability, sequential, causal+, eventual) + the CALM theorem (monotonicity = coordination-free) (frontier)
- Impossibility & tradeoff results (FLP, CAP/PACELC, safety-vs-liveness, consensus<->atomic-broadcast equivalence) (frontier)
- Logical time & causality (Lamport clocks, vector clocks, happens-before) (frontier)
- Quorum systems & quorum intersection (majority 2f+1, Byzantine f-masking/disseminating, Flexible Paxos phase-quorum-only intersection) (frontier)
- Nakamoto/longest-chain Proof of Work (probabilistic finality, honest-majority assumption, GHOST/heaviest-chain fork-choice) (frontier)
- Proof of Stake mechanisms (Ethereum Gasper = Casper FFG + LMD-GHOST, Cardano Ouroboros Praos/Genesis, Solana Tower BFT + PoH) (frontier)
- Blockchain finality models (probabilistic vs deterministic/economic; finality gadget vs fork-choice rule) (frontier)
- Sybil resistance & the scalability-security-decentralization trilemma (permissionless identity cost) (frontier)
- Consensus-layer attacks (selfish mining, nothing-at-stake, long-range, grinding/RANDAO, balancing/bouncing on Gasper) (frontier)
- Gossip/epidemic protocols (anti-entropy, rumor-mongering, SWIM) & CRDTs (state vs op-based, Strong Eventual Consistency) (frontier)
Frontier under this node: Blockchain finality models (probabilistic vs deterministic/economic; finality gadget vs fork-choice rule), Byzantine fault tolerance (PBFT three-phase, HotStuff linear view-change, Tendermint/CometBFT, the 3f+1 bound, BFT-SMR), Consensus-layer attacks (selfish mining, nothing-at-stake, long-range, grinding/RANDAO, balancing/bouncing on Gasper), Consistency models hierarchy (linearizability, sequential, causal+, eventual) + the CALM theorem (monotonicity = coordination-free), Crash-fault consensus algorithms (Paxos/Multi-Paxos, Raft, Viewstamped Replication, Zab) and the leader-based-log skeleton they share, Gossip/epidemic protocols (anti-entropy, rumor-mongering, SWIM) & CRDTs (state vs op-based, Strong Eventual Consistency), Impossibility & tradeoff results (FLP, CAP/PACELC, safety-vs-liveness, consensus<->atomic-broadcast equivalence), Logical time & causality (Lamport clocks, vector clocks, happens-before), Nakamoto/longest-chain Proof of Work (probabilistic finality, honest-majority assumption, GHOST/heaviest-chain fork-choice), Proof of Stake mechanisms (Ethereum Gasper = Casper FFG + LMD-GHOST, Cardano Ouroboros Praos/Genesis, Solana Tower BFT + PoH), Quorum systems & quorum intersection (majority 2f+1, Byzantine f-masking/disseminating, Flexible Paxos phase-quorum-only intersection), Sybil resistance & the scalability-security-decentralization trilemma (permissionless identity cost)