Do paper ao laboratório
Sistemas distribuídos explicados a partir do mecanismo.
Papers de consenso BFT lidos com calma: o que cada protocolo supõe, que invariante protege e como verificá-lo com um laboratório reproduzível.
Disponível em português
Estas leituras estão traduzidas para o português. A biblioteca completa está escrita em espanhol.
- HotStuff: QC, highQC e a regra das três cadeiasUma leitura visual e rigorosa dos certificados de quórum, da memória highQC e da regra de commit de três cadeias.Português
- HotStuff: mudança de view, pacemaker e memória seguraComo um novo líder coleta QCs, seleciona highQC e propõe novamente sem apagar a memória de segurança do protocolo.Português
- Assinaturas BFT: threshold, agregação e a evidência do AggQCComo distinguir votos sobre uma mensagem, relatórios de vista diferentes e a prova que um líder transporta durante uma mudança de vista.Português
- Consenso BFT do zero: réplicas, quóruns e falhas bizantinasQue problema a tolerância a falhas bizantinas resolve, por que surge n ≥ 3f + 1 e como separar safety de liveness antes de ler HotStuff.Português
- Uma, duas e três chains: a taxonomia de commit antes do HotStuffQuantas certificações consecutivas um protocolo precisa para dizer “isto não se move mais”, e como essa resposta prepara QC, highQC e Fast-HotStuff.Português
- Tendermint pela lente do HotStuff: locks, unlocks e evidênciaComo ler Tendermint pela lente do HotStuff: prevote, precommit, LockedValue, ValidRound, rotação de proposer, evidência e slashing.Português