Sistemas distribuidos

HotStuff: de cero a estado del arte

Ruta progresiva para entender consenso BFT moderno: quórums, sincronía parcial, locks, taxonomía one/two/three-chain, QC/highQC, multipipeline, view-change, responsiveness, AggQC, Fast-HotStuff, sync y frontera DAG-BFT.

Publicados

15

de 77 previstos

Estado

19%

active

Ruta guiada

No leas 48 posts como lista de supermercado.

La serie está partida en módulos. Puedes seguirla de punta a punta o entrar por el perfil que más se parezca a tu problema actual.

Empezar por el mapa →

15 artículos

Ruta principal

BFTConsensusPartial SynchronyPBFT
Abrir módulo →Cierra en: Narwhal: cuando el mempool se vuelve DAG

Artículos de la serie

Módulo base

Ruta principal

15 artículos

HotStuffResearch note10 min

Consenso BFT desde cero: réplicas, quórums y fallas bizantinas

Primer paso de la serie HotStuff: qué problema resuelve BFT, por qué aparece n >= 3f + 1 y cómo separar safety de liveness sin drama matemático.

HotStuffResearch note9 min

Sincronía parcial y quórums: la calma antes de HotStuff

Qué significa GST, por qué la red no necesita ser perfecta y cómo los quórums sostienen safety mientras liveness espera mejores condiciones.

HotStuffResearch note9 min

De PBFT a cadenas: el puente mental hacia HotStuff

Antes de QC y highQC conviene ver cómo PBFT, Tendermint y Streamlet preparan la intuición de vistas, locks y commits sobre cadenas.

HotStuffResearch note8 min

Tendermint visto desde HotStuff: locks, unlocks y evidencia

Cómo leer Tendermint con el lente de HotStuff: prevote, precommit, LockedValue, ValidRound, proposer rotation, evidencia y slashing.

HotStuffResearch note11 min

Uno, dos y tres chains: la taxonomía de commit antes de HotStuff

Guía para entender commits de una, dos y tres cadenas, y cómo esa taxonomía prepara QC, highQC, multipipeline y Fast-HotStuff.

HotStuffResearch note10 min

HotStuff: QC, highQC y la regla de tres cadenas

El núcleo visual de HotStuff: cómo una propuesta se convierte en QC, por qué highQC guía al líder y cuándo una cadena certificada permite comprometer un bloque.

HotStuffResearch note10 min

HotStuff multipipeline: de fases a cadena viva

Cómo Chained HotStuff convierte prepare, pre-commit, commit y decide en una línea temporal de vistas, GenericQC y commits por profundidad de cadena.

HotStuffResearch note9 min

View-change en HotStuff: pacemaker, timeouts y líderes tercos

Cómo HotStuff cambia de líder sin perder safety: new-view, highQC, pacemaker y la diferencia entre protocolo de consenso y mecanismo de sincronización.

HotStuffResearch note9 min

Safety, liveness y responsiveness en HotStuff

Una separación práctica de las garantías de HotStuff: qué nunca debe pasar, cuándo vuelve a avanzar y por qué responsiveness no significa latencia cero.

HotStuffResearch note14 min

Firmas en BFT: threshold, aggregate y por qué AggQC no es un QC normal

Puente entre QC/highQC y Fast-HotStuff: firmas de réplicas, threshold signatures, aggregate signatures y la evidencia que transporta AggQC.

HotStuffResearch note8 min

Fast-HotStuff: dos cadenas, AggQC y la letra pequeña

Por qué Fast-HotStuff intenta reducir latencia, cómo usa AggQC para probar highQC en cambios de vista y qué trade-offs aparecen en firmas agregadas.

HotStuffResearch note8 min

De DiemBFT a Jolteon/Ditto: HotStuff cuando sale del paper

Cómo la familia HotStuff se adapta a producción: DiemBFT v4, líderes fallidos, dos cadenas, reputación de líder y fallback asíncrono.

HotStuffResearch note8 min

Substrate x HotStuff: sincronizar cuando finalizas rápido

Qué cambia cuando un nodo Substrate intenta ponerse al día en una cadena con consenso HotStuff-like: headers, snapshots, warp sync y evidencia BFT.

HotStuffResearch note12 min

HotStuff-2 y frontera moderna: dos fases, Twins y DAG-BFT

Cierre de la serie HotStuff: HotStuff-2, pruebas Byzantine con Twins, Narwhal/Tusk/Bullshark y cómo leer el estado del arte sin mezclar linajes.

HotStuffResearch note8 min

Narwhal: cuando el mempool se vuelve DAG

Por qué Narwhal no es simplemente otro consenso, cómo separa disponibilidad de datos y ordenamiento, y cómo se conecta con HotStuff/Tusk.

Labs relacionados