The Gold certificates held on the FED'S balance sheet is currently valued at the 1973 price of $42.22 per ounce.

Congress can instruct the FED to mark them to market and use the proceeds to buy Bitcoin. They don't even need to sell any gold.