implement EIP-5656

src/ethereum/cancun/vm/instructions/__init__.py

@@ -189,6 +189,7 @@ class Ops(enum.Enum):
     MSTORE = 0x52
     MSTORE8 = 0x53
     MSIZE = 0x59
+    MCOPY = 0x5E
 
     # Log Operations
     LOG0 = 0xA0
@@ -249,6 +250,7 @@ class Ops(enum.Enum):
     Ops.MSTORE: memory_instructions.mstore,
     Ops.MSTORE8: memory_instructions.mstore8,
     Ops.MSIZE: memory_instructions.msize,
+    Ops.MCOPY: memory_instructions.mcopy,
     Ops.ADDRESS: environment_instructions.address,
     Ops.BALANCE: environment_instructions.balance,
     Ops.ORIGIN: environment_instructions.origin,

src/ethereum/cancun/vm/instructions/memory.py

@@ -11,11 +11,13 @@
 
 Implementations of the EVM Memory instructions.
 """
-from ethereum.base_types import U8_MAX_VALUE, U256, Bytes
+from ethereum.base_types import U8_MAX_VALUE, U256, Bytes, Uint
+from ethereum.utils.numeric import ceil32
 
 from .. import Evm
 from ..gas import (
     GAS_BASE,
+    GAS_COPY,
     GAS_VERY_LOW,
     calculate_gas_extend_memory,
     charge_gas,
@@ -138,3 +140,39 @@ def msize(evm: Evm) -> None:
 
     # PROGRAM COUNTER
     evm.pc += 1
+
+
+def mcopy(evm: Evm) -> None:
+    """
+    Copy the bytes in memory from one location to another.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    dst = pop(evm.stack)
+    src = pop(evm.stack)
+    length = pop(evm.stack)
+
+    # GAS
+    if length > 0:
+        words = ceil32(Uint(length)) // 32
+        copy_gas_cost = GAS_COPY * words
+    else:
+        copy_gas_cost = Uint(0)
+
+    extend_memory = calculate_gas_extend_memory(
+        evm.memory, [(src, length), (dst, length)]
+    )
+    charge_gas(evm, GAS_VERY_LOW + copy_gas_cost + extend_memory.cost)
+
+    # OPERATION
+    evm.memory += b"\x00" * extend_memory.expand_by
+    value = memory_read_bytes(evm.memory, src, length)
+    memory_write(evm.memory, dst, value)
+
+    # PROGRAM COUNTER
+    evm.pc += 1

whitelist.txt

@@ -389,4 +389,7 @@ rlps
 jsons
 mem
 
+mcopy
+src
+
 checkable