fix(EVM): EVM emulator fixes after the audit #1134

0xVolosnikov · 2024-12-06T21:42:13Z

What ❔

Why ❔

Checklist

PR title corresponds to the body of PR (we generate changelog entries from PRs).
Tests for the changes have been added / updated.
Documentation comments have been added / updated.

#1097)

Signed-off-by: Vladimir Radosavljevic <[email protected]> Co-authored-by: Vladimir Radosavljevic <[email protected]>

#1156)

…sh (updated) (#1157)

0xVolosnikov force-pushed the evm-emulator/fixes branch 2 times, most recently from 48a3aa9 to 286a4dc Compare December 10, 2024 15:34

0xVolosnikov and others added 28 commits December 10, 2024 17:23

fix(EVM): Add static MCOPY cost (#1081)

44bd426

fix(EVM): Cleanup in checkMemIsAccessible (#1082)

8e8323d

fix(EVM): Simplify OP_PC (#1084)

ef91e52

fix(EVM): Do not charge additionally for EraVM decommit (#1086)

b649f5f

fix(EVM): Fix stack overflow check (#1085)

5db2a30

fix(EVM): Add stack overflow check in dup (#1087)

ba50e19

fix(EVM): Fix SSTORE warmth check (#1089)

30d56ad

fix(EVM): Fix CALL in static context (#1091)

6fe1257

fix(EVM): Fix calls to contract being created (#1093)

1818626

fix(EVM): Wrap access to calldata to prevent out-of-bounds EraVM panic (

12efa1c

#1097)

fix(EVM): Zero out frame gas left for underpaid precompiles (#1101)

07f43d0

fix(EVM): Fix panics on insufficient balance in calls (#1108)

c74c6ec

fix(EVM): Fix DUP1 underflow check (#1110)

5869331

fix(EVM): Update LLVM options after fixes (#1112)

55367f5

Signed-off-by: Vladimir Radosavljevic <[email protected]> Co-authored-by: Vladimir Radosavljevic <[email protected]>

fix(EVM): Do not check memory boundaries if size is zero (#1114)

70d1de8

fi(EVM): Fix EXTCODECOPY zeroing offset (#1115)

37874c7

fix(EVM): Cleanup address bytes in EXTCODECOPY (#1116)

6a76d76

fix(EVM): Use raw calls to precompiles (#1118)

2bdc565

fix(EVM): Make DELEGATECALL behavior closer to EVM (3) (#1120)

3299faa

fix(EVM): Handle corner case of KECCAK with 0 size (#1121)

483b099

fix(EVM): Make fetchDeployedCode more robust (2) (#1123)

d61e38d

fix(EVM): Increase max allowed memory (2) (#1124)

47b2ddd

fix(EVM): Implement EXTCODEHASH in emulator (#1125)

c4c964b

fix(EVM): Add stipends for calls to zkVM contracts (#1126)

921b3e3

fix(EVM): Make CREATE flow equivalent to EVM (#1127)

ef80122

Handle Empty.sol as empty account

b61406b

Do not call precompiles if not enough gas provided

72bbed0

fix(EVM): Fix logs implementation (2) (#1137)

daf7022

0xVolosnikov force-pushed the evm-emulator/fixes branch from 286a4dc to daf7022 Compare December 10, 2024 16:23

0xVolosnikov force-pushed the evm-emulator/fixes branch from 5e4477e to 9c9233e Compare December 18, 2024 11:31

0xVolosnikov added 2 commits December 19, 2024 10:40

feat(EVM): Enable EVM emulator using service call (#1141)

fe838fc

fix(EVM): Simplify and optimize out-of-bounds truncation in CODECOPY (

e7aa3a9

#1156)

0xVolosnikov force-pushed the evm-emulator/fixes branch from bc802b1 to e7aa3a9 Compare December 19, 2024 09:40

0xVolosnikov added 3 commits December 19, 2024 10:54

fix(EVM): Store unpadded EVM bytecode length in versioned bytecode ha…

c396c03

…sh (updated) (#1157)

fix(EVM): Add overflow checks in JUMP and JUMPI opcodes (#1159)

0419d3e

fix(EVM): Handle calldata-related opcodes in constructor (#1160)

684c072

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

fix(EVM): EVM emulator fixes after the audit #1134

fix(EVM): EVM emulator fixes after the audit #1134

0xVolosnikov commented Dec 6, 2024

fix(EVM): EVM emulator fixes after the audit #1134

Are you sure you want to change the base?

fix(EVM): EVM emulator fixes after the audit #1134

Conversation

0xVolosnikov commented Dec 6, 2024

What ❔

Why ❔

Checklist