ethereum-execution 2.18.0rc6.dev2__py3-none-any.whl

ethereum/forks/cancun/vm/instructions/block.py

@@ -0,0 +1,261 @@
+"""
+Ethereum Virtual Machine (EVM) Block Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM block instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from .. import Evm
+from ..gas import GAS_BASE, GAS_BLOCK_HASH, charge_gas
+from ..stack import pop, push
+
+
+def block_hash(evm: Evm) -> None:
+    """
+    Push the hash of one of the 256 most recent complete blocks onto the
+    stack. The block number to hash is present at the top of the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackUnderflowError`
+        If `len(stack)` is less than `1`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `20`.
+
+    """
+    # STACK
+    block_number = Uint(pop(evm.stack))
+
+    # GAS
+    charge_gas(evm, GAS_BLOCK_HASH)
+
+    # OPERATION
+    max_block_number = block_number + Uint(256)
+    current_block_number = evm.message.block_env.number
+    if (
+        current_block_number <= block_number
+        or current_block_number > max_block_number
+    ):
+        # Default hash to 0, if the block of interest is not yet on the chain
+        # (including the block which has the current executing transaction),
+        # or if the block's age is more than 256.
+        current_block_hash = b"\x00"
+    else:
+        current_block_hash = evm.message.block_env.block_hashes[
+            -(current_block_number - block_number)
+        ]
+
+    push(evm.stack, U256.from_be_bytes(current_block_hash))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def coinbase(evm: Evm) -> None:
+    """
+    Push the current block's beneficiary address (address of the block miner)
+    onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256.from_be_bytes(evm.message.block_env.coinbase))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def timestamp(evm: Evm) -> None:
+    """
+    Push the current block's timestamp onto the stack. Here the timestamp
+    being referred is actually the unix timestamp in seconds.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, evm.message.block_env.time)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def number(evm: Evm) -> None:
+    """
+    Push the current block's number onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.number))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def prev_randao(evm: Evm) -> None:
+    """
+    Push the `prev_randao` value onto the stack.
+
+    The `prev_randao` value is the random output of the beacon chain's
+    randomness oracle for the previous block.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256.from_be_bytes(evm.message.block_env.prev_randao))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def gas_limit(evm: Evm) -> None:
+    """
+    Push the current block's gas limit onto the stack.
+
+    Here the current block refers to the block in which the currently
+    executing transaction/call resides.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.block_gas_limit))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def chain_id(evm: Evm) -> None:
+    """
+    Push the chain id onto the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    Raises
+    ------
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.StackOverflowError`
+        If `len(stack)` is equal to `1024`.
+    :py:class:`~ethereum.forks.cancun.vm.exceptions.OutOfGasError`
+        If `evm.gas_left` is less than `2`.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.message.block_env.chain_id))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)

ethereum/forks/cancun/vm/instructions/comparison.py

@@ -0,0 +1,177 @@
+"""
+Ethereum Virtual Machine (EVM) Comparison Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM Comparison instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from .. import Evm
+from ..gas import GAS_VERY_LOW, charge_gas
+from ..stack import pop, push
+
+
+def less_than(evm: Evm) -> None:
+    """
+    Checks if the top element is less than the next top element. Pushes the
+    result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left < right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def signed_less_than(evm: Evm) -> None:
+    """
+    Signed less-than comparison.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack).to_signed()
+    right = pop(evm.stack).to_signed()
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left < right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def greater_than(evm: Evm) -> None:
+    """
+    Checks if the top element is greater than the next top element. Pushes
+    the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left > right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def signed_greater_than(evm: Evm) -> None:
+    """
+    Signed greater-than comparison.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack).to_signed()
+    right = pop(evm.stack).to_signed()
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left > right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def equal(evm: Evm) -> None:
+    """
+    Checks if the top element is equal to the next top element. Pushes
+    the result back on the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    left = pop(evm.stack)
+    right = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(left == right)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def is_zero(evm: Evm) -> None:
+    """
+    Checks if the top element is equal to 0. Pushes the result back on the
+    stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    x = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_VERY_LOW)
+
+    # OPERATION
+    result = U256(x == 0)
+
+    push(evm.stack, result)
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)

ethereum/forks/cancun/vm/instructions/control_flow.py

@@ -0,0 +1,171 @@
+"""
+Ethereum Virtual Machine (EVM) Control Flow Instructions.
+
+.. contents:: Table of Contents
+    :backlinks: none
+    :local:
+
+Introduction
+------------
+
+Implementations of the EVM control flow instructions.
+"""
+
+from ethereum_types.numeric import U256, Uint
+
+from ...vm.gas import GAS_BASE, GAS_HIGH, GAS_JUMPDEST, GAS_MID, charge_gas
+from .. import Evm
+from ..exceptions import InvalidJumpDestError
+from ..stack import pop, push
+
+
+def stop(evm: Evm) -> None:
+    """
+    Stop further execution of EVM code.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    pass
+
+    # OPERATION
+    evm.running = False
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def jump(evm: Evm) -> None:
+    """
+    Alter the program counter to the location specified by the top of the
+    stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    jump_dest = Uint(pop(evm.stack))
+
+    # GAS
+    charge_gas(evm, GAS_MID)
+
+    # OPERATION
+    if jump_dest not in evm.valid_jump_destinations:
+        raise InvalidJumpDestError
+
+    # PROGRAM COUNTER
+    evm.pc = Uint(jump_dest)
+
+
+def jumpi(evm: Evm) -> None:
+    """
+    Alter the program counter to the specified location if and only if a
+    condition is true. If the condition is not true, then the program counter
+    would increase only by 1.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    jump_dest = Uint(pop(evm.stack))
+    conditional_value = pop(evm.stack)
+
+    # GAS
+    charge_gas(evm, GAS_HIGH)
+
+    # OPERATION
+    if conditional_value == 0:
+        destination = evm.pc + Uint(1)
+    elif jump_dest not in evm.valid_jump_destinations:
+        raise InvalidJumpDestError
+    else:
+        destination = jump_dest
+
+    # PROGRAM COUNTER
+    evm.pc = destination
+
+
+def pc(evm: Evm) -> None:
+    """
+    Push onto the stack the value of the program counter after reaching the
+    current instruction and without increasing it for the next instruction.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.pc))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def gas_left(evm: Evm) -> None:
+    """
+    Push the amount of available gas (including the corresponding reduction
+    for the cost of this instruction) onto the stack.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_BASE)
+
+    # OPERATION
+    push(evm.stack, U256(evm.gas_left))
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)
+
+
+def jumpdest(evm: Evm) -> None:
+    """
+    Mark a valid destination for jumps. This is a noop, present only
+    to be used by `JUMP` and `JUMPI` opcodes to verify that their jump is
+    valid.
+
+    Parameters
+    ----------
+    evm :
+        The current EVM frame.
+
+    """
+    # STACK
+    pass
+
+    # GAS
+    charge_gas(evm, GAS_JUMPDEST)
+
+    # OPERATION
+    pass
+
+    # PROGRAM COUNTER
+    evm.pc += Uint(1)