Assume we have a smart contract that has a state variable as follows:
uint data=32;
The contract is stored in the blockchain.
We have two transactions tx1, and tx2 sent to the contract one after the other. tx1 sums the variable with 40:
data +=40,
and tx2 multiplies "the new state" by 50:
data *=50
Question: Do the nodes who verify tx2, have to re-run tx1 as well to calculate state before tx2 (i.e. data +=40) again?