From faad0d6d9c3d6a06a1c23aede116c10224bdb910 Mon Sep 17 00:00:00 2001 From: Greg Colvin Date: Sun, 23 Oct 2022 10:04:37 -0400 Subject: [PATCH] Update EIP-2315: Catch up to latest Yellow Paper (#5814) * Catch up to latest Yellow Paper * Remove yellow paper ref so that PR can be merged Co-authored-by: Pandapip1 <45835846+Pandapip1@users.noreply.github.com> --- EIPS/eip-2315.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/EIPS/eip-2315.md b/EIPS/eip-2315.md index 26a1f9b3f7f41a..e46789d6901bbb 100644 --- a/EIPS/eip-2315.md +++ b/EIPS/eip-2315.md @@ -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