Accountable Safety Implies Finality

ePrint Report: Accountable Safety Implies Finality

Joachim Neu, Ertem Nusret Tas, David Tse

Motivated by proof-of-stake (PoS) blockchains such as Ethereum, two key desiderata have recently been studied for Byzantine-fault tolerant (BFT) state-machine replication (SMR) consensus protocols: Finality means that the protocol retains consistency, as long as less than a certain fraction of validators are malicious, even in partially-synchronous environments that allow for temporary violations of assumed network delay bounds. Accountable safety means that in any case of inconsistency, a …

blockchains eprint report ethereum key machine malicious pos proof protocol protocols replication report safety smr state