Miners in a cryptocurrency are not assumed to benevolently follow a proposed protocol, but rather they are incentivized to do so. From a mechanism design perspective, this talk will overview several formal challenges that have been discovered towards the design of protocols which successfully incentivize miners to follow them.