We quite frequently hear about some cryptocurrency company losing money because their software was exploited. From example today we have Qubit losing $80 million:
The protocol was exploited by; 0xd01ae1a708614948b2b5e0b7ab5be6afa01325c7 The hacker minted unlimited xETH to borrow on BSC. The team is currently working with security and network partners on next steps.
My understanding of what happened is that a smart contract was created by someone, accepted by Qubit and completed according to the rules created by Qubit. However it did not have the result expected by Qubit, though presumably expected by the someone.
In general, where there is a difference in the understanding of a contract it is the wording that is held to be valid, rather than either parties understanding. This will be familiar to many people, as companies frequently craft contracts in their interest and people do not read them.
In the case of a smart contract, where the actual meaning is in no doubt (as it is executed programmatically) but it is understood to mean something different by one of the parties, it it actually valid? Ie. in such a case would the someone have legal ownership of the $80 million cryptocurrency that they were assigned upon the completion of the smart contract?