Dissecting Tendermint
Impossibility of distributed consensus with one faulty process