http://investr4zcyv3issfcryd7mqiflbedhtbt6h4mnbd6b2qshg7sevffad.onion/bitcoin-2010/index14.html
The smart contract is submitted to the nodes on EMV (a runtime compiler to execute the smart contract code) for evaluation. All the nodes on the network executing the code must come to the same result.