I am looking for someone to help clarify the 'stacktrace' of interactions that occur when a client interacts with a smart contract.
Clearly, one has to submit a transaction to a miner, who then has to locate the contract by address (by using his/her own local copy of the blockchain?), and complete the computation set out in the contract.
Is the entire contract then re-written once again into the blockchain with the outputs representing the output of the computation that has taken place?