KYC gives me a headache. Do you think quedex and deribit good?
Bitmex and bybit are the only well recommended ones with high leverages. Can you not just use tor to connect to them?
If not, binance does do a bit of leverage if you get on the scheme. Companies like plus500 seem to always be advertised too for cfd trading...
This site suggests Deribit and quedex (as avaliable in the US) :
https://www.bitcoinmarketjournal.com/bitcoin-options/