I will be giving an overview of how the Bitcoin protocol achieves consensus at scale in a way which is robust against malicious failure. I will emphasize the economic and computational assumptions required to make this possible, as well as Bitcoin's relaxed safety properties.