account changes

[sunnya97]

• External Actor controls Externally Controlled Account, not any Account
• Added Account to domain of hasAccountStorage
• Moved Account code hash to be a property of Account State, not Contract Account
• Renamed Storage to Account Storage

[webthethird]

Points 1, 2 and 4 seem like straightforward fixes

Would be good to get feedback from @jo-tud on the third point

Does the account code hash ever change once it has been uploaded to the EVM?

[sunnya97]

No, account code hash will never change.

[webthethird]

@sunnya97 Then can you explain your reasoning for moving 'accountCodeHashto be a property ofAccount Staterather thanContract Account`? I see in the current definition of Account State that

It is comprised on four pieces of information: nonce, balance, storage root and code hash

which would seem to justify the change. But intuitively the term Account State implies change to me, since nonce, balance and storage all have changing states. Does that make sense?

[webthethird]

Would be interested in hearing what @chronaeon thinks

[jo-tud]

@webthethird The definition of AccountState really does differ from the ontological model atm. I changed it.

[webthethird]

Excellent, thanks for taking care of that. Makes sense to me!