“The purpose of the Filecoin currency is to create a fungible token that can be spent to hire the miner network to store files. The first and foremost use of the currency is precisely this: locking it up as a reward to miners who successfully store data on the network.”