They do require them to math. So this trader’s losses were other traders’ gains. However, when the mark-to-market losses exceeded the loser’s ability to pay up,

They do require them to math. So this trader’s losses were other traders’ gains. However, when the mark-to-market losses exceeded the loser’s ability to pay up, then they had to close the position and the exchange had to pay up. Looks like they didn’t actually have the assets to do this last part though, which is the only really bad part of all of this. Traders blow up all the time, but you have no business calling yourself a futures exchange if you make other traders absorb those losses. The typical model for a real exchange is for th exchange itself to maintain capital reserves sufficient to make traders whole in these circumstances. OKEx doesn’t really have any business purporting to be an exchange (and couldn’t, legally, under US law I believe) if it isn’t maintaining these capital reserves. Doesn’t seem unusual for this space though.