Genuinely curious: How do you know a private key is stolen with a cryptocurrency? Is there some sort of secondary proof mechanism?
I'm presuming that in this case (given the amount) that this was not a typical user. But is there some framework of dispute for lesser amounts?
Since the funds have moved (visible on the overall distributed blockchain system, where everything is public), either of the two scenarios must have happened. It really is that simple, there are no other "moving parts" or "possible human error" in other parts of the system here.
How does the exchange handle that? What’s the dispute mechanism?
But it’s still based around having the correct mathematical keys to unlock an address.