Hacker News Reader

Comment by TekMol | Hacker News Reader

    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.

View on HN

You 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.

It will halt. By running out of gas.

Reply on news.ycombinator.com