HotStuff: QC, highQC y la regla de tres cadenas

Un QC es evidencia, no una votación decorativa

Con n = 3f + 1 réplicas, un quorum certificate reúne 2f + 1 votos sobre la misma propuesta y vista. Dos quórums de ese tamaño se cruzan en al menos f + 1 réplicas, de modo que la intersección incluye al menos una réplica correcta.

highQC conserva la punta segura conocida

Cada réplica mantiene el QC de mayor vista que verificó. El líder transporta esa memoria al proponer: no elige una rama por gusto, sino que extiende evidencia que las réplicas pueden contrastar con su lock.

• El número de vista ordena la evidencia; no sustituye la verificación criptográfica.
• El predicado safeNode separa una extensión segura de una propuesta que solo parece reciente.

Tres cadenas separan progreso de finalización

Cuando tres bloques certificados consecutivos forman la relación padre-hijo requerida, el bloque más antiguo puede comprometerse. El pipeline permite que prepare, pre-commit y commit de bloques distintos convivan sin confundir propuesta con finality.