A meta-execution environment for cross-shard ETH transfers

[vbuterin]

Also, I came up with something even simpler today:

An even simpler meta-execution environment for ETH

See Moving ETH between shards: the problem statement for the problem statement and A meta-execution environment for cross-shard ETH transfers for an earlier attempt. Solution Every shard stores a map balances: (shard, EE) \rightarrow balance. The total “real balance” of some EE in some shard can be computed as: real\_balance(shard, ee) = \sum_{i=0}^{shard\_count} shard[i].balances[s][x] To perform any transfers of ETH between EEs in a block, the shard must contain a Merkle proof from the most…