State has 4-tuples, one for every account:

1. aETC balance of account
2. hash of machine code
3. hash of storage dict (256 bit ints -> 256 bit ints)
4. # txs made, or, # other smart contracts made

* The node implementations must determine state from the blockchain since it is all needed info is in there.