HotStuff: QC, highQC y la regla de tres cadenas

Ahora sí: HotStuff.

Si lo reduces demasiado, HotStuff es un protocolo donde los líderes proponen bloques y las réplicas votan. Si lo reduces bien, HotStuff es una máquina de mover evidencia segura de una vista a la siguiente. [1]

La moneda de esa evidencia es el QC.

QC: Quorum Certificate

Un Quorum Certificate es una prueba agregada de que 2f + 1 réplicas votaron por una propuesta en una vista. No es "me gustó el bloque". Es "suficiente gente lo vio, lo validó y dejó una firma verificable". [1]

El highQC no es un objeto mágico distinto. Es una selección: de todos los QCs conocidos, toma el de vista más alta. En una nueva vista, el líder debe proponer extendiendo ese punto, porque ahí está la evidencia más reciente de seguridad. [1]

Vistas y bloques

HotStuff divide el tiempo lógico en views. Cada view tiene un líder. El líder propone un bloque que apunta a un padre. Las réplicas verifican:

• que el bloque extiende una rama segura;
• que el QC incluido justifica esa extensión;
• que no están violando su regla de voto/lock.

Si suficientes réplicas votan, aparece un QC para ese bloque. Ese QC será combustible para la siguiente vista. [3] [1]

Flujo visual

Ciclo mínimo de una vista HotStuff

1. 01líder elige highQC
2. 02propone bloque hijo
3. 03réplicas verifican
4. 04réplicas votan
5. 05se forma QC
6. 06siguiente líder extiende QC

La regla de tres cadenas

En Chained HotStuff, los nombres de fases se pliegan dentro de una cadena de bloques certificados. En vez de pensar en prepare, pre-commit y commit como mensajes separados, piensa en una secuencia de bloques con QCs consecutivos. [1]

La intuición:

• si B2 certifica a B1;
• y B3 certifica a B2;
• entonces hay suficiente evidencia para comprometer un ancestro seguro.

Figura 1

Commit por tres cadenas

Fuentes:[1]

📖 Cómo leer esta figura (Detalle explicativo)

Sigue las flechas de padre entre b, b+1 y b+2. Cada enlace está justificado por un QC válido y highQC selecciona la punta certificada más alta. Al formarse el tercer enlace consecutivo, el protocolo compromete al abuelo b; el bloque más reciente todavía puede cambiar de punta sin revocar ese commit.

Descargar SVGDescargar .tex

Código TikZ

Abrir `.tex` en pestaña nueva

No te obsesiones todavía con cada nombre de fase. La idea fuerte es esta: HotStuff convierte la seguridad en estructura de cadena. Si la cadena tiene suficiente profundidad certificada, el sistema ya no necesita cargar un view-change enorme para recordar qué era seguro. [1] [2]

Por qué highQC importa tanto

Un líder bizantino puede proponer basura. Pero una réplica correcta no vota solo porque el líder suena convincente. Vota si la propuesta está justificada por evidencia segura.

highQC hace dos trabajos:

1. ayuda al líder correcto a encontrar la rama segura;
2. ayuda a las réplicas a rechazar propuestas que intentan saltarse locks anteriores.

Mapa de Evidencia

Qué respalda cada afirmación sobre QC y highQC

1. 01

   Un QC transporta evidencia de 2f + 1 votos y permite que una vista posterior extienda una rama justificada.

   Confianza: alta
   • [HotStuff (PODC 2019)]

     Especifica las fases, certificados y regla de voto del protocolo.

   Límite: La intuición visual omite detalles de criptografía umbral y autenticación, tratados por separado en la serie.

2. 02

   highQC resume la evidencia segura más avanzada que el nuevo líder debe considerar.

   Confianza: alta
   • [HotStuff (PODC 2019)]

     Define la selección y el uso del QC de vista más alta.

   • [Lessons from HotStuff (2023)]

     Explica retrospectivamente por qué la linealidad del cambio de vista importa.

3. 03

   La profundidad de una cadena certificada convierte evidencia local en una regla de commit fácil de seguir.

   Confianza: media
   • [HotStuff (PODC 2019)]

     Formaliza Chained HotStuff y su commit rule.

   • [Streamlet (2020)]

     Ofrece una presentación pedagógica afín basada en cadenas notarizadas.

   Límite: Streamlet ayuda a construir intuición, pero no es una especificación intercambiable con HotStuff.

La chispa del diseño

HotStuff se siente elegante porque reduce un problema difícil a un patrón repetible:

proponer sobre evidencia segura, certificar con quórum, encadenar certificados, comprometer con profundidad.

En el siguiente post veremos qué ocurre cuando el líder no ayuda: view-change, pacemaker y cómo el nuevo líder recoge la evidencia sin convertir el protocolo en sopa de mensajes.

Profundización conceptual

Modelo mental: evidencia como carril, no como adorno

El QC no es una medalla que se cuelga al bloque después de ganar una votación. Es el carril por donde el protocolo puede seguir avanzando sin olvidar la seguridad acumulada. Una propuesta HotStuff saludable dice: "quiero construir aquí, y esta es la evidencia que hace razonable construir aquí". El highQC responde: "de todo lo que sabemos, esta es la punta certificada más avanzada". [2]

La regla de tres cadenas compra tiempo lógico. No finaliza el bloque apenas aparece un voto fuerte; espera a que haya profundidad certificada. Esa profundidad sirve porque los cambios de líder no ocurren en un universo limpio. Un líder puede fallar entre fases, una réplica puede estar atrasada y un nodo bizantino puede intentar revivir una rama vieja. Tres certificaciones consecutivas hacen que la memoria honesta tenga suficiente oportunidad de cruzar vistas. [1]

Si quieres una imagen simple: QC es una firma colectiva sobre una piedra del camino; highQC es la piedra más alta que todos deberían respetar; la regla de tres cadenas dice que cuando hay suficientes piedras encima, una de abajo ya no se mueve.

Invariante: votar solo si la propuesta respeta el lock

El invariante de seguridad alrededor de QC/highQC puede leerse así: una réplica correcta no debe ayudar a certificar una rama que contradice su evidencia segura previa. En HotStuff esa disciplina se expresa con reglas de voto y locks. El líder propone, pero la réplica decide si esa propuesta es segura.

La prueba mental usa dos ingredientes. Primero, cualquier QC válido contiene 2f + 1 votos. Segundo, dos QCs válidos dentro de 3f + 1 réplicas comparten al menos una réplica correcta. Si una rama ya avanzó lo suficiente para comprometer un ancestro, una rama incompatible necesitaría convencer a réplicas correctas de votar contra su lock o de aceptar evidencia más baja. La regla de voto bloquea ese salto.

Por eso highQC importa: no es solo "el QC más reciente que encontró el líder"; es la señal de qué evidencia debe ser extendida para no romper los locks que podrían existir en réplicas correctas.

Escenario adversarial: la rama tentadora

Imagina que el líder de una nueva vista es bizantino. Sabe que hay un QC alto sobre la rama A, pero propone una rama B porque le conviene fabricar un fork. Para hacerlo ver legítimo, incluye un QC antiguo o incompleto y mete prisa: "voten rápido, la red está lenta".

Una réplica correcta no debería razonar con entusiasmo social. Debe preguntar: ¿esta propuesta extiende mi lock?, ¿el QC incluido justifica el salto?, ¿hay evidencia de vista más alta que esté ignorando? Si la respuesta falla, no vota. Esa negativa es más importante que cualquier diagrama bonito: es donde safety se vuelve acción local.

El adversario no necesita convencer a todos; necesita reunir 2f + 1 votos. Pero como a lo sumo f son bizantinos, necesita arrastrar réplicas correctas. Las reglas de lock existen precisamente para que esas réplicas correctas sean aburridas, testarudas y útiles. En consenso, una réplica aburrida es una bendición.

Cómo leer el paper

Cuando leas HotStuff, separa tres capas. Primero está el framework con fases: prepare, pre-commit, commit y decide. Luego aparece Chained HotStuff, donde esas fases se pliegan en una cadena de bloques certificados. Finalmente mira el view-change, porque ahí se ve por qué highQC compacta la evidencia que antes era más pesada. [1] [2]

No intentes memorizar todo de una sentada. Sigue un bloque y pregúntate:

1. ¿qué QC trae como justificación?;
2. ¿qué votos necesita para formar su propio QC?;
3. ¿qué ancestro queda comprometido si aparecen bloques certificados consecutivos?;
4. ¿qué pasaría si el líder cambia justo aquí?

Si puedes responder esas cuatro preguntas, ya no estás leyendo HotStuff como una lista de siglas. Lo estás leyendo como una máquina de conservar evidencia.

Un último truco de lectura: dibuja siempre dos ramas incompatibles y pregúntate cuál réplica correcta tendría que firmar ambas para que el ataque funcione. Si no encuentras esa réplica, probablemente entendiste el invariante. Si la encuentras, encontraste el sitio exacto donde el protocolo necesita una regla de voto más fuerte.

Referencias

Bibliografía académica

Formato IEEENumerado para ingeniería, sistemas y protocolos.

1. [1]

   M. Yin, D. Malkhi, M. K. Reiter, G. G. Gueta, and I. Abraham, "HotStuff: BFT Consensus in the Lens of Blockchain," in Proc. PODC, 2019.

   PaperID: HOTSTUFF-2019🔗 Abrir fuente

   Fuente central para QC, highQC, Chained HotStuff y commit de tres cadenas.

2. [2]

   D. Malkhi and M. Yin, "Lessons from HotStuff," arXiv:2305.13556, 2023.

   PreprintID: LESSONS-HOTSTUFF-2023🔗 Abrir fuente

   Lectura retrospectiva para entender por qué esos invariantes importan.

3. [3]

   B. Chan and E. Shi, "Streamlet: Textbook Streamlined Blockchains," IACR ePrint 2020/088, 2020.

   PaperID: BFT-STREAMLET-2020🔗 Abrir fuente

   Referencia pedagógica para commit por estructura de cadena.