You are right these dont exist in any meaningful form at the moment. However USD(T/C) quanto swaps exist (a.k.a. perpetuals) on all major exchanges and fufil linear short payoff profiles. If you are looking for the convexity of an options payoff and still want it USD "settled", you can construct a portfolio of a long/short quanto swap (binance, ftx etc.) and a option (likely on deribit) to synthetically generate the same payoff profile (note not cross margined). You will need to manage and calculate the "PnL" (which is the difference of the quanto options value vs. a regular options value) and hedge it yourself dynamically via the swap. If that all sounds very complicated, thats because it is. You should realise that on a risk neutral basis options and swaps are equivalent and all you are doing via an option is taking leverage and a view on implied volatility, all whilst probably paying a fat bid ask/spread. You probably are better off trading a liquid swap at your desired leverage level (which can be set to match the delta of the option you have your eye on)...
Alternatively if you are looking to do a trade on NASDAQ you could just buy puts on a company like Microstrategy (MSTR) which tracks the price of BTC reasonably closely (due to their large balance sheet holdings).
Once (or perhaps "if") Crypto ETF's are eventually approved by the SEC, liquid USD options markets will follow.
Source: I am a former investment bank derivatives trader.
We really don't know the answer because they are opaque black boxes operating without any oversight. Your example is one where they don't seem particularly concerned with promoting trade opportunities.
The biggest common fallacy in the crypto marketplace is the assumption that the "exchanges" operate as honest brokers and market makers just like their counterparts in regulated markets.