Recorte localizado
HotStuff: mudança de view, pacemaker e memória segura
Como um novo líder coleta QCs, seleciona highQC e propõe novamente sem apagar a memória de segurança do protocolo.
Um timeout muda o líder, não a história
Quando uma view deixa de progredir, cada réplica envia ao próximo líder evidência assinada de seu QC mais alto. A mensagem new-view carrega memória verificável; não é permissão para recomeçar do zero.
O líder seleciona evidência, não um ramo conveniente
O novo líder reúne 2f + 1 mensagens, verifica assinaturas e seleciona o QC de maior view. A proposta precisa estender essa ponta ou satisfazer a regra segura diante do lock local de cada réplica.
- highQC ordena evidência por view, mas assinaturas e participação no quórum são verificadas novamente.
- Um líder bizantino não torna uma ponta antiga segura apenas repetindo-a.
O pacemaker separa segurança de progresso
Regras de voto e lock preservam safety durante atrasos; o pacemaker coordena views e timeouts para recuperar liveness após a estabilização da rede. Assim o relógio não é confundido com evidência criptográfica.
Referências
[1]
HotStuff: BFT Consensus in the Lens of BlockchainTrabalho primário para mudança de view linear, highQC e chained HotStuff.
[2]
LibraBFT: State Machine Replication in the Libra BlockchainDescrição operacional do pacemaker e da adaptação de HotStuff.