How does smart contract processing work exactly in ETH? Specifically I'm wondering about what happens after a node has processed a set of smart contracts.
A node grabs a bunch of contracts & transactions, processes contracts and validates transactions, solve s PoW.
Here's the question: what gets packed into the block for the smart contracts? For example, if I had a smart contract that basically had a counter inside, and a call to the function just increments the counter by 1. When the node processes this call, what is it packing into the block? Is it packing the call? The bytecode of the execution process (state transition)? Is it packing in the actual result (the resultant persistent storage of the contract) - i.e., counter = 2?
If the result is packed into the block, do other nodes actually care about the actual result that someone else has packed into a block? Or do they just say "since I trust no one I'm just gonna process it anyway, who cares what result you got, since I don't trust you"? This is why people say eventually every full node processes every smart contract call?
Hopefully my question is clear, thank you!