Blockmania: from Block DAGs to Consensus
Impossibility of distributed consensus with one faulty process