Foundations of Blockchains (Lecture 7.3: Proof of Consistency)
Tim Roughgarden Lectures · 19:32
Este vídeo apresenta a prova formal de que o protocolo Tendermint satisfaz consistência (state machine replication): dois nós honestos nunca podem commitar versões diferentes do mesmo número de bloco. A estratégia cen...