From paper to lab
Distributed systems, explained from the mechanism.
BFT consensus papers read carefully: what each protocol assumes, which invariant it protects, and how to check it with a reproducible lab.
Available in English
These readings are translated into English. The full library is written in Spanish.
- HotStuff: QC, highQC, and the three-chain ruleA visual and rigorous reading of quorum certificates, highQC memory, and the three-chain commit rule.English
- HotStuff: view change, pacemaker, and safe memoryHow a new leader collects QCs, selects highQC, and proposes again without erasing the protocol’s safety memory.English
- BFT signatures: threshold, aggregation, and AggQC evidenceHow to distinguish votes over one message, different view reports, and the proof a leader carries through a view change.English
- BFT consensus from scratch: replicas, quorums, and Byzantine faultsWhat Byzantine fault tolerance solves, why n ≥ 3f + 1 appears, and how to separate safety from liveness before reading HotStuff.English
- One, two, and three chains: the commit taxonomy before HotStuffHow many consecutive certifications a protocol needs before saying “this will not move”, and how that answer prepares QC, highQC, and Fast-HotStuff.English
- Tendermint through the HotStuff lens: locks, unlocks, and evidenceHow to read Tendermint through HotStuff: prevote, precommit, LockedValue, ValidRound, proposer rotation, evidence, and slashing.English