Lecture 4: What are cryptocurrencies? What is Bitcoin?