As per chapter 9 of the yellow paper:
However, I find it vaguely defined.
- Who gives this permission? Is it dependent on each machine or is there an objective algo to follow?
- What is the type of "w"? In the paper, it seems to always take the value of an opcode (e.g. REVERT), but I'm not fully sure.
I know about this answer but it simply pasted snapshots from the yellow paper and it's not descriptive enough + I'm not sure it's correct, it seems "w" is not a boolean.