Tema

Liveness

Artículos, guías y notas de laboratorio relacionados con Liveness.

Artículos

3

Índice

Topic

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

¿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ó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.