Skip to content

Commit

Permalink
Update EIP-2315: Catch up to latest Yellow Paper (ethereum#5814)
Browse files Browse the repository at this point in the history
* Catch up to latest Yellow Paper

* Remove yellow paper ref so that PR can be merged

Co-authored-by: Pandapip1 <[email protected]>
  • Loading branch information
2 people authored and nachomazzara committed Jan 13, 2023
1 parent 0fbe1fe commit faad0d6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion EIPS/eip-2315.md
Original file line number Diff line number Diff line change
Expand Up @@ -96,7 +96,7 @@ _Execution_ is defined in the Yellow Paper as sequence of changes in the EVM sta
5. Invalid jump destination
6. Invalid instruction

We would like to consider EVM code valid iff no execution of the program can lead to an exceptional halting state. In practice, we must test at runtime for conditions 1, 2, and 3 — sufficient gas, sufficient stack, and modification of static state. We don’t know how much gas there will be, we don’t know how deep a recursion may go, analysis of stack depth even for non-recursive programs is nontrivial, and we don't know whether a call will be static. All of the remaining conditions MUST be validated statically, in time and space quasi-linear in the size of the code.
We would like to consider EVM code valid iff no execution of the program can lead to an exceptional halting state. In practice, we must test at runtime for conditions 1, 2, and 3 — sufficient gas and sufficient stack. We don’t know how much gas there will be, we don’t know how deep a recursion may go, analysis of stack depth even for non-recursive programs is nontrivial, and we don't know whether a call will be static. All of the remaining conditions MUST be validated statically, in time and space quasi-linear in the size of the code.

#### Static Constraints on Valid Code

Expand Down

0 comments on commit faad0d6

Please sign in to comment.