RIPEMD doesn't get untouched (#1079)

This commit is contained in:
wborgeaud 2023-06-07 13:50:23 +02:00 committed by GitHub
parent fd48e5d1bc
commit 90bb4741b3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 15 additions and 1 deletions

View File

@ -9,4 +9,11 @@ global revert_account_loaded:
POP
%journal_load_1
// stack: address, retdest
%jump(remove_accessed_addresses)
DUP1 %eq_const(@RIP160) %jumpi(ripemd)
%jump(remove_accessed_addresses)
// The address 0x3 shouldn't become unloaded.
// See https://github.com/ethereum/EIPs/issues/716.
ripemd:
// stack: address, retdest
POP JUMP

View File

@ -9,4 +9,11 @@ global revert_account_touched:
POP
%journal_load_1
// stack: address, retdest
DUP1 %eq_const(@RIP160) %jumpi(ripemd)
%jump(remove_touched_addresses)
// The address 0x3 shouldn't become untouched.
// See https://github.com/ethereum/EIPs/issues/716.
ripemd:
// stack: address, retdest
POP JUMP