HotStuff: QC, highQC e a regra das três cadeias

Um QC é evidência, não um voto decorativo

Com n = 3f + 1 réplicas, um quorum certificate agrega 2f + 1 votos sobre a mesma proposta e view. Dois quóruns desse tamanho se cruzam em pelo menos f + 1 réplicas; a interseção contém, portanto, pelo menos uma réplica correta.

highQC preserva a ponta segura conhecida

Cada réplica mantém o QC de maior view que verificou. O líder transporta essa memória para sua proposta: não escolhe uma ramificação por preferência, mas estende evidência que as réplicas podem comparar com seu lock.

• O número da view ordena a evidência; nunca substitui a verificação criptográfica.
• O predicado safeNode separa uma extensão segura de uma proposta apenas recente.

Três cadeias separam progresso de finalidade

Quando três blocos certificados consecutivos cumprem a relação pai-filho exigida, o bloco mais antigo pode ser comprometido. O pipeline combina prepare, pre-commit e commit de blocos distintos sem confundir proposta com finality.