Sorry, what about the famous maker-DAO problem that prompted a fork on Ethereum?
I guess I should have been more precise: "And as a result - people are able to trust that this
smart-contract in a state without bugs actually does what it promises."
In Steem it is even easier because of the public RPC nodes everywhere. A light client could use public RPC nodes to call get_account_history in order to maintain state.
get_account_history fetches up to 10000 objects. Let's imagine there are 1 million accounts on a game - this is not a scalable way.
I think I will be able to do something like this.