If I understand correctly, the smart contracts are run by the miners. What incentive do the miners have to execute the smart contracts correctly? What stops a malicious miner from changing the result, or a simply lazy miner from doing a simpler computation?
In bitcoin, the proof-of-work is hard to calculate but easy to verify. I don't expect this to be true of all contracts.