Abstract
In this tutorial we overview the models and proof techniques that shed light in understanding the unique features and characteristics of Nakamoto’s protocol and how it compares to previous results in the consensus literature. We will discuss basic blockchain properties, including common prefix, chain quality, and chain growth. We will also discuss unique features of blockchains, such as sporadic participation, sleepy parties, and dynamic availability.