ethereum / yellowpaper

The "Yellow Paper": Ethereum's formal specification
Creative Commons Attribution Share Alike 4.0 International
1.64k stars 510 forks source link

Behavior if a coinbase does not exist in provisional state? #141

Open swaldman opened 9 years ago

swaldman commented 9 years ago

Sorry if I'm missing something!

Equation (68) tells us we must add the price of the used gas to the coinbase account when transitioning from the provisional to the prefinal state, but AFAICT nowhere requires that the coinbase account pre-exist nor indicates what should be done if it does not exist.

I think that the intended behavior is to add a new account with the incoming ether, but it's also plausible that specifying a nonexistent coinbase would raise some kind of error or that the operation would be skipped and the incoming ether simply lost.

wanderer commented 9 years ago

I think that the intended behavior is to add a new account with the incoming ether

This is correct.

pirapira commented 7 years ago

I think we need to set up a notation where \varemptyset_b denotes zero.