SubstrateNota de investigación18 min
GRANDPA: finalizar cadenas, no bloques
Cómo GRANDPA finaliza prefijos de cadena con prevotes, precommits y 2/3-GHOST, por qué tolera f < n/3 y qué pasa cuando la finalidad se detiene.
Tema
BFT
Artículos, guías y notas de laboratorio relacionados con BFT.
Artículos
35
Índice
Topic
SubstrateNota de investigación21 min
Capstone: conectar un consenso BFT propio (estilo HotStuff) a un nodo Substrate
Guía de ingeniería, desde el código del Polkadot SDK, para reemplazar GRANDPA o la producción por un protocolo BFT estilo HotStuff: QC como justificación, sync y pruebas.
HotStuffNota de investigación17 min
Casper FFG (Ethereum): El gadget de finalidad amigable
Cómo Casper FFG finaliza checkpoints con enlaces de supermayoría, por qué sus dos reglas de slashing dan accountable safety y cómo Gasper lo une a LMD GHOST.
HotStuffNota de investigación11 min
El concepto de GST: El momento mágico en el que la tormenta de red cesa
Qué es GST en el modelo DLS de 1988: safety en toda ejecución, liveness tras la estabilización y las dos variantes, con Δ desconocida o válida tras GST.
HotStuffNota de investigación13 min
El ataque del doble gasto: Cómo los estafadores digitales copian el dinero como si fuera un PDF
Por qué un saldo digital se puede gastar dos veces si las réplicas no acuerdan un único orden de transacciones, y cómo los quórums 2f+1 lo impiden.
HotStuffNota de investigación11 min
La metáfora del banco sin cajero central: ¿Quién valida las transacciones?
Cómo varias réplicas validan transacciones sin un servidor central: mismo estado inicial, mismo orden y ejecución determinista, la intuición de SMR.
HotStuffNota de investigación11 min
Por qué las firmas criptográficas (autenticación) reducen los nodos necesarios para el consenso
Mensajes orales frente a firmados: por qué las firmas eliminan la cota 3f+1 en el modelo síncrono de Lamport, pero no bajo la sincronía parcial de DLS.
HotStuffNota de investigación15 min
Leaks de inactividad (Inactivity Leaks): Recuperar el consenso tras catástrofes
Por qué la finalidad se detiene si más de un tercio del stake no vota, cómo el inactivity leak de Ethereum la recupera y cuándo finaliza dos ramas en conflicto.
HotStuffNota de investigación11 min
El modelo de fallas de parada u omisión de DLS: El paso previo a BFT
Jerarquía de fallas en DLS 1988: parada, omisión y bizantina, y por qué bajo sincronía parcial exigen n >= 2f+1 o n >= 3f+1 réplicas, con o sin firmas.
Sistemas distribuidosNota de investigación16 min
Mysticeti: La 3ra generación de DAG-BFT con latencias sub-segundo
Cómo Mysticeti confirma bloques en 3 retardos de mensaje sobre un DAG sin certificar: votos implícitos, decisión directa e indirecta, fast path y Sui.
HotStuffNota de investigación12 min
El Pacemaker en detalle: Coordinar relojes en el caos sin sobrecargar la red
Cómo el Pacemaker de HotStuff sincroniza vistas sin tocar safety: rotación de líderes, timeouts locales y certificados de timeout de 2f+1 en DiemBFT.
HotStuffNota de investigación14 min
El abuelo de los consensos BFT: PBFT (1999) y sus tres pasos
Cómo PBFT (Castro y Liskov, 1999) ordena solicitudes con pre-prepare, prepare y commit, qué certifica cada quórum 2f+1 y por qué su view-change es cuadrático.
HotStuffNota de investigación14 min
Rompiendo la regla: ¿Por qué 2 cadenas en HotStuff original permite bifurcaciones?
Por qué un commit de dos cadenas en HotStuff pierde safety o responsividad sin reglas extra, y cómo Fast-HotStuff, Jolteon y HotStuff-2 lo recuperan.
HotStuffNota de investigación11 min
¿Por qué mienten las computadoras? Del error de hardware al boicot
Por qué una réplica puede detenerse, callar o contradecirse, y por qué BFT asume fallas arbitrarias: bugs y ataques producen el mismo síntoma ante el protocolo.
HotStuffNota de investigación14 min
¿Por qué no podemos usar timeouts fijos (Δ)? Los riesgos de liveness
Por qué un timeout fijo puede dejar sin progreso a un protocolo BFT bajo sincronía parcial y cómo el backoff y el pacemaker recuperan la liveness tras GST.
HotStuffNota de investigación14 min
Quórums en acción: ¿Por qué 2f+1 votos garantizan que las mayorías se crucen?
Por qué dos quórums de 2f+1 votos entre 3f+1 réplicas comparten al menos f+1 nodos y cómo esa réplica correcta común impide certificar bloques en conflicto.
Sistemas distribuidosNota de investigación11 min
Reorganización dinámica de validadores: Cambio de nodos entre Epochs sin paradas
Cómo cambiar el conjunto de validadores entre épocas sin detener la cadena: frontera comprometida, traspaso de quórums y pruebas para nodos nuevos.
HotStuffNota de investigación12 min
El dilema de la responsividad optimista en Tendermint: El precio de esperar al temporizador
Por qué el nuevo líder de Tendermint espera la cota Δ antes de proponer y cómo la fase extra de HotStuff permite avanzar a la velocidad real de la red.
HotStuffNota de investigación12 min
Sincronía vs. Asincronía: El caos de no saber si un mensaje se perdió o si la red está saturada
Modelos síncrono, asíncrono y parcialmente síncrono: por qué un mensaje lento no se distingue de uno perdido y qué implica eso para FLP, DLS y HotStuff.
HotStuffNota de investigación11 min
Replicación de Máquina de Estados (SMR) con manzanas y peras
Un inventario de manzanas y peras muestra por qué réplicas deterministas que aplican el mismo log ordenado llegan siempre al mismo estado en SMR.
HotStuffNota de investigación15 min
El Teorema FLP: Por qué una sola computadora lenta puede romper el acuerdo
Por qué ningún consenso determinista asíncrono garantiza terminar con una sola falla por crash, qué es la bivalencia y cómo la evaden los protocolos BFT.
HotStuffNota de investigación12 min
Tusk: Consenso asíncrono y aleatorizado sin timeouts en el camino feliz
Tusk ordena el DAG de Narwhal sin timeouts: una moneda aleatoria compartida elige el líder de cada ola y el orden total sale del grafo sin mensajes extra.
HotStuffNota de investigación10 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.
HotStuffNota de investigación14 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.
HotStuffNota de investigación11 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.
HotStuffNota de investigación8 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.
HotStuffNota de investigación8 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.
HotStuffNota de investigación10 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.
HotStuffNota de investigación10 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.
HotStuffNota de investigación9 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.
HotStuffNota de investigación9 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.
HotStuffNota de investigación12 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.
HotStuffNota de investigación9 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.
HotStuffNota de investigación8 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.
HotStuffNota de investigación8 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.