Equation 143 - I think the top two lines are wrong

Question

Equation 143 - I think the top two lines are wrong

qbzzt opened this issue 3 years ago · 2 comments

Wouldn't the first value, the new state, be σ (the old state) in the case of REVERT or an exception? The yellow page states it is ∅, the empty set - as if a single revert could delete the entire blockchain state.

Also, wouldn't the top line be (∅,0,A,I,∅)? An abnormal exit burns all the remaining gas.

Answer 1 · 2022-05-03T14:10:16.000Z

∅ state in the execution result Ξ is used in the Yellow Paper to signify execution failure. It does not mean that the entire state is deleted – see Equations 106 & 118.

Answer 2 · 2022-05-03T18:59:34.000Z

Thank you, I stand corrected.