3 ms·
Not sure decidability is that much of an issue for smart contract language. There's a game-theoretic argument that pretty much solves the issue: you pay money
by ur-whale 5y ago
Not sure decidability is that much of an issue for smart contract language.
There's a game-theoretic argument that pretty much solves the issue: you pay money to run your smart contract.
The more it runs, the more it costs, until you run out of funds (gas).
Sounds pretty decidable to me.
- whimsicalism 5y agoI agree but have no idea how that relates to game theory.
- ur-whale 5y agoIn theory it's possible to let your dapp run forever, hogging resources from the network and "breaking" the system. But that would cost you such a large amount of money that no one does it. In other words, the system, while breakable in theory, isn't in practice because of a set of economic incentives (or as it were, dis-incentives in this case).