Skip to content

Commit

Permalink
Update eip-1283.md
Browse files Browse the repository at this point in the history
  • Loading branch information
alex-forshtat-tbk authored Jan 15, 2019
1 parent 2e33365 commit 268c72a
Showing 1 changed file with 6 additions and 2 deletions.
8 changes: 6 additions & 2 deletions EIPS/eip-1283.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,8 @@ the following logic:
gas to refund counter.
* If *original value* does not equal *current value* (this storage
slot is dirty), 200 gas is deducted. Apply both of the following
clauses.
clauses. If *gasleft* is less then or equal 2300, fail the transaction
with 'out of gas' exception.
* If *original value* is not 0
* If *current value* is 0 (also means that *new value* is not
0), remove 15000 gas from refund counter. We can prove that
Expand Down Expand Up @@ -123,7 +124,10 @@ already issued the refund but it no longer applies (*current value* is
issue the refund but it applies now (*new value* is 0), then adds this
refund to the refund counter. It is not possible where a refund is not
issued but we remove the refund in the above case, because all storage
slot starts with **Fresh** state.
slot starts with **Fresh** state. In order to keep in place the implicit
reentrancy protection of existing contracts, transactions should not be
allowed to modify state if the remaining gas is lower then the 2300
stipend given to 'transfer'/'send' in Solidity.

### State Transition

Expand Down

0 comments on commit 268c72a

Please sign in to comment.