Virtu, M1X Global and Tradeweb used the sovereign USDM1 bond as collateral in what they call the first repo combining natively issued sovereign debt with atomic onchain settlement. None of them has said how large the transaction was.