0xPolygonZero / zk_evm

Apache License 2.0
80 stars 35 forks source link

Fix misplaced overflow check in `wcopy` #661

Closed Nashtare closed 3 days ago

Nashtare commented 4 days ago

The u32 overflow check should be happening after we check for too large offsets, as these are valid cases that would otherwise trigger a fault_exception.

Caught by some regression on the Ethereum test suite (calldatacopy_d7g0v0_Cancun notably).