Lecture 3: Mechanics of Bitcoin