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.
Consenso distribuido
HotStuff: del problema BFT a la frontera moderna
Una ruta académica y visual para entender quórums, locks, certificados, cambio de vista, commit chains y las variantes que llevaron HotStuff a producción.
Capítulos
77
15 disponibles · 4 etapas
Nivel
De fundamentos a avanzado
Ingeniería distribuida, ciberseguridad y matemática aplicada
Etapa 01
Base BFT
Réplicas, quórums, sincronía y el puente desde PBFT.
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.
Etapa 02
Mecánica HotStuff
Cadenas, QC/highQC, multipipeline y cambio de vista.
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.
Etapa 03
Firmas y variantes
BLS, AggQC, Fast-HotStuff y diseños de producción.
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.
Etapa 04
Frontera
HotStuff-2, Narwhal/DAG-BFT y sincronización de estado.
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.
Vocabulario operativo
Glosario para no leer siglas a ciegas
Cada definición incluye una pregunta de control. Si no puedes responderla en el artículo actual, vuelve al prerrequisito antes de seguir.
- View
- Turno lógico con un líder propuesto.
- Comprueba: Pregunta qué evidencia permite abandonar la vista actual.
- QC
- Certificado de quórum que prueba votos compatibles para una afirmación.
- Comprueba: Identifica mensaje firmado, vista, firmantes y umbral.
- highQC
- QC de mayor vista conocido y transportado como punta segura.
- Comprueba: No lo confundas con commit: guía propuestas futuras.
- lockedQC
- Evidencia que restringe cuándo una réplica correcta puede votar otra rama.
- Comprueba: Busca la regla exacta de unlock antes de asumir progreso.
- Pacemaker
- Capa que coordina timeouts, vistas y elección del siguiente líder.
- Comprueba: Separa coordinación temporal de la regla de safety.
- GST
- Instante desconocido después del cual la red satisface el límite de demora asumido.
- Comprueba: Liveness puede depender de GST aunque safety no dependa del reloj.
- Threshold signature
- Prueba compacta de que un umbral firmó el mismo mensaje.
- Comprueba: Comprueba si las firmas comparten mensaje o si necesitas una agregación más expresiva.
- AggQC
- Prueba agregada de reportes de cambio de vista que puede transportar highQCs distintos.
- Comprueba: Pregunta qué highQC selecciona y cómo demuestra que vio un quórum.
- Safety
- Dos réplicas correctas no finalizan historias incompatibles.
- Comprueba: Busca la intersección de quórums y la regla local que impide el doble voto peligroso.
- Liveness
- El sistema vuelve a avanzar bajo el modelo de red declarado.
- Comprueba: Exige condiciones: líder correcto, sincronía y pacemaker; no basta decir “eventualmente”.