diff --git a/EIPS/eip-8013.md b/EIPS/eip-8013.md index 22ffc6acef2333..c8b884ec7dbadf 100644 --- a/EIPS/eip-8013.md +++ b/EIPS/eip-8013.md @@ -29,7 +29,7 @@ There are various ways to reduce the need for dynamic jumps, some examples: This proposal introduces a minimal feature set - including the above - to allow compilers to use `RJUMP`/`RJUMPI`/`RJUMPSUB` exclusively. -This functionality does not preclude the EVM from introducing other forms of control flow later on. `RJUMP`/`RJUMPI` can efficiently co-exists with a higher-level declaration of functions, where static relative jumps should be used for intra-function control flow. This functionality also does not preclude the use of legacy code. +This functionality does not preclude the EVM from introducing other forms of control flow later on. `RJUMP`/`RJUMPI` can efficiently co-exist with a higher-level declaration of functions, where static relative jumps should be used for intra-function control flow. This functionality also does not preclude the use of legacy code. The main benefit of these instruction is reduced gas cost (both at deploy and execution time), better performance and better static analysis properties. diff --git a/EIPS/eip-8032.md b/EIPS/eip-8032.md index 742f1b48fc38a6..f007b5dcf70117 100644 --- a/EIPS/eip-8032.md +++ b/EIPS/eip-8032.md @@ -128,7 +128,7 @@ def calculate_storage_delta(prestate_value, poststate_value): return 0 # No change in slot occupancy ``` -During a transition, the transition is advanced *first* before applying the storage deltas, but *after* executing all transactions, so the gas costs of a contract that is sweeped by the iterator in this block are only applied for the *next* block. Update semantics when a transition is occurring: +During a transition, the transition is advanced *first* before applying the storage deltas, but *after* executing all transactions, so the gas costs of a contract that is swept by the iterator in this block are only applied for the *next* block. Update semantics when a transition is occurring: - For accounts that have been iterated (i.e. `cursor_account_hash` > `acc_hash` ), all storage deltas are applied. - For accounts that have not been iterated at all (i.e. `acc_hash` > `cursor_account_hash`), none of the storage deltas are applied.