Recorte localizado
Uma, duas e três chains: a taxonomia de commit antes do HotStuff
Quantas certificações consecutivas um protocolo precisa para dizer “isto não se move mais”, e como essa resposta prepara QC, highQC e Fast-HotStuff.
Commit não é só votar bonito
Em BFT uma assinatura é uma promessa verificável: a réplica afirma que a proposta não viola seu lock nem a evidência segura conhecida. O commit precisa de uma regra mecânica que sobreviva a líderes ruins, mensagens atrasadas e réplicas bizantinas.
One-chain e two-chain: latência em troca de evidência
Uma regra de uma cadeia finaliza rápido, mas exige locks e restrições de proposta muito rígidos. Duas cadeias encurtam o caminho feliz e deslocam o custo para a troca de visão, onde é preciso transportar evidência agregada como um AggQC.
- One-chain: útil como intuição, delicado diante de equivocation.
- Two-chain: aparece em Fast-HotStuff e Jolteon; cuide do view-change.
Three-chain: a ordem do HotStuff básico
Três blocos certificados consecutivos comprometem o ancestral com uma regra uniforme. Cada visão executa o mesmo padrão, o que permite sobrepor fases no Chained HotStuff e manter uma troca de visão linear sem provas extras.
Referências
[1]
Yin et al., HotStuff: BFT Consensus in the Lens of Blockchain (2019)Define a regra de commit de três cadeias e sua versão encadeada.
[2]
Buchman, Kwon and Milosevic, The latest gossip on BFT consensus (2018)Tendermint: locks e validRound como alternativa de duas fases.
[3]
Jalalzai et al., Fast-HotStuff (IACR ePrint 2020/088)Variante de duas cadeias que paga a troca de visão com evidência agregada.