Blockmania: from Block DAGs to Consensus
Hot-Stuff the Linear, Optimal-Resilience, One-Message BFT Devil.