2 ms·
halting problem smart contract that's both fraudulent and not at the same time How would the halting problem help with that? With the halting problem, can'
by TekMol 5y ago
halting problem smart contract that's
both fraudulent and not at the same time
How would the halting problem help with that? With the halting problem, can't you just write code so that nobody knows if it will halt or not? I wouldn't say it halts and not halts at the same time. We just don't know if it will halt.
- MauranKilom 5y agoIt will halt. By running out of gas.
- shiado 5y agoYou define a smart contract where your intent is that it checks if other smart contracts are legal and runs them. Then you define a contract that runs the contract that checks if another contract is legal and then as the writer your intent is for the program to be illegal if the other program is legal and vice versa. Then you run this second contract through the first. If it is legal it is illegal and if it is illegal it is legal. Obviously there is no way to write a smart contract that checks if others are legal, but a writer can intend to write it which is where the problem of considering smart contract writer intent originates.