1

How is the fact of execution of the contract bytecode in the VM proven by the miner? Why can't a miner just say "uhm, the contract didn't do anything so I take all the gas"?

2