A Better Method to Analyze Blockchain Consistency
PHANTOM: A Scalable BlockDAG Protocol.