The Binance hacker appears to have used the Circle Cross–Chain Transfer Protocol (CCTP) to successfully transfer funds, some (but not all) of which Circle successfully blacklisted.