1: \begin{abstract}
2: Nakamoto consensus underlies the security of many of the world's largest cryptocurrencies, such as Bitcoin and Ethereum.
3: %
4: Common lore is that Nakamoto consensus only achieves consistency and liveness under a regime where the difficulty of its underlying mining puzzle is very high, negatively impacting overall throughput and latency. In this work, we study Nakamoto consensus under a wide range of puzzle difficulties, including very easy puzzles.
5: We first analyze an adversary-free setting
6: and show that, surprisingly, the common prefix of the blockchain grows quickly even with easy puzzles.
7: In a setting with adversaries, we provide a small backwards-compatible change to Nakamoto consensus to achieve consistency and liveness with easy puzzles.
8: Our insight relies on a careful choice of \emph{symmetry-breaking strategy}, which was significantly underestimated in prior work.
9: We introduce a new method---\emph{coalescing random walks}---to analyzing the correctness of Nakamoto consensus under the uniformly-at-random symmetry-breaking strategy.
10: This method is more powerful than existing analysis methods that focus on bounding the number of {\it convergence opportunities}.
11: %
12: %
13: \end{abstract}
14: