> though they have offered leverage to customers, I'm not sure how that was accomplished, or what backed it.
Margin's pretty easy to offer on crypto exchanges. Most of the ones I've seen will do a market sell as soon as your positions become illiquid. I doubt the computation involved in doing that for all accounts perfectly is tractable though.
