Yes, that money came from the US government program literally codenamed "Operation Warp Speed" which was set up as a public–private partnership initiated by the

Yes, that money came from the US government program literally codenamed "Operation Warp Speed" which was set up as a public–private partnership initiated by the United States government to facilitate and accelerate the development, manufacturing, and distribution of COVID-19 vaccines, therapeutics, and diagnostics: https://en.wikipedia.org/wiki/Operation_Warp_Speed https://en.wikipedia.org/wiki/Operation_Warp_Speed