Is there a formal difference between hacking into someone else's server and, say, for example, exploiting an Ethereum contract, or exploiting a bug on a Lightning app that allows you to withdraw more ...
Both cases are theft regardless of what the particular laws of the jurisdiction say.