Is the US government allowed to sell gold to buy bitcoin?

There are at least two proposals that could see the US government sell gold to buy BTC or BTC-denominated assets.