[throwaway20222]

If not us tax dollars, how are they funded? Are the backed with full faith of credit of the us government? It’s hard to search for answers on this one.

[biggestlou]

It's self financing: https://en.wikipedia.org/wiki/Exchange_Stabilization_Fund